Permanently protected template

Template:Mathematical logic: Difference between revisions

From Vigyanwiki
m (1 revision imported from alpha:Template:Mathematical_logic)
m (5 revisions imported from alpha:Template:Mathematical_logic)
 
(5 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{Navbox
{{Navbox
| name = Mathematical logic
| name =गणितीय तर्क
| title = [[Mathematical logic]]
| title =[[गणितीय तर्क]]
| state = {{{state<includeonly>|collapsed</includeonly>}}}
| state = {{{state<includeonly>|collapsed
</includeonly>}}}
 
| listclass = hlist
| listclass = hlist
| image=  
| image=  


   | group0 = General
    
  | list0 =
| group0 =आम
* [[Axiom]]
| list0 =* [[स्वयंसिद्ध]]
** [[List of axioms|list]]
** [[स्वयंसिद्धों की सूची | सूची]]
* [[Cardinality]]
* [[कार्डिनैलिटी]]
* [[First-order logic]]
* [[प्रथम-क्रम तर्क]]
* [[Formal proof]]
* [[औपचारिक प्रमाण]]
* [[Formal semantics (logic)|Formal semantics]]
* [[औपचारिक शब्दार्थ (तर्क) | औपचारिक शब्दार्थ]]
* [[Foundations of mathematics]]
* [[गणित की नींव]]
* [[Information theory]]
* [[सूचना सिद्धांत]]
* [[Logical consequence]]
* [[लेम्मा (गणित) | लेम्मा]]
* [[Structure (mathematical logic)|Model]]
* [[तार्किक परिणाम]]
* [[Set (mathematics)|Set]]
* [[संरचना (गणितीय तर्क) | मॉडल]]
* [[Theorem]]
* [[सेट (गणित) | सेट]]
* [[Theory (mathematical logic)|Theory]]
* [[प्रमेय]]
* [[Type theory]]
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
 
* [[प्रकार सिद्धांत]]
  | group10 = Theorems&nbsp;([[:Category:Theorems in the foundations of mathematics|list]])<br />&nbsp;&amp;&nbsp;[[Paradoxes of set theory|Paradoxes]]
| group10 =प्रमेय &nbsp; ([[: श्रेणी: गणित की नींव में प्रमेय | सूची]]<br />&nbsp; & amp; &nbsp; [[सेट सिद्धांत के विरोधाभास | विरोधाभास]]
  | list10 =  
| list10 =*{{nowrap|[[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]}}* [[टार्स्की की अपरिहार्यता प्रमेय | टार्स्की की अपरिहार्यता]]
* {{nowrap|[[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]}}
* [[Banach -tarski paradox]]
* [[Tarski's undefinability theorem|Tarski's undefinability]]
*{{nowrap|Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]}}* [[कॉम्पैक्टनेस प्रमेय | कॉम्पैक्टनेस]]
* [[Banach–Tarski paradox]]
* [[समस्या को रोकना]]
* {{nowrap|Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]}}
* [[लिंडस्ट्रॉम का प्रमेय | लिंडस्ट्रॉम]]
* [[Compactness theorem|Compactness]]
* [[Löwenheim - स्कूल प्रमेय | Löwenheim -school]]
* [[Halting problem]]
* [[रसेल का विरोधाभास]]
* [[Lindström's theorem|Lindström's]]
| group20 =[[तर्क]]
* [[Löwenheim–Skolem theorem|Löwenheim–Skolem]]
| list20 =
* [[Russell's paradox]]
 
 
  | group20 = [[Logic]]s
  | list20 =
   {{Navbox|subgroup
   {{Navbox|subgroup
   | group1 = [[Term logic|Traditional]]
    
  | list1  =
| group1 =[[शब्द तर्क | पारंपरिक]]
* [[Classical logic]]
| list1  =* [[शास्त्रीय तर्क]]
* [[Logical truth]]
* [[तार्किक सत्य]]
* [[Tautology (logic)|Tautology]]
* [[टॉटोलॉजी (लॉजिक) | टॉटोलॉजी]]
* [[Proposition]]
* [[प्रस्ताव]]
* [[Inference]]
* [[अनुमान]]
* [[Logical equivalence]]
* [[तार्किक समतुल्यता]]
* [[Consistency]]
* [[गाढ़ापन]]
** [[Equiconsistency]]
** [[समानता]]
* [[Argument]]
* [[तर्क]]
* [[Soundness]]
* [[ध्वनि]]
* [[Validity (logic)|Validity]]
* [[वैधता (तर्क) | वैधता]]
* [[Syllogism]]
* [[युक्तिवाक्य]]
* [[Square of opposition]]
* [[विरोध का वर्ग]]
* [[Venn diagram]]
* [[वेन आरेख]]
 
| group3 =[[प्रस्ताव पथरी | प्रस्ताव]]
  | group3 = [[Propositional calculus|Propositional]]
| list3 =* [[बूलियन बीजगणित]]
  | list3 =
* [[बूलियन फ़ंक्शन]]
* [[Boolean algebra]]
* [[तार्किक संयोजी]]
* [[Boolean function]]s
* [[प्रस्ताव पथरी]]
* [[Logical connective]]s
* [[प्रस्ताव सूत्र]]
* [[Propositional calculus]]
* [[ट्रुथ टेबल]]
* [[Propositional formula]]
* [[कई-मूल्यवान तर्क]]
* [[Truth table]]s
** [[तीन-मान्य तर्क | 3]]
* [[Many-valued logic]]
** [[परिमित-मूल्यवान तर्क | परिमित]]
** [[Three-valued logic|3]]
** [[अनंत-मूल्यवान लॉजिक |अनंत-मूल्यवान लॉजिक ]]
** [[Finite-valued logic|Finite]]
| group4 =[[विधेय तर्क | विधेय]]
** [[Infinite-valued logic|∞]]
| list4 =* [[प्रथम-क्रम तर्क | प्रथम-क्रम]]
 
** [[प्रथम-क्रम सिद्धांतों की सूची |{{small|list}}]]
  | group4 = [[Predicate logic|Predicate]]
* [[दूसरे-क्रम का तर्क | दूसरा-आदेश]]
  | list4 =
** [[मोनाडिक सेकंड-ऑर्डर लॉजिक | मोनाडिक]]
* [[First-order logic|First-order]]
* [[उच्च-क्रम तर्क | उच्च-क्रम]]
* [[Second-order logic|Second-order]]
* [[मुक्त तर्क | मुक्त]]
** [[Monadic second-order logic|Monadic]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
* [[Higher-order logic|Higher-order]]
* [[विधेय (गणितीय तर्क) | विधेय]]
* [[Free logic|Free]]
* [[मोनाडिक विधेय कैलकुलस]]
* [[Quantifier (logic)|Quantifiers]]
* [[Predicate (mathematical logic)|Predicate]]
* [[Monadic predicate calculus]]
}}<!--END:{{Navbox|subgroup-->
}}<!--END:{{Navbox|subgroup-->
 
| group50 =[[समुच्चय सिद्धान्त]]
  | group50 = [[Set theory]]
| list50 =
  | list50 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
  | group1 =
  | list1  =
* [[Set (mathematics)|Set]]
** [[Hereditary set|Hereditary]]
* [[Class (set theory)|Class]]
* ([[Urelement|Ur-]])[[Element (mathematics)|Element]]
* [[Ordered pair]]
* [[Ordinal number]]
* [[Subset]]
* [[Equality (mathematics)|Equality]]
* [[Extensionality]]
* [[Forcing (mathematics)|Forcing]]
* [[Relation (mathematics)|Relation]]
** [[Equivalence relation|Equivalence]]
** [[Partition of a set|Partition]]
* Set operations:
** [[Intersection (set theory)|Intersection]]
** [[Union (set theory)|Union]]
** [[Complement (set theory)|Complement]]
** [[Cartesian product]]
** [[Power set]]
** [[List of set identities and relations|Identities]]
    
    
   | group3 = Types of [[Set (mathematics)|Set]]s
| group1 =
  | list3  =
    
* [[Countable set|Countable]]
| list1  =* [[सेट (गणित) | सेट]]
* [[Uncountable set|Uncountable]]
** [[वंशानुगत सेट | वंशानुगत]]
* [[Empty set|Empty]]
* [[क्लास (सेट थ्योरी) | वर्ग]]
* [[Inhabited set|Inhabited]]
* ([[Urelement | उर-]]) [[तत्व (गणित) | तत्व]]
* [[Singleton (mathematics)|Singleton]]
* [[क्रमित युग्म]]
* [[Finite set|Finite]]
* [[क्रमसूचक संख्या]]
* [[Infinite set|Infinite]]
* [[सबसेट]]
* [[Transitive set|Transitive]]
* [[समानता (गणित) | समानता]]
* [[Ultrafilter (set theory)|Ultrafilter]]
* [[विस्तार]]
* [[Recursive set|Recursive]]
* [[फोर्सिंग (गणित) | फोर्सिंग]]
* [[Fuzzy set|Fuzzy]]
* [[संबंध (गणित) | संबंध]]
* [[Universal set|Universal]]
** [[समतुल्यता संबंध | समतुल्यता]]
* [[Universe (mathematics)|Universe]]
** [[एक सेट का विभाजन | विभाजन]]
** [[Constructible universe|Constructible]]
* संचालन सेट करें:
** [[Grothendieck universe|Grothendieck]]
** [[चौराहा (सेट सिद्धांत) | चौराहा]]
** [[Von Neumann universe|Von Neumann]]
** [[संघ (सेट सिद्धांत) | संघ]]
** [[पूरक (सेट सिद्धांत) | पूरक]]
  | group5 = [[Map (mathematics)|Map]]s&nbsp;&amp;&nbsp;[[Cardinality]]
** [[कार्तीय गुणन]]
  | list5  =
** [[सत्ता स्थापित]]
* [[Function (mathematics)|Function]]/[[Map (mathematics)|Map]]
** [[सेट पहचान और संबंधों की सूची | पहचान]]
** [[Domain of a function|Domain]]
| group3 =[[सेट (गणित) | सेट]] के प्रकार
** [[Codomain]]
| list3  =* [[काउंटेबल सेट | काउंट करने योग्य]]
** [[Image (mathematics)|Image]]
* [[बेशुमार सेट | बेशुमार]]
* [[खाली सेट | खाली]]
* [[बसे हुए सेट | निवास]]
* [[सिंगलटन (गणित) | सिंगलटन]]
* [[परिमित सेट | परिमित]]
* [[अनंत सेट | अनंत]]
* [[सकर्मक सेट | सकर्मक]]
* [[अल्ट्राफिल्टर (सेट थ्योरी) | अल्ट्राफिल्टर]]
* [[पुनरावर्ती सेट | पुनरावर्ती]]
* [[फजी सेट | फजी]]
* [[यूनिवर्सल सेट | यूनिवर्सल]]
* [[ब्रह्मांड (गणित) | ब्रह्मांड]]
** [[निर्माण योग्य ब्रह्मांड | निर्माण योग्य]]
** [[Grothendieck यूनिवर्स | Grothendieck]]
** [[वॉन न्यूमैन यूनिवर्स | वॉन न्यूमैन]]
| group5 =[[मानचित्र (गणित) | मानचित्र]] &nbsp; & amp; &nbsp; [[कार्डिनलिटी]]
| list5  =* [[फ़ंक्शन (गणित) | फ़ंक्शन]]/[[मानचित्र (गणित) | मानचित्र]]
** [[एक फ़ंक्शन का डोमेन | डोमेन]]
** [[कोडोमैन]]
** [[छवि (गणित)
|Image]]
* [[Injective function|In]]/[[Surjective function|Sur]]/[[Bijection|Bi]]-jection
* [[Injective function|In]]/[[Surjective function|Sur]]/[[Bijection|Bi]]-jection
* [[Schröder–Bernstein theorem]]
* [[Schröder–Bernstein theorem]]
Line 142: Line 137:
** [[Binary operation|Binary]]
** [[Binary operation|Binary]]


   | group8 = Set theories
    
  | list8  =
| group8 =सिद्धांत सेट करें
* [[Zermelo–Fraenkel set theory|Zermelo–Fraenkel]]
| list8  =* [[Zermelo -Fraenkel सेट थ्योरी | Zermelo -Fraenkel]]
** [[Axiom of choice]]
** [[पसंद का स्वयंसिद्ध]]
** [[Continuum hypothesis]]
** [[सातत्य परिकल्पना]]
* [[General set theory|General]]
* [[सामान्य सेट सिद्धांत | सामान्य]]
* [[Kripke–Platek set theory|Kripke–Platek]]
* [[क्रिपे -प्लाटेक सेट थ्योरी | क्रिपके -प्लाटेक]]
* [[Morse–Kelley set theory|Morse–Kelley]]
* [[मोर्स -केली सेट थ्योरी | मोर्स -केली]]
* [[Naive set theory|Naive]]
* [[भोले सेट सिद्धांत | भोला]]
* [[New Foundations]]
* [[नई नींव]]
* [[Tarski–Grothendieck set theory|Tarski–Grothendieck]]
* [[टार्स्की -ग्रोथेन्डिएक सेट थ्योरी | टार्स्की -ग्रोथेन्डिंक]]
* [[Von Neumann–Bernays–Gödel set theory|Von Neumann–Bernays–Gödel]]
* [[वॉन न्यूमैन -बर्नेज़ -गोदेल सेट थ्योरी | वॉन न्यूमैन -बर्नेज़ -गोदेल]]
* [[Constructive set theory|Constructive]]
* [[रचनात्मक सेट सिद्धांत | रचनात्मक]]
}}
}}
 
| group70 =[[औपचारिक प्रणाली]] &nbsp; ([[औपचारिक प्रणालियों की सूची |{{small|list}}]]),<br>[[औपचारिक भाषा | भाषा]] &nbsp; & amp; &nbsp; [[सिंटैक्स (तर्क) | सिंटैक्स]]
  | group70 = [[Syntax (logic)|Syntax]]&nbsp;&amp;&nbsp;[[Formal language|Language]]
| list70 =
  | list70 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
   | group1 =  
    
   | list1  =
| group1 =  
* [[Alphabet (formal languages)|Alphabet]]
    
| list1  =* [[वर्णमाला (औपचारिक भाषाएं) | वर्णमाला]]
* [[Arity]]
* [[Arity]]
* [[Automata theory|Automata]]
* [[ऑटोमेटा थ्योरी | ऑटोमेटा]]
* [[Axiom schema]]
* [[स्वयंसिद्ध स्कीमा]]
* [[Expression (mathematics)|Expression]]
* [[अभिव्यक्ति (गणित) | अभिव्यक्ति]]
** [[Ground expression|Ground]]
** [[ग्राउंड एक्सप्रेशन | ग्राउंड]]
* [[Extension by new constant and function names|Extension]]
* [[नए निरंतर और कार्य नामों द्वारा विस्तार | विस्तार]]
** [[Extension by definitions|by definition]]
** [[परिभाषा द्वारा विस्तार | परिभाषा के अनुसार]]
** [[Conservative extension|Conservative]]
** [[रूढ़िवादी विस्तार | रूढ़िवादी]]
* [[Finitary relation|Relation]]
* [[फाइनल रिलेशन | संबंध]]
* Formal
* [[गठन नियम]]
** [[Formal grammar|Grammar]]
* [[औपचारिक व्याकरण | व्याकरण]]
** [[Formal language|Language]]
* [[अच्छी तरह से गठित सूत्र | फॉर्मूला]]
** [[Formal proof|Proof]]
** [[परमाणु सूत्र | परमाणु]]
** [[Formal system|System]]
** [[वाक्य (गणितीय तर्क) | बंद]]
** [[Theory (mathematical logic)|Theory]]
** [[ग्राउंड फॉर्मूला | जमीन]]
* [[Formation rule]]
** [[ओपन फॉर्मूला | खुला]]
* [[Well-formed formula|Formula]]
* [[मुक्त चर और बाध्य चर | मुक्त/बाध्य चर]]
** [[Atomic formula|Atomic]]
* [[औपचारिक भाषा | भाषा]]
** [[Sentence (mathematical logic)|Closed]]
* [[METALANGAGEAGE]]
** [[Ground formula|Ground]]
* [[तार्किक संयोजी]]
** [[Open formula|Open]]
** [[नकारात्मक |नकारात्मक ]]
* [[Free variables and bound variables|Free/bound variable]]
** [[तार्किक विघटन | ∨]]
* [[Metalanguage]]
** [[तार्किक संयोजन | ∧]]
* [[Logical connective]]
** [[सामग्री सशर्त | →]]
** [[Negation|¬]]
** [[लॉजिकल बाइकॉन्डिशनल | ↔]]
** [[Logical disjunction|∨]]
** [[तार्किक समानता | =]]
** [[Logical conjunction|∧]]
* [[विधेय (गणितीय तर्क) | विधेय]]
** [[Material conditional|→]]
** [[कार्यात्मक विधेय | कार्यात्मक]]
** [[Logical biconditional|↔]]
** [[विधेय चर | चर]]
** [[Logical equality|=]]
** [[प्रस्ताव चर]]
* [[Predicate (mathematical logic)|Predicate]]
* [[औपचारिक प्रमाण | प्रमाण]]
** [[Functional predicate|Functional]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
** [[Predicate variable|Variable]]
** [[अस्तित्वगत मात्रा का ठहराव | ∃]]
** [[Propositional variable]]
** [[विशिष्टता की मात्रा का ठहराव |विशिष्टता की मात्रा का ठहराव ]]
* [[Quantifier (logic)|Quantifier]]
** [[सार्वभौमिक मात्रा का ठहराव | ∀]]
** [[Existential quantification|∃]]
** [[क्वांटिफायर रैंक | रैंक]]
** [[Uniqueness quantification|!]]
* [[वाक्य (गणितीय तर्क) | वाक्य]]
** [[Universal quantification|∀]]
** [[परमाणु वाक्य | परमाणु]]
** [[Quantifier rank|rank]]
** [[एक वाक्य का स्पेक्ट्रम | स्पेक्ट्रम]]
* [[Sentence (mathematical logic)|Sentence]]
* [[हस्ताक्षर (तर्क) | हस्ताक्षर]]
** [[Atomic sentence|Atomic]]
* [[स्ट्रिंग (औपचारिक भाषाएं) | स्ट्रिंग]]
** [[Spectrum of a sentence|Spectrum]]
* [[प्रतिस्थापन (तर्क) | प्रतिस्थापन]]
* [[Signature (logic)|Signature]]
* [[प्रतीक (औपचारिक) | प्रतीक]]
* [[String (formal languages)|String]]
** [[निर्बाध कार्य | फ़ंक्शन]]
* [[Substitution (logic)|Substitution]]
** [[तार्किक स्थिरांक | तार्किक/स्थिर]]
* [[Symbol (formal)|Symbol]]
** [[गैर-लॉजिकल प्रतीक | गैर-लॉजिकल]]
** [[Uninterpreted function|Function]]
** [[चर (गणित) | चर]]
** [[Logical constant|Logical/Constant]]
* [[शब्द (तर्क) | शब्द]]
** [[Non-logical symbol|Non-logical]]
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
** [[Variable (mathematics)|Variable]]
** [[गणितीय सिद्धांतों की सूची |{{small|list}}]]
* [[Term (logic)|Term]]
| group8 = {{nowarp|Example&nbsp;[[Axiomatic system|axiomatic<br/>systems]]&nbsp;{{smaller|([[List of first-order theories|list]])}}}}
 
| list8 =* [[ट्रू अंकगणित | अंकगणित]]:
  | group8 = {{nowarp|Example&nbsp;[[Axiomatic system|axiomatic<br/>systems]]&nbsp;{{smaller|([[List of first-order theories|list]])}}}}
** [[पीनो स्वयंसिद्ध | पीनो]]
  | list8 =
** [[सेकंड-ऑर्डर अंकगणित | सेकंड-ऑर्डर]]
* of [[True arithmetic|arithmetic]]:
** [[प्राथमिक कार्य अंकगणित | प्राथमिक कार्य]]
** [[Peano axioms|Peano]]
** [[आदिम पुनरावर्ती अंकगणित | आदिम पुनरावर्ती]]
** [[Second-order arithmetic|second-order]]
** [[रॉबिन्सन अंकगणित | रॉबिन्सन]]
** [[Elementary function arithmetic|elementary function]]
** [[स्कोलेम अंकगणित | स्कोलम]]
** [[Primitive recursive arithmetic|primitive recursive]]
* [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]]
** [[Robinson arithmetic|Robinson]]
** [[टार्स्की का स्वयंसिद्धता का रियल]]
** [[Skolem arithmetic|Skolem]]
* [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]]
* of the [[Construction of the real numbers|real numbers]]
** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]]
** [[Tarski's axiomatization of the reals|Tarski's axiomatization]]
** [[बूलियन बीजगणित के लिए न्यूनतम स्वयंसिद्ध | न्यूनतम स्वयंसिद्ध]]
* of [[Axiomatization of Boolean algebras|Boolean algebras]]
* [[ज्यामिति की नींव | ज्यामिति]]:
** [[Boolean algebras canonically defined|canonical]]
** [[यूक्लिडियन ज्यामिति | Euclidean]]
** [[Minimal axioms for Boolean algebra|minimal axioms]]
** [[यूक्लिड के तत्व | '' तत्व '']]
* of [[Foundations of geometry|geometry]]:
** [[हिल्बर्ट के स्वयंसिद्ध | हिल्बर्ट का]]
** [[Euclidean geometry|Euclidean]]
** [[गैर-यूक्लिडियन ज्यामिति | गैर-यूक्लिडियन]]
** [[Euclid's Elements|''Elements'']]
** [[टार्स्की की स्वयंसिद्ध | टार्स्की]]
** [[Hilbert's axioms|Hilbert's]]
* '' [[प्रिंसिपिया मैथमेटिक]] '' '
** [[Non-Euclidean geometry|non-Euclidean]]
** [[Tarski's axioms|Tarski's]]
* ''[[Principia Mathematica]]''
}}<!--END:{{Navbox|subgroup-->
}}<!--END:{{Navbox|subgroup-->
 
| group80 =[[प्रूफ थ्योरी]]
  | group80 = [[Proof theory]]
| list80 =* [[औपचारिक प्रमाण]]
  | list80 =
* [[प्राकृतिक कटौती]]
* [[Formal proof]]
* [[तार्किक परिणाम]]
* [[Natural deduction]]
* [[अनुमान का नियम]]
* [[Logical consequence]]
* [[सीक्वेंट कैलकुलस]]
* [[Rule of inference]]
* [[प्रमेय]]
* [[Sequent calculus]]
* [[औपचारिक प्रणाली | सिस्टम]]
* [[Theorem]]
** [[स्वयंसिद्ध प्रणाली | स्वयंसिद्ध]]
* Systems
** [[डिडक्टिव सिस्टम | डिडक्टिव]]
** [[Formal system|Formal]]
** [[हिल्बर्ट सिस्टम | हिल्बर्ट]]
** [[Axiomatic system|Axiomatic]]
*** [[हिल्बर्ट सिस्टम्स की सूची | सूची]]
** [[Deductive system|Deductive]]
* [[पूर्ण सिद्धांत]]
** [[Hilbert system|Hilbert]]
* [[स्वतंत्रता (गणितीय तर्क) | स्वतंत्रता]] &nbsp; ([[zfc से स्वतंत्र बयानों की सूची | &nbsp; zfc] से]])
*** [[List of Hilbert systems|list]]
* [[असंभवता का प्रमाण]]
* [[Complete theory]]
* [[क्रमिक विश्लेषण]]
* [[Independence (mathematical logic)|Independence]]&nbsp;([[List of statements independent of ZFC|from&nbsp;ZFC]])
* [[रिवर्स गणित]]
* [[Proof of impossibility]]
* [[स्व-सत्यापित सिद्धांत]]
* [[Ordinal analysis]]
| group90 =[[मॉडल सिद्धांत]]
* [[Reverse mathematics]]
| list90 =* [[व्याख्या (तर्क) | व्याख्या]]
* [[Self-verifying theories]]
** [[व्याख्या समारोह | फ़ंक्शन]]
 
** [[व्याख्या (मॉडल सिद्धांत) | मॉडल का]]
  | group90 = [[Model theory]]
* [[संरचना (गणितीय तर्क) | मॉडल]]
  | list90 =
** [[प्राथमिक समानता | समतुल्यता]]
* [[Interpretation (logic)|Interpretation]]
** [[परिमित मॉडल सिद्धांत | परिमित]]
* [[Structure (mathematical logic)|Model]]
** [[संतृप्त मॉडल | संतृप्त]]
** [[Elementary equivalence|Equivalence]]
** [[एक सिद्धांत का स्पेक्ट्रम | स्पेक्ट्रम]]
** [[Finite model theory|Finite]]
** [[सबस्ट्रक्चर (गणित) | सबमॉडल]]
** [[Saturated model|Saturated]]
* [[गैर-मानक मॉडल]]
** [[Spectrum of a theory|Spectrum]]
** [[अंकगणित का गैर-मानक मॉडल | अंकगणित का]]
** [[Substructure (mathematics)|Substructure]]
* [[आरेख (गणितीय तर्क) | आरेख]]
* [[Non-standard model]]
** [[प्राथमिक आरेख | प्राथमिक]]
** [[Non-standard model of arithmetic|of arithmetic]]
* [[श्रेणीबद्ध सिद्धांत]]
* [[Diagram (mathematical logic)|Diagram]]
* [[मॉडल पूर्ण सिद्धांत]]
** [[Elementary diagram|Elementary]]
* [[संतोषजनक]]
* [[Categorical theory]]
* [[तर्क का शब्दार्थ]]
* [[Model complete theory]]
* [[शक्ति (गणितीय तर्क) | शक्ति]]
* [[Satisfiability]]
* [[सत्य के सिद्धांत]]
* [[Semantics of logic]]
** [[सत्य का शब्दार्थ सिद्धांत | सिमेंटिक]]
* [[Strength (mathematical logic)|Strength]]
** [[टार्स्की का सिद्धांत सत्य का सिद्धांत | टार्स्की]]
* [[Theories of truth]]
** [[क्रिप्के का सिद्धांत सत्य का सिद्धांत | क्रिप्के]]
** [[Semantic theory of truth|Semantic]]
* [[टी-स्कीमा]]
** [[Tarski's theory of truth|Tarski's]]
* [[स्थानांतरण सिद्धांत]]
** [[Kripke's theory of truth|Kripke's]]
* [[सत्य विधेय]]
* [[T-schema]]
* [[सत्य मूल्य]]
* [[Transfer principle]]
* [[प्रकार (मॉडल सिद्धांत) | प्रकार]]
* [[Truth predicate]]
* [[अल्ट्राप्रोडक्ट]]
* [[Truth value]]
* [[वैधता (तर्क) | वैधता]]
* [[Type (model theory)|Type]]
| group100 =[[कम्प्यूटिबिलिटी थ्योरी]]
* [[Ultraproduct]]
| list100 =* [[चर्च एन्कोडिंग]]
* [[Validity (logic)|Validity]]
* [[चर्च -ट्र्यूरिंग थीसिस]]
 
* [[कम्प्यूटरीली एन्यूमरेबल सेट ]]
  | group100 = [[Computability theory]]
* [[कम्प्यूटेबल फ़ंक्शन]]
  | list100 =
* [[कम्प्यूटेबल सेट]]
* [[Church encoding]]
* [[निर्णय समस्या]]
* [[Church–Turing thesis]]
** [[decidability (तर्क) | decidable]]
* [[Computably enumerable set|Computably enumerable]]
** [[अविभाज्य समस्या | undecidable]]
* [[Computable function]]
** [[पी (जटिलता) | पी]]
* [[Computable set]]
** [[एनपी (जटिलता) | एनपी]]
* [[Decision problem]]
** [[पी बनाम एनपी समस्या]]
** [[Decidability (logic)|Decidable]]
* [[कोलमोगोरोव जटिलता]]
** [[Undecidable problem|Undecidable]]
* [[लैम्ब्डा कैलकुलस]]
** [[P (complexity)|P]]
* [[आदिम पुनरावर्ती कार्य]]
** [[NP (complexity)|NP]]
* [[पुनरावृत्ति]]
** [[P versus NP problem]]
* [[पुनरावर्ती सेट]]
* [[Kolmogorov complexity]]
* [[ट्यूरिंग मशीन]]
* [[Lambda calculus]]
* [[प्रकार सिद्धांत]]
* [[Primitive recursive function]]
| group120 =संबंधित
* [[Recursion]]
| list120 =* [[सार तर्क]]
* [[Recursive set]]
* [[श्रेणी सिद्धांत]]
* [[Turing machine]]
* [[कंक्रीट श्रेणी | कंक्रीट]]/[[श्रेणी (गणित) | सार श्रेणी]]
* [[Type theory]]
* [[सेट की श्रेणी]]
 
* [[तर्क का इतिहास]]
  | group120 = Related
* [[गणितीय तर्क का इतिहास]]
  | list120 =
** [[गणितीय तर्क की समयरेखा | समयरेखा]]
* [[Abstract logic]]
* [[तर्कवाद]]
* [[Category theory]]
* [[गणितीय वस्तु]]
* [[Concrete category|Concrete]]/[[Category (mathematics)|Abstract Category]]
* [[गणित का दर्शन]]
* [[Category of sets]]
* [[सुपरटास्क]]
* [[History of logic]]
|below='' '' '{{portal-inline|size=tiny|Mathematics}}'' '' '
* [[History of mathematical logic]]
}}
** [[Timeline of mathematical logic|timeline]]
<noinclude>
* [[Logicism]]
* [[Mathematical object]]
* [[Philosophy of mathematics]]
* [[Supertask]]
 
|below='''{{portal-inline|size=tiny|Mathematics}}'''
}}<noinclude>
{{documentation|content=
{{documentation|content=
{{collapsible option}}
{{collapsible option}}
Line 333: Line 319:
{{Logic templates}}
{{Logic templates}}


[[Category:Mathematics navigational boxes]]
 
[[Category:Philosophy and thinking navigational boxes]]
 


}}
}}
</noinclude>
</noinclude>
[[Category:Collapse templates]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]

Latest revision as of 21:54, 22 February 2023

Template documentation

Initial visibility: currently defaults to autocollapse

To set this template's initial visibility, the |state= parameter may be used:

  • |state=collapsed: {{Mathematical logic|state=collapsed}} to show the template collapsed, i.e., hidden apart from its title bar
  • |state=expanded: {{Mathematical logic|state=expanded}} to show the template expanded, i.e., fully visible
  • |state=autocollapse: {{Mathematical logic|state=autocollapse}}
    • shows the template collapsed to the title bar if there is a {{navbox}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.

See also

Editors can experiment in this template’s sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.

[[Category:Template documentation pages{{#translation:}}]]

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=Template:Mathematical_logic&oldid=94144’