Benutzerbeiträge von „Kowa“

2. Februar 2016

• 17:5117:51, 2. Feb. 2016 Unterschied Versionen −1 Junktor →Zweistellige Junktoren
• 17:5017:50, 2. Feb. 2016 Unterschied Versionen 0 GlossarWiki:Objektsprache Keine Bearbeitungszusammenfassung
• 17:4917:49, 2. Feb. 2016 Unterschied Versionen −177 GlossarWiki:Objektsprache →Zweistellige Junktoren
• 17:4817:48, 2. Feb. 2016 Unterschied Versionen +4 GlossarWiki:Objektsprache →Einstellige Junktoren
• 17:4817:48, 2. Feb. 2016 Unterschied Versionen −2.744 GlossarWiki:Objektsprache Keine Bearbeitungszusammenfassung

1. Februar 2016

• 10:1910:19, 1. Feb. 2016 Unterschied Versionen −1 Junktor →Definition des Begriffs „Aussagefunktor“ (Menne{{Quelle|Menne (1973)}}, S. 33, S. 35)
• 10:1810:18, 1. Feb. 2016 Unterschied Versionen +38 Junktor Keine Bearbeitungszusammenfassung
• 10:1510:15, 1. Feb. 2016 Unterschied Versionen +2 GlossarWiki:Objektsprache →Einstellige Junktoren
• 10:1410:14, 1. Feb. 2016 Unterschied Versionen +2 Junktor →Einstellige Junktoren
• 10:1110:11, 1. Feb. 2016 Unterschied Versionen +7.956 N GlossarWiki:Objektsprache Die Seite wurde neu angelegt: „In diesem Wiki werden unterschiedliche formale mathematische Systeme beschrieben: Aussagenlogik, Prädikatenlogik, Klassenlogik, relationale Arg…“
• 09:4409:44, 1. Feb. 2016 Unterschied Versionen −2 Metasprache →Anmerkungen und Beispielevgl. {{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}

31. Januar 2016

• 16:1716:17, 31. Jan. 2016 Unterschied Versionen −220 Metasprache →Mathematische Logik
• 16:1516:15, 31. Jan. 2016 Unterschied Versionen −3.063 Metasprache →Vermischung von Objekt- und Metaebene
• 16:1416:14, 31. Jan. 2016 Unterschied Versionen 0 Gödelsche Unvollständigkeitssätze Keine Bearbeitungszusammenfassung aktuell
• 16:1316:13, 31. Jan. 2016 Unterschied Versionen 0 Gödelsche Unvollständigkeitssätze Keine Bearbeitungszusammenfassung
• 16:1216:12, 31. Jan. 2016 Unterschied Versionen −707 Gödelsche Unvollständigkeitssätze Keine Bearbeitungszusammenfassung
• 16:0916:09, 31. Jan. 2016 Unterschied Versionen +4.672 N Gödelsche Unvollständigkeitssätze Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 2 |qualityOfReferences = 5 |conformance = 5 }} <nowiki/><br/>Ku…“
• 16:0416:04, 31. Jan. 2016 Unterschied Versionen +50 N Erster Gödelscher Unvollständigkeitsatz Weiterleitung nach Gödelsche Unvollständigkeitssätze erstellt aktuell
• 16:0316:03, 31. Jan. 2016 Unterschied Versionen −159 Metasprache →Gödelscher Unvollständigkeitssatz
• 15:4015:40, 31. Jan. 2016 Unterschied Versionen +1 Metasprache →Quellen der Sätze „GöU“ und „WAHR?“
• 15:4015:40, 31. Jan. 2016 Unterschied Versionen −1 Metasprache →Quellen der Sätze „GöU“ und „WAHR?“
• 15:3615:36, 31. Jan. 2016 Unterschied Versionen +140 Metasprache →Gödelscher Unvollständigkeitssatz
• 15:3215:32, 31. Jan. 2016 Unterschied Versionen +3 Barkley Rosser Keine Bearbeitungszusammenfassung aktuell
• 15:2515:25, 31. Jan. 2016 Unterschied Versionen +20 N 1907 Die Seite wurde neu angelegt: „{{Jahresüberblick}}“ aktuell
• 15:2515:25, 31. Jan. 2016 Unterschied Versionen 0 Barkley Rosser Keine Bearbeitungszusammenfassung
• 15:2215:22, 31. Jan. 2016 Unterschied Versionen +334 Barkley Rosser Keine Bearbeitungszusammenfassung
• 15:1415:14, 31. Jan. 2016 Unterschied Versionen 0 Barkley Rosser Keine Bearbeitungszusammenfassung
• 15:1215:12, 31. Jan. 2016 Unterschied Versionen +41 MediaWiki:Common.css Keine Bearbeitungszusammenfassung
• 15:0815:08, 31. Jan. 2016 Unterschied Versionen +2 Russellsche Antinomie →Mengen, die sich selbst enthalten
• 14:3914:39, 31. Jan. 2016 Unterschied Versionen +6 Barkley Rosser Keine Bearbeitungszusammenfassung
• 14:3814:38, 31. Jan. 2016 Unterschied Versionen +315 Barkley Rosser Keine Bearbeitungszusammenfassung
• 14:3214:32, 31. Jan. 2016 Unterschied Versionen +453 N Barkley Rosser Die Seite wurde neu angelegt: „{{Qualität |correctness = 3 |extent = 2 |numberOfReferences = 1 |qualityOfReferences = 2 |conformance = 3 }} {{Person | anrede…“
• 14:0614:06, 31. Jan. 2016 Unterschied Versionen +20 N 1936 Die Seite wurde neu angelegt: „{{Jahresüberblick}}“ aktuell
• 14:0614:06, 31. Jan. 2016 Unterschied Versionen +81 N Rosser (1936) Weiterleitung nach Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church erstellt aktuell
• 14:0514:05, 31. Jan. 2016 Unterschied Versionen +556 N Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church Die Seite wurde neu angelegt: „{{Quelle:Artikel | key = Rosser (1936) | authors = Barkley Rosser | title = Extensions of Some Theorems of Gödel and Church | subtitle =…“ aktuell
• 11:5811:58, 31. Jan. 2016 Unterschied Versionen +108 Metasprache →Mathematische Logik
• 11:5511:55, 31. Jan. 2016 Unterschied Versionen +787 Metasprache →Anmerkungen und Beispielevgl. {{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}

30. Januar 2016

• 11:5311:53, 30. Jan. 2016 Unterschied Versionen +66 Frege, G. (1892): Über Sinn und Bedeutung Keine Bearbeitungszusammenfassung aktuell
• 11:3411:34, 30. Jan. 2016 Unterschied Versionen +20 Metasprache Keine Bearbeitungszusammenfassung
• 11:3211:32, 30. Jan. 2016 Unterschied Versionen −1 Menge (Mengenlehre) →Formale mathematische Definitionen
• 09:4909:49, 30. Jan. 2016 Unterschied Versionen −121 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4809:48, 30. Jan. 2016 Unterschied Versionen −80 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4609:46, 30. Jan. 2016 Unterschied Versionen −1 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4609:46, 30. Jan. 2016 Unterschied Versionen +35 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4309:43, 30. Jan. 2016 Unterschied Versionen +3 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4209:42, 30. Jan. 2016 Unterschied Versionen +1 Menge (Mengenlehre) →Weitere Zusammenfassungen von Objekten
• 09:4209:42, 30. Jan. 2016 Unterschied Versionen +4 Menge (Mengenlehre) →Formale mathematische Definitionen
• 09:4109:41, 30. Jan. 2016 Unterschied Versionen 0 Menge (Mengenlehre) →Definition (Felscher (1978){{Quelle|Felscher (1978)}})
• 09:4009:40, 30. Jan. 2016 Unterschied Versionen +8 Klasse (Mengenlehre) Keine Bearbeitungszusammenfassung
• 09:3909:39, 30. Jan. 2016 Unterschied Versionen −21 Klasse (Mengenlehre) →Anschauliche moderne Definition