Rigour (original) (raw)
La rigor és una condició de rigidesa. La rigor, sovint, és un procés d'adheriment absolut a certes restriccions, o la pràctica de mantenir la coherència estricta amb certs paràmetres predefinits. Aquestes restriccions poden ser imposades al medi ambient, com ara "les rigors de la fam"; lògicament impost, com ara proves matemàtiques que ha de mantenir respostes coherents ; o socialment imposada, com ara el procés de definició de l'ètica i el dret.
| Property | Value |
|---|---|
| dbo:abstract | La rigor és una condició de rigidesa. La rigor, sovint, és un procés d'adheriment absolut a certes restriccions, o la pràctica de mantenir la coherència estricta amb certs paràmetres predefinits. Aquestes restriccions poden ser imposades al medi ambient, com ara "les rigors de la fam"; lògicament impost, com ara proves matemàtiques que ha de mantenir respostes coherents ; o socialment imposada, com ara el procés de definició de l'ètica i el dret. (ca) يصف مصطلح الصرامة أو الانضباط حالة من الصرامة أو الدقة. غالبًا ما يشير الانضباط إلى عملية الالتزام تمامًا ببعض القيود، أو ممارسة الحفاظ على عدم التناقض مع بعض البارامترات المحددة مسبقًا. يمكن لهذه القيود أن تُفرض على البيئة، مثال على ذلك «مشاق المجاعة»؛ المفروضة منطقيًا، مثل البراهين الرياضية التي يجب أن تحافظ على إجابات غير متناقضة؛ أو المفروضة اجتماعيًا، مثل عملية تحديد الأخلاق والقانون. (ar) Rigor o rigurosidad tiene una serie de significados en relación con la vida y el discurso intelectual. Estas son distintas de las acepciones en ámbitos judiciales y políticos donde se las interpreta como hacer cumplir la ley al pie de la letra, o absolutismo político. En la religión, se dice que puede ser practicada en forma superficial, o practicada con rigor y conformidad con los preceptos. (es) Rigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as mathematical proofs which must maintain consistent answers; or socially imposed, such as the process of defining ethics and law. (en) 数学的厳密性は、数学的証明の厳密な方法と数学的実践の厳密な方法の両方を指すことがある。 数学的厳密さは、数学的証明の一種のゴールドスタンダードとしてしばしば引用される。その歴史は、ギリシャの数学、特に、ユークリッドの『原論』にさかのぼる 。 19世紀まで、この『原論』は非常に厳格で深遠であると見なされていたが、19世紀後半に、ヒルベルトその他の数学者は証明が特定の仮定を暗黙のうちに残していることに気づいた 。これは、すべての仮定を述べる必要があり、暗黙のうちに何も残せないという厳密な証明の考え方に反していた。証明に見られる厳密さのこのギャップに対処するために、ヒルベルトの公理、ビルコフの公理、タルスキの公理などの公理的方法を使用した新しい基礎論が開発された。 19世紀に、「厳密」という用語は、微積分を扱うときに抽象化のレベルが上がることを表すために使用され始め、最終的には数学分析として知られるようになった。コーシーの理論は、オイラーとガウスの古い理論に厳密さを加えた。リーマンの理論は、コーシーの理論に厳格さを加えた。ワイエルシュトラスの理論はリーマンの理論に厳格さを加え、最終的には分析の算術化に至った。1870年代から、この用語は徐々にカントールの集合論に関連付けられるようになった。 数学的厳密性は、アルゴリズムによる証明チェックの快適さとしてモデル化できる。確かに、コンピューターの助けを借りて、いくつかの証拠を機械的にチェックすることが可能である 。形式的厳密性とは、形式言語による高度な完全性の導入であり、 ZFCなどの集合論を使用してそのような証明を体系化できる（自動定理証明を参照）。 公開されている数学的議論は厳密さの基準に準拠している必要があるが、象徴的な言語と自然言語の混合で書かれている。この意味で、書かれた数学的記述は形式的な証明のプロトタイプである。多くの場合、書面による証明は、まだ正式化されていない可能性がある、厳密なものとして受け入れられる。数学者が非公式に書くためにしばしば引用する理由は、完全に正式な証明はより長く扱いにくい傾向があり、それによって議論の線が曖昧になるためである。人間の直感に明白に見える議論は、実際には公理からかなり長い形式的な導出を必要とするかもしれない。特によく知られている例を、ホワイトヘッドとラッセルが、プリンキピア・マテマティカで「1 + 1 = 2」について示している。要するに、書面による記述では、形式よりも理解しやすさが優先される。 それでも、自動定理証明の支持者は、証明の形式化は、非公式の書面による談話のギャップや欠陥を開示することによって、数学的な厳密さを改善すると主張するかもしれない。証明の正しさが争われる場合、形式化は、誤解やあいまいさを減らすのに役立つため、そのような論争を解決する方法である。 (ja) Rigor ou rigorosidade, tem diversos significados em relação à vida intelectual e discurso. Estes são separados das aplicações públicas e políticas com sua sugestão de lei imposta ao texto, ou absolutismo político. Uma religião e seus preceitos, também, pode ser aplicada levemente, ou aplicada com rigor. (pt) |
| dbo:wikiPageID | 655974 (xsd:integer) |
| dbo:wikiPageLength | 12718 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1120127453 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Calculus dbr:Quantum_field_theory dbr:Scientific_method dbr:Noun dbr:Rigor_mortis dbr:Birkhoff's_axioms dbr:Debate dbr:Riemann dbr:Validity_(logic) dbr:Intellectual_honesty dbr:Tarski's_axioms dbr:Pedant dbr:Consistency dbr:Mathematical_analysis dbr:Mathematical_proofs dbr:English_language dbr:French_language dbr:Greek_mathematics dbr:Arithmetization_of_analysis dbr:Clergy dbr:Peer_review dbr:Physics dbr:Mathematical_physics dbr:Automated_theorem_proving dbr:Axiomatic_method dbc:Philosophical_logic dbr:British_English dbr:Weierstrass dbr:American_English dbr:American_and_British_English_spelling_differences dbr:Ethics dbr:Euclid dbr:Euclid's_Elements dbr:Euler dbr:Formal_language dbr:Foundations_of_geometry dbr:Hilbert's_axioms dbr:Judge dbr:Mathematical_proof dbr:Premise dbr:Quality_control dbr:Jean_Piaget dbc:Mathematical_proofs dbr:Latin dbr:Law dbr:Cognitive_development dbr:Cognitive_rigor dbr:ZFC dbr:Politics dbr:Sophistry dbr:Circular_reasoning dbr:Old_French dbr:Case_law dbr:Casuistry dbr:Set_theory dbr:Scholarly_method dbr:Verb dbr:Evidence dbr:Philosophy_of_science dbr:Self-deception dbr:Church_law dbr:Proof_checking dbr:Cauchy dbr:Gauss dbr:Wigner's_Puzzle dbr:George_Cantor dbr:Intellectual_dishonesty dbr:Logical_fallacy dbr:Wiktionary:fr:rigueur |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:Citation_needed dbt:Clarify dbt:For_multi dbt:Main dbt:More_citations_needed dbt:Multiple_issues dbt:Original_research dbt:Reflist dbt:See_also dbt:Short_description dbt:Use_British_English dbt:Wikiquote dbt:Wiktionary dbt:Philosophical_logic dbt:Intellectualism |
| dcterms:subject | dbc:Philosophical_logic dbc:Mathematical_proofs |
| rdf:type | owl:Thing |
| rdfs:comment | La rigor és una condició de rigidesa. La rigor, sovint, és un procés d'adheriment absolut a certes restriccions, o la pràctica de mantenir la coherència estricta amb certs paràmetres predefinits. Aquestes restriccions poden ser imposades al medi ambient, com ara "les rigors de la fam"; lògicament impost, com ara proves matemàtiques que ha de mantenir respostes coherents ; o socialment imposada, com ara el procés de definició de l'ètica i el dret. (ca) يصف مصطلح الصرامة أو الانضباط حالة من الصرامة أو الدقة. غالبًا ما يشير الانضباط إلى عملية الالتزام تمامًا ببعض القيود، أو ممارسة الحفاظ على عدم التناقض مع بعض البارامترات المحددة مسبقًا. يمكن لهذه القيود أن تُفرض على البيئة، مثال على ذلك «مشاق المجاعة»؛ المفروضة منطقيًا، مثل البراهين الرياضية التي يجب أن تحافظ على إجابات غير متناقضة؛ أو المفروضة اجتماعيًا، مثل عملية تحديد الأخلاق والقانون. (ar) Rigor o rigurosidad tiene una serie de significados en relación con la vida y el discurso intelectual. Estas son distintas de las acepciones en ámbitos judiciales y políticos donde se las interpreta como hacer cumplir la ley al pie de la letra, o absolutismo político. En la religión, se dice que puede ser practicada en forma superficial, o practicada con rigor y conformidad con los preceptos. (es) Rigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as mathematical proofs which must maintain consistent answers; or socially imposed, such as the process of defining ethics and law. (en) Rigor ou rigorosidade, tem diversos significados em relação à vida intelectual e discurso. Estes são separados das aplicações públicas e políticas com sua sugestão de lei imposta ao texto, ou absolutismo político. Uma religião e seus preceitos, também, pode ser aplicada levemente, ou aplicada com rigor. (pt) 数学的厳密性は、数学的証明の厳密な方法と数学的実践の厳密な方法の両方を指すことがある。 数学的厳密さは、数学的証明の一種のゴールドスタンダードとしてしばしば引用される。その歴史は、ギリシャの数学、特に、ユークリッドの『原論』にさかのぼる 。 19世紀まで、この『原論』は非常に厳格で深遠であると見なされていたが、19世紀後半に、ヒルベルトその他の数学者は証明が特定の仮定を暗黙のうちに残していることに気づいた 。これは、すべての仮定を述べる必要があり、暗黙のうちに何も残せないという厳密な証明の考え方に反していた。証明に見られる厳密さのこのギャップに対処するために、ヒルベルトの公理、ビルコフの公理、タルスキの公理などの公理的方法を使用した新しい基礎論が開発された。 19世紀に、「厳密」という用語は、微積分を扱うときに抽象化のレベルが上がることを表すために使用され始め、最終的には数学分析として知られるようになった。コーシーの理論は、オイラーとガウスの古い理論に厳密さを加えた。リーマンの理論は、コーシーの理論に厳格さを加えた。ワイエルシュトラスの理論はリーマンの理論に厳格さを加え、最終的には分析の算術化に至った。1870年代から、この用語は徐々にカントールの集合論に関連付けられるようになった。 (ja) |
| rdfs:label | صرامة (ar) Rigor (ca) Rigor (es) 数学的厳密性 (ja) Rigour (en) Rigor (pt) |
| rdfs:seeAlso | dbr:Mathematical_proof dbr:Hyperbolic_geometry |
| owl:sameAs | freebase:Rigour wikidata:Rigour dbpedia-ar:Rigour dbpedia-ca:Rigour dbpedia-es:Rigour dbpedia-he:Rigour dbpedia-ja:Rigour dbpedia-pt:Rigour https://global.dbpedia.org/id/2gdFo |
| prov:wasDerivedFrom | wikipedia-en:Rigour?oldid=1120127453&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Rigour |
| is dbo:wikiPageRedirects of | dbr:Rigorous dbr:Mathematical_rigor dbr:Methodological_rigor dbr:Scientific_rigor dbr:Scientific_rigour dbr:Rigor dbr:Rigorous_proof dbr:Formal_rigor dbr:Formally_rigorous dbr:Mathematical_rigour dbr:Principled_approach dbr:Intellectual_rigor dbr:Intellectual_rigour dbr:Intellectually_honest dbr:Logical_rigor dbr:Theoretical_rigor |
| is dbo:wikiPageWikiLink of | dbr:Pre-election_day_events_of_the_2020_Singaporean_general_election dbr:Ronald_Hutton dbr:Rigor_mortis dbr:Beryl_May_Dent dbr:Algorithmic_information_theory dbr:Anti-intellectualism_in_American_Life dbr:List_of_mathematical_jargon dbr:Rigorous dbr:University_of_Manitoba_Press dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Indifferent_act dbr:Intelligent_design_and_science dbr:Interchange_of_limiting_operations dbr:International_Society_for_Complexity,_Information,_and_Design dbr:Pre-intuitionism dbr:Pseudomathematics dbr:Mathematical_analysis dbr:Mathematical_induction dbr:Mathematical_rigor dbr:G._H._Hardy dbr:Generality_of_algebra dbr:Gradient_theorem dbr:Convolution_quotient dbr:Creativity,_activity,_service dbr:Li_Cai_(psychometrician) dbr:Steven_Hassan dbr:Magnanimity dbr:Mathematics_education_in_the_United_States dbr:1_−_2_+_3_−_4_+_⋯ dbr:Bruce_Chatwin dbr:Proof_without_words dbr:2021_Northern_Ireland_Open dbr:American_and_British_English_spelling_differences dbr:Euclid dbr:Nicolas_Bourbaki dbr:Discipline dbr:Framework_for_authentic_intellectual_work dbr:Hard_and_soft_science dbr:Italian_school_of_algebraic_geometry dbr:Science_fiction dbr:Mathematical_proof dbr:Property_(mathematics) dbr:Harris_Science_Academy_East_London dbr:Jakob_Steiner dbr:TasteAtlas dbr:Cours_d'Analyse dbr:APA_Task_Force_on_Deceptive_and_Indirect_Methods_of_Persuasion_and_Control dbr:Johann_Patkul dbr:Code_Noir dbr:Cognitive_rigor dbr:Effective_method dbr:C-STEM_Center dbr:Pi_(film) dbr:Sokal_affair dbr:Methodological_rigor dbr:Scientific_rigor dbr:Scientific_rigour dbr:Infinitesimal dbr:Oliver_Heaviside dbr:Cartesian_oval dbr:Scholarly_method dbr:Explorable_explanation dbr:PlanetMath dbr:Transgender_Warriors dbr:Evaluation dbr:Exact_sciences dbr:Vibration_welding_of_thermoplastics dbr:The_Broken_Compass dbr:The_Sciences_of_the_Artificial dbr:Outline_of_logic dbr:Rigor dbr:Rigorous_proof dbr:Formal_rigor dbr:Formally_rigorous dbr:Mathematical_rigour dbr:Principled_approach dbr:Intellectual_rigor dbr:Intellectual_rigour dbr:Intellectually_honest dbr:Logical_rigor dbr:Theoretical_rigor |
| is foaf:primaryTopic of | wikipedia-en:Rigour |