Permanently protected template

Template:Mathematical logic: Difference between revisions

From Vigyanwiki
(Created page with "{{Navbox | name = Mathematical logic | title = Mathematical logic | state = {{{state<includeonly>|collapsed</includeonly>}}} | listclass = hlist | image= | group0 = Ge...")
 
m (5 revisions imported from alpha:Template:Mathematical_logic)
 
(9 intermediate revisions by 4 users 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 =* [[स्वयंसिद्ध]]
* [[First-order logic]]
** [[स्वयंसिद्धों की सूची | सूची]]
* [[Formal proof]]
* [[कार्डिनैलिटी]]
* [[Logical consequence]]
* [[प्रथम-क्रम तर्क]]
* [[Formal semantics (logic)|Formal semantics]]
* [[औपचारिक प्रमाण]]
* [[Foundations of mathematics]]
* [[औपचारिक शब्दार्थ (तर्क) | औपचारिक शब्दार्थ]]
* [[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]])
* [[प्रमेय]]
  | list10 =  
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
* [[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]
* [[प्रकार सिद्धांत]]
* [[Tarski's undefinability theorem|Tarski's undefinability]]
| group10 =प्रमेय &nbsp; ([[: श्रेणी: गणित की नींव में प्रमेय | सूची]]<br />&nbsp; & amp; &nbsp; [[सेट सिद्धांत के विरोधाभास | विरोधाभास]]
* [[Banach–Tarski paradox]]
| list10 =*{{nowrap|[[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]}}* [[टार्स्की की अपरिहार्यता प्रमेय | टार्स्की की अपरिहार्यता]]
* Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]
* [[Banach -tarski paradox]]
* [[Lindström's theorem|Lindström's]]
*{{nowrap|Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]}}* [[कॉम्पैक्टनेस प्रमेय | कॉम्पैक्टनेस]]
* [[Löwenheim–Skolem theorem|Löwenheim–Skolem]]
* [[समस्या को रोकना]]
* [[Compactness theorem|Compactness]]
* [[लिंडस्ट्रॉम का प्रमेय | लिंडस्ट्रॉम]]
 
* [[Löwenheim - स्कूल प्रमेय | Löwenheim -school]]
  | group20 = [[Logic]]s
* [[रसेल का विरोधाभास]]
  | list20 =
| group20 =[[तर्क]]
| list20 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
   | group1 = [[Term logic|Traditional]]
    
  | list1  =
| group1 =[[शब्द तर्क | पारंपरिक]]
* [[Classical logic]]
| list1  =* [[शास्त्रीय तर्क]]
* [[Proposition]]
* [[तार्किक सत्य]]
* [[Inference]]
* [[टॉटोलॉजी (लॉजिक) | टॉटोलॉजी]]
* [[Logical equivalence]]
* [[प्रस्ताव]]
* [[Argument]]
* [[अनुमान]]
* [[Validity (logic)|Validity]]
* [[तार्किक समतुल्यता]]
* [[Syllogism]]
* [[गाढ़ापन]]
* [[Square of opposition]]
** [[समानता]]
* [[Venn diagram]]
* [[तर्क]]
 
* [[ध्वनि]]
  | group3 = [[Propositional calculus|Propositional]]
* [[वैधता (तर्क) | वैधता]]
  | list3 =
* [[युक्तिवाक्य]]
* [[Boolean algebra]]
* [[विरोध का वर्ग]]
* [[Boolean function]]s
* [[वेन आरेख]]
* [[Logical connective]]s
| group3 =[[प्रस्ताव पथरी | प्रस्ताव]]
* [[Propositional calculus]]
| list3 =* [[बूलियन बीजगणित]]
* [[Propositional formula]]
* [[बूलियन फ़ंक्शन]]
* [[Truth table]]s
* [[तार्किक संयोजी]]
* [[Many-valued logic]]
* [[प्रस्ताव पथरी]]
 
* [[प्रस्ताव सूत्र]]
  | group4 = [[Predicate logic|Predicate]]
* [[ट्रुथ टेबल]]
  | list4 =
* [[कई-मूल्यवान तर्क]]
* [[First-order logic|First-order]]
** [[तीन-मान्य तर्क | 3]]
* [[Quantifier (logic)|Quantifiers]]
** [[परिमित-मूल्यवान तर्क | परिमित]]
* [[Predicate (mathematical logic)|Predicate]]
** [[अनंत-मूल्यवान लॉजिक |अनंत-मूल्यवान लॉजिक ]]
* [[Second-order logic|Second-order]]
| group4 =[[विधेय तर्क | विधेय]]
* [[Monadic predicate calculus]]
| list4 =* [[प्रथम-क्रम तर्क | प्रथम-क्रम]]
** [[प्रथम-क्रम सिद्धांतों की सूची |{{small|list}}]]
* [[दूसरे-क्रम का तर्क | दूसरा-आदेश]]
** [[मोनाडिक सेकंड-ऑर्डर लॉजिक | मोनाडिक]]
* [[उच्च-क्रम तर्क | उच्च-क्रम]]
* [[मुक्त तर्क | मुक्त]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
* [[विधेय (गणितीय तर्क) | विधेय]]
* [[मोनाडिक विधेय कैलकुलस]]
}}<!--END:{{Navbox|subgroup-->
}}<!--END:{{Navbox|subgroup-->
 
| group50 =[[समुच्चय सिद्धान्त]]
  | group50 = [[Set theory]]
| list50 =
  | list50 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
  | group1 =
  | list1  =
* [[Set (mathematics)|Set]]
* [[Element (mathematics)|Element]]
* [[Ordered pair]]
* [[Ordinal number]]
* [[Russell's paradox]]
* [[Power set]]
* [[Subset]]
* [[Binary operation|Relation]]
* [[Function (mathematics)|Function]]/[[Map (mathematics)|Map]]
** [[Domain of a function|Domain]]
** [[Codomain]]
** [[Image (mathematics)|Image]]
* [[Extensionality]]
* [[Forcing (mathematics)|Forcing]]
    
    
   | group2 = [[Cardinality]]
| group1 =
  | list2 =
    
* [[Empty set]]
| list1  =* [[सेट (गणित) | सेट]]
* [[Inhabited set]]
** [[वंशानुगत सेट | वंशानुगत]]
* [[क्लास (सेट थ्योरी) | वर्ग]]
* ([[Urelement | उर-]]) [[तत्व (गणित) | तत्व]]
* [[क्रमित युग्म]]
* [[क्रमसूचक संख्या]]
* [[सबसेट]]
* [[समानता (गणित) | समानता]]
* [[विस्तार]]
* [[फोर्सिंग (गणित) | फोर्सिंग]]
* [[संबंध (गणित) | संबंध]]
** [[समतुल्यता संबंध | समतुल्यता]]
** [[एक सेट का विभाजन | विभाजन]]
* संचालन सेट करें:
** [[चौराहा (सेट सिद्धांत) | चौराहा]]
** [[संघ (सेट सिद्धांत) | संघ]]
** [[पूरक (सेट सिद्धांत) | पूरक]]
** [[कार्तीय गुणन]]
** [[सत्ता स्थापित]]
** [[सेट पहचान और संबंधों की सूची | पहचान]]
| group3 =[[सेट (गणित) | सेट]] के प्रकार
| list3  =* [[काउंटेबल सेट | काउंट करने योग्य]]
* [[बेशुमार सेट | बेशुमार]]
* [[खाली सेट | खाली]]
* [[बसे हुए सेट | निवास]]
* [[सिंगलटन (गणित) | सिंगलटन]]
* [[परिमित सेट | परिमित]]
* [[अनंत सेट | अनंत]]
* [[सकर्मक सेट | सकर्मक]]
* [[अल्ट्राफिल्टर (सेट थ्योरी) | अल्ट्राफिल्टर]]
* [[पुनरावर्ती सेट | पुनरावर्ती]]
* [[फजी सेट | फजी]]
* [[यूनिवर्सल सेट | यूनिवर्सल]]
* [[ब्रह्मांड (गणित) | ब्रह्मांड]]
** [[निर्माण योग्य ब्रह्मांड | निर्माण योग्य]]
** [[Grothendieck यूनिवर्स | Grothendieck]]
** [[वॉन न्यूमैन यूनिवर्स | वॉन न्यूमैन]]
| group5 =[[मानचित्र (गणित) | मानचित्र]] &nbsp; & amp; &nbsp; [[कार्डिनलिटी]]
| list5 =* [[फ़ंक्शन (गणित) | फ़ंक्शन]]/[[मानचित्र (गणित) | मानचित्र]]
** [[एक फ़ंक्शन का डोमेन | डोमेन]]
** [[कोडोमैन]]
** [[छवि (गणित)
|Image]]
* [[Injective function|In]]/[[Surjective function|Sur]]/[[Bijection|Bi]]-jection
* [[Schröder–Bernstein theorem]]
* [[Isomorphism]]
* [[Gödel numbering]]
* [[Enumeration]]
* [[Enumeration]]
* [[Countable set]]
* [[Large cardinal]]
* [[Uncountable set]]
** [[Inaccessible cardinal|Inaccessible]]
* [[Finite set]]
* [[Aleph number]]
* [[Infinite set]]
* [[Operation (mathematics)|Operation]]
* [[Class (set theory)|Class]]
** [[Binary operation|Binary]]
* [[Schröder–Bernstein theorem]]


   | group7 = Set theories
    
  | list7 =
| 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]]
* [[भोले सेट सिद्धांत | भोला]]
* [[Tarski–Grothendieck set theory|Tarski–Grothendieck]]
* [[नई नींव]]
* [[Von Neumann–Bernays–Gödel set theory|Von Neumann–Bernays–Gödel]]
* [[टार्स्की -ग्रोथेन्डिएक सेट थ्योरी | टार्स्की -ग्रोथेन्डिंक]]
* [[वॉन न्यूमैन -बर्नेज़ -गोदेल सेट थ्योरी | वॉन न्यूमैन -बर्नेज़ -गोदेल]]
* [[रचनात्मक सेट सिद्धांत | रचनात्मक]]
}}
}}
 
| group70 =[[औपचारिक प्रणाली]] &nbsp; ([[औपचारिक प्रणालियों की सूची |{{small|list}}]]),<br>[[औपचारिक भाषा | भाषा]] &nbsp; & amp; &nbsp; [[सिंटैक्स (तर्क) | सिंटैक्स]]
  | group70 = [[Syntax (logic)|Syntax]]&nbsp;&amp;&nbsp;[[Formal language|Language]]
| list70 =
   | list70 =
 
* [[Alphabet (formal languages)|Alphabet]]
  {{Navbox|subgroup
    
| group1 =  
 
| list1  =* [[वर्णमाला (औपचारिक भाषाएं) | वर्णमाला]]
* [[Arity]]
* [[Arity]]
* [[Expression (mathematics)|Expression]]
* [[ऑटोमेटा थ्योरी | ऑटोमेटा]]
** [[Ground expression|Ground]]
* [[स्वयंसिद्ध स्कीमा]]
* [[Extension by new constant and function names|Extension]]
* [[अभिव्यक्ति (गणित) | अभिव्यक्ति]]
* [[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]]
** [[ग्राउंड फॉर्मूला | जमीन]]
** [[Ground formula|Ground]]
** [[ओपन फॉर्मूला | खुला]]
** [[Open formula|Open]]
* [[मुक्त चर और बाध्य चर | मुक्त/बाध्य चर]]
* [[Free variables and bound variables|Free/bound variable]]
* [[औपचारिक भाषा | भाषा]]
* [[Logical connective]]
* [[METALANGAGEAGE]]
** [[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|∃]]
* [[औपचारिक प्रमाण | प्रमाण]]
** [[Universal quantification|∀]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
* [[Sentence (mathematical logic)|Sentence]]
** [[अस्तित्वगत मात्रा का ठहराव | ∃]]
** [[Atomic sentence|Atomic]]
** [[विशिष्टता की मात्रा का ठहराव |विशिष्टता की मात्रा का ठहराव ]]
* [[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]]
* [[प्रतिस्थापन (तर्क) | प्रतिस्थापन]]
* [[Term (logic)|Term]]
* [[प्रतीक (औपचारिक) | प्रतीक]]
 
** [[निर्बाध कार्य | फ़ंक्शन]]
  | group80 = [[Proof theory]]
** [[तार्किक स्थिरांक | तार्किक/स्थिर]]
  | list80 =
** [[गैर-लॉजिकल प्रतीक | गैर-लॉजिकल]]
* [[Formal proof]]
** [[चर (गणित) | चर]]
* [[Natural deduction]]
* [[शब्द (तर्क) | शब्द]]
* [[Logical consequence]]
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
* [[Rule of inference]]
** [[गणितीय सिद्धांतों की सूची |{{small|list}}]]
* [[Sequent calculus]]
| group8 = {{nowarp|Example&nbsp;[[Axiomatic system|axiomatic<br/>systems]]&nbsp;{{smaller|([[List of first-order theories|list]])}}}}
* [[Theorem]]
| list8 =* [[ट्रू अंकगणित | अंकगणित]]:
* Systems
** [[पीनो स्वयंसिद्ध | पीनो]]
** [[Formal system|Formal]]
** [[सेकंड-ऑर्डर अंकगणित | सेकंड-ऑर्डर]]
** [[Axiomatic system|Axiomatic]]
** [[प्राथमिक कार्य अंकगणित | प्राथमिक कार्य]]
** [[Deductive system|Deductive]]
** [[आदिम पुनरावर्ती अंकगणित | आदिम पुनरावर्ती]]
** [[Hilbert system|Hilbert]]
** [[रॉबिन्सन अंकगणित | रॉबिन्सन]]
* [[Complete theory]]
** [[स्कोलेम अंकगणित | स्कोलम]]
* [[Independence (mathematical logic)|Independence]]&nbsp;([[List of statements independent of ZFC|from&nbsp;ZFC]])
* [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]]
 
** [[टार्स्की का स्वयंसिद्धता का रियल]]
  | group90 = [[Model theory]]
* [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]]
  | list90 =
** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]]
* [[Interpretation (logic)|Interpretation]]
** [[बूलियन बीजगणित के लिए न्यूनतम स्वयंसिद्ध | न्यूनतम स्वयंसिद्ध]]
* [[Structure (mathematical logic)|Model]]
* [[ज्यामिति की नींव | ज्यामिति]]:
** [[Elementary equivalence|Equivalence]]
** [[यूक्लिडियन ज्यामिति | Euclidean]]
** [[Finite model theory|Finite]]
** [[यूक्लिड के तत्व | '' तत्व '']]
** [[Saturated model|Saturated]]
** [[हिल्बर्ट के स्वयंसिद्ध | हिल्बर्ट का]]
** [[Substructure (mathematics)|Substructure]]
** [[गैर-यूक्लिडियन ज्यामिति | गैर-यूक्लिडियन]]
* [[Non-standard model]]
** [[टार्स्की की स्वयंसिद्ध | टार्स्की]]
** [[Non-standard model of arithmetic|of arithmetic]]
* '' [[प्रिंसिपिया मैथमेटिक]] '' '
* [[Diagram (mathematical logic)|Diagram]]
}}<!--END:{{Navbox|subgroup-->
** [[Elementary diagram|Elementary]]
| group80 =[[प्रूफ थ्योरी]]
* [[Categorical theory]]
| list80 =* [[औपचारिक प्रमाण]]
* [[Model complete theory]]
* [[प्राकृतिक कटौती]]
* [[Strength (mathematical logic)|Strength]]
* [[तार्किक परिणाम]]
* [[Semantics of logic]]
* [[अनुमान का नियम]]
* [[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]]
* [[स्वतंत्रता (गणितीय तर्क) | स्वतंत्रता]] &nbsp; ([[zfc से स्वतंत्र बयानों की सूची | &nbsp; zfc] से]])
* [[Ultraproduct]]
* [[असंभवता का प्रमाण]]
* [[Validity (logic)|Validity]]
* [[क्रमिक विश्लेषण]]
 
* [[रिवर्स गणित]]
  | group100 = [[Computability theory|Computability theory]]
* [[स्व-सत्यापित सिद्धांत]]
  | list100 =
| group90 =[[मॉडल सिद्धांत]]
* [[Church–Turing thesis]]
| list90 =* [[व्याख्या (तर्क) | व्याख्या]]
* [[Computably enumerable]]
** [[व्याख्या समारोह | फ़ंक्शन]]
* [[Computable function]]
** [[व्याख्या (मॉडल सिद्धांत) | मॉडल का]]
* [[Computable set]]
* [[संरचना (गणितीय तर्क) | मॉडल]]
* [[Decision problem]]
** [[प्राथमिक समानता | समतुल्यता]]
* [[Halting problem]]
** [[परिमित मॉडल सिद्धांत | परिमित]]
* [[Primitive recursive function]]
** [[संतृप्त मॉडल | संतृप्त]]
* [[Recursion]]
** [[एक सिद्धांत का स्पेक्ट्रम | स्पेक्ट्रम]]
* [[Recursive set]]
** [[सबस्ट्रक्चर (गणित) | सबमॉडल]]
 
* [[गैर-मानक मॉडल]]
<!--| below = ...-->
** [[अंकगणित का गैर-मानक मॉडल | अंकगणित का]]
}}<noinclude>
* [[आरेख (गणितीय तर्क) | आरेख]]
** [[प्राथमिक आरेख | प्राथमिक]]
* [[श्रेणीबद्ध सिद्धांत]]
* [[मॉडल पूर्ण सिद्धांत]]
* [[संतोषजनक]]
* [[तर्क का शब्दार्थ]]
* [[शक्ति (गणितीय तर्क) | शक्ति]]
* [[सत्य के सिद्धांत]]
** [[सत्य का शब्दार्थ सिद्धांत | सिमेंटिक]]
** [[टार्स्की का सिद्धांत सत्य का सिद्धांत | टार्स्की]]
** [[क्रिप्के का सिद्धांत सत्य का सिद्धांत | क्रिप्के]]
* [[टी-स्कीमा]]
* [[स्थानांतरण सिद्धांत]]
* [[सत्य विधेय]]
* [[सत्य मूल्य]]
* [[प्रकार (मॉडल सिद्धांत) | प्रकार]]
* [[अल्ट्राप्रोडक्ट]]
* [[वैधता (तर्क) | वैधता]]
| group100 =[[कम्प्यूटिबिलिटी थ्योरी]]
| list100 =* [[चर्च एन्कोडिंग]]
* [[चर्च -ट्र्यूरिंग थीसिस]]
* [[कम्प्यूटरीली एन्यूमरेबल सेट ]]
* [[कम्प्यूटेबल फ़ंक्शन]]
* [[कम्प्यूटेबल सेट]]
* [[निर्णय समस्या]]
** [[decidability (तर्क) | decidable]]
** [[अविभाज्य समस्या | undecidable]]
** [[पी (जटिलता) | पी]]
** [[एनपी (जटिलता) | एनपी]]
** [[पी बनाम एनपी समस्या]]
* [[कोलमोगोरोव जटिलता]]
* [[लैम्ब्डा कैलकुलस]]
* [[आदिम पुनरावर्ती कार्य]]
* [[पुनरावृत्ति]]
* [[पुनरावर्ती सेट]]
* [[ट्यूरिंग मशीन]]
* [[प्रकार सिद्धांत]]
| group120 =संबंधित
| list120 =* [[सार तर्क]]
* [[श्रेणी सिद्धांत]]
* [[कंक्रीट श्रेणी | कंक्रीट]]/[[श्रेणी (गणित) | सार श्रेणी]]
* [[सेट की श्रेणी]]
* [[तर्क का इतिहास]]
* [[गणितीय तर्क का इतिहास]]
** [[गणितीय तर्क की समयरेखा | समयरेखा]]
* [[तर्कवाद]]
* [[गणितीय वस्तु]]
* [[गणित का दर्शन]]
* [[सुपरटास्क]]
|below='' '' '{{portal-inline|size=tiny|Mathematics}}'' '' '
}}
<noinclude>
{{documentation|content=
{{documentation|content=
{{collapsible option}}
{{collapsible option}}
Line 221: 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’