Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fulle der Ideen sichtbar, die Hilbert und seine Schuler formulierten, diskutiert anspruchsvolle philosophische Implikationen und raumt mit einer Reihe von Fehlinterpretationen auf.
Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monog...
Galilei und Darwin - diese Namen stehen bis heute fur einen tiefgreifenden Konflikt zwischen Theologie und Naturwissenschaften. Weltweit fuhrende Exponenten des Science-Religion-Dialogs zeigen (einige erstmals in deutscher Ubersetzung) an Beispielen der physikalischen Kosmologie, der Evolutionsbiologie oder der Psychologie, wie ein Bruckenschlag gelingen kann.
Galilei und Darwin - diese Namen stehen bis heute fur einen tiefgreifenden Konflikt zwischen Theologie und Naturwissenschaften. Weltweit fuhrende E...
