3 Ergebnisse für: logizistische
-
An den Grenzen des Endlichen - Das Hilbertprogramm im Kontext von Formalismus und Finitismus | Christian Tapp | Springer
http://www.springer.com/978-3-642-29653-6
David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein.…
-
Philosophie der Mathematik: eine Einführung - Stephan Körner - Google Books
http://books.google.de/books?id=a_AhAQAAIAAJ&q=aut+Wahrheitsfunktion&dq=aut+Wahrheitsfunktion&hl=de&sa=X&ei=ed1LUoKCBPG10QWuxoDY
Keine Beschreibung vorhanden.
-