Template:Mathematical logic - Revision history

Indicwiki: 5 revisions imported from :alpha:Template:Mathematical_logic

2023-02-22T16:24:21Z

5 revisions imported from alpha:Template:Mathematical_logic

← Older revision	Revision as of 21:54, 22 February 2023
(No difference)

alpha>Indicwiki at 06:49, 22 February 2023

2023-02-22T06:49:33Z

← Older revision		Revision as of 12:19, 22 February 2023
Line 281:		Line 281:
	\| list100 =* [[चर्च एन्कोडिंग]]		\| list100 =* [[चर्च एन्कोडिंग]]
	* [[चर्च -ट्र्यूरिंग थीसिस]]		* [[चर्च -ट्र्यूरिंग थीसिस]]
	* [[कम्प्यूटरीली एन्यूमरेबल सेट \|		* [[कम्प्यूटरीली एन्यूमरेबल सेट ]]
	* [[कम्प्यूटेबल फ़ंक्शन]]		* [[कम्प्यूटेबल फ़ंक्शन]]
	* [[कम्प्यूटेबल सेट]]		* [[कम्प्यूटेबल सेट]]

alpha>Indicwiki at 06:48, 22 February 2023

2023-02-22T06:48:46Z

← Older revision		Revision as of 12:18, 22 February 2023
Line 218:		Line 218:
	** [[स्कोलेम अंकगणित \| स्कोलम]]		** [[स्कोलेम अंकगणित \| स्कोलम]]
	* [[वास्तविक संख्याओं का निर्माण \| वास्तविक संख्या]]		* [[वास्तविक संख्याओं का निर्माण \| वास्तविक संख्या]]
	** [[टार्स्की का स्वयंसिद्धता का ~~रियल।~~		** [[टार्स्की का स्वयंसिद्धता का रियल]]
	* [[बूलियन बीजगणित का स्वयंसिद्धकरण \| बूलियन बीजगणित]]		* [[बूलियन बीजगणित का स्वयंसिद्धकरण \| बूलियन बीजगणित]]
	** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित \| कैनोनिकल]]		** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित \| कैनोनिकल]]

alpha>Indicwiki at 06:47, 22 February 2023

2023-02-22T06:47:48Z

← Older revision		Revision as of 12:17, 22 February 2023
Line 103:		Line 103:
	** [[सत्ता स्थापित]]		** [[सत्ता स्थापित]]
	** [[सेट पहचान और संबंधों की सूची \| पहचान]]		** [[सेट पहचान और संबंधों की सूची \| पहचान]]
	\| group3 =[[सेट (गणित) \| सेट] के प्रकार		\| group3 =[[सेट (गणित) \| सेट]] के प्रकार
	\| list3 =* [[काउंटेबल सेट \| काउंट करने योग्य]]		\| list3 =* [[काउंटेबल सेट \| काउंट करने योग्य]]
	* [[बेशुमार सेट \| बेशुमार]]		* [[बेशुमार सेट \| बेशुमार]]

alpha>Indicwiki at 06:46, 22 February 2023

2023-02-22T06:46:43Z

← Older revision		Revision as of 12:16, 22 February 2023
Line 29:		Line 29:
	\| list10 ={{nowrap\|[[Gödel's completeness theorem\|Gödel's completeness]] and [[Gödel's incompleteness theorems\|incompleteness theorems]]}} [[टार्स्की की अपरिहार्यता प्रमेय \| टार्स्की की अपरिहार्यता]]		\| list10 ={{nowrap\|[[Gödel's completeness theorem\|Gödel's completeness]] and [[Gödel's incompleteness theorems\|incompleteness theorems]]}} [[टार्स्की की अपरिहार्यता प्रमेय \| टार्स्की की अपरिहार्यता]]
	* [[Banach -tarski paradox]]		* [[Banach -tarski paradox]]
	{{nowrap\|Cantor's [[Cantor's theorem\|theorem,]] [[Cantor's paradox\|paradox]] and [[Cantor's diagonal argument\|diagonal argument]]}} [कॉम्पैक्टनेस प्रमेय \| कॉम्पैक्टनेस]]		{{nowrap\|Cantor's [[Cantor's theorem\|theorem,]] [[Cantor's paradox\|paradox]] and [[Cantor's diagonal argument\|diagonal argument]]}} [[कॉम्पैक्टनेस प्रमेय \| कॉम्पैक्टनेस]]
	* [[समस्या को रोकना]]		* [[समस्या को रोकना]]
	* [[लिंडस्ट्रॉम का प्रमेय \| लिंडस्ट्रॉम]]		* [[लिंडस्ट्रॉम का प्रमेय \| लिंडस्ट्रॉम]]
	* [Löwenheim - स्कूल प्रमेय \| Löwenheim -school]]		* [[Löwenheim - स्कूल प्रमेय \| Löwenheim -school]]
	* [[रसेल का विरोधाभास]]		* [[रसेल का विरोधाभास]]
	\| group20 =[[तर्क]]		\| group20 =[[तर्क]]
Line 319:		Line 319:
	{{Logic templates}}		{{Logic templates}}

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

	}}		}}

	</noinclude>[[Category: ~~Templates Vigyan Ready~~]][[Category:Templates Translated in Hindi]]		</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]]

alpha>Indicwiki at 06:43, 22 February 2023

2023-02-22T06:43:26Z

Show changes

Indicwiki: 1 revision imported from :alpha:Template:Mathematical_logic

2022-12-22T04:06:38Z

1 revision imported from alpha:Template:Mathematical_logic

← Older revision	Revision as of 09:36, 22 December 2022
(No difference)

Admin: Protected "Template:Mathematical logic" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]

2022-11-17T11:39:37Z

Protected "Template:Mathematical logic" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]

← Older revision	Revision as of 17:09, 17 November 2022
(No difference)

Admin: 1 revision imported

2022-11-17T11:39:04Z

1 revision imported

← Older revision	Revision as of 17:09, 17 November 2022
(No difference)

wikipedia>Mgkrupa at 23:39, 1 November 2022

2022-11-01T23:39:27Z

Show changes

← Older revision		Revision as of 12:18, 22 February 2023
Line 218:		Line 218:
	** [[स्कोलेम अंकगणित \| स्कोलम]]		** [[स्कोलेम अंकगणित \| स्कोलम]]
	* [[वास्तविक संख्याओं का निर्माण \| वास्तविक संख्या]]		* [[वास्तविक संख्याओं का निर्माण \| वास्तविक संख्या]]
	** [[टार्स्की का स्वयंसिद्धता का ~~रियल।~~		** [[टार्स्की का स्वयंसिद्धता का रियल]]
	* [[बूलियन बीजगणित का स्वयंसिद्धकरण \| बूलियन बीजगणित]]		* [[बूलियन बीजगणित का स्वयंसिद्धकरण \| बूलियन बीजगणित]]
	** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित \| कैनोनिकल]]		** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित \| कैनोनिकल]]

← Older revision		Revision as of 12:17, 22 February 2023
Line 103:		Line 103:
	** [[सत्ता स्थापित]]		** [[सत्ता स्थापित]]
	** [[सेट पहचान और संबंधों की सूची \| पहचान]]		** [[सेट पहचान और संबंधों की सूची \| पहचान]]
	\| group3 =[[सेट (गणित) \| सेट] के प्रकार		\| group3 =[[सेट (गणित) \| सेट]] के प्रकार
	\| list3 =* [[काउंटेबल सेट \| काउंट करने योग्य]]		\| list3 =* [[काउंटेबल सेट \| काउंट करने योग्य]]
	* [[बेशुमार सेट \| बेशुमार]]		* [[बेशुमार सेट \| बेशुमार]]