logic" (Beiträge zur Lehre von der Definition und vom Beweis vom Standpunkt der mathematischen Logik aus). In 1928 he became a private lecturer in philosophy...
6 KB (462 words) - 23:15, 8 July 2024
Walter de Gruyter, 1999. Einführung in die Logik. Berlin: Walter de Gruyter, 1997. Descartes' metaphysischer Beweis für den Dualismus, Freiburg: Verlag Karl...
2 KB (210 words) - 06:41, 12 April 2024
Mathematik (1810), Der binomische Lehrsatz (1816) and Rein analytischer Beweis (1817). These works presented "...a sample of a new way of developing analysis"...
37 KB (4,676 words) - 02:57, 6 September 2024
Vol. 27 No. 3, 2018, pp. 329–350. Bromand, Joachim. "Gödels ontologischer Beweis und andere modallogische Gottesbeweise", in J. Bromand und G. Kreis (Hg...
33 KB (4,366 words) - 17:16, 10 November 2024
beweise". Philosophisches Archiv. 1 (3): 96–99. Johann Gebhard Maaß (1792). "Beweis einiger (nicht identischen) mathematischen Sätze aus bloßen Verstandesbegriffen"...
6 KB (455 words) - 22:36, 3 November 2024
1890 to 1905, Ernst Schröder published Vorlesungen über die Algebra der Logik in three volumes. This work summarized and extended the work of Boole, De...
69 KB (8,343 words) - 20:55, 5 December 2024
(1971): Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik. Archiv für Mathematische Logik und Grundlagenforschung...
36 KB (2,886 words) - 01:44, 24 November 2024
1895 5. Review of Robert Hugo Hertzsch, Der ontogenetisch-phylogenetische Beweis für das Dasein eines persönlichen Gottes, in Deutsche Litteraturzeitung...
25 KB (2,616 words) - 02:12, 7 November 2024
ISBN 978-0-12-386980-7. Hasenjaeger, G. (1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe". Journal...
15 KB (1,587 words) - 13:34, 30 September 2024