
Synthetische Biologie - Der Mensch ALS Schöpfer?
Arno Schrauwers, Andrea Kamphuis, Bert Poolman
₹2,947

Das Hilbertprogramm Im Kontext Von Formalismus Und Finitismus
Free delivery. Nothing extra to pay at checkout.
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. Hilberts Position schlie t logizistische und intuitionistische Momente ein - und sicher keinen Spielformalismus.
Description supplied by the publisher.