Repository | Book | Chapter
(2013) An den Grenzen des Endlichen, Dordrecht, Springer.
1924 promovierte Wilhelm Ackermann (1896–1962) bei Hilbert mit der Dissertation Begründung des tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit, die 1925 unter demselben Titel in den Mathematischen Annalen erschien. In dieser Arbeit will Ackermann im Sinne des Hilbertprogramms einen Widerspruchsfreiheitsbeweis für die Zahlentheorie führen.
Publication details
DOI: 10.1007/978-3-642-29654-3_10
Full citation:
Tapp, C. (2013). Hilbertschule I: Wilhelm Ackermann, in An den Grenzen des Endlichen, Dordrecht, Springer, pp. 225-249.
This document is unfortunately not available for download at the moment.