Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Die Philosophie der Mathematik versucht eine Klassifizierung unterschiedlicher Zugänge zur Mathematik .
Am Anfang steht die Frage nach Ursprung der Mathematik und nach den Objekten sie behandelt. Insbesondere wird die Frage was wahre Aussage auszeichnet untersucht (siehe auch Ontologie ). Der Zugang des Platonismus etwa durch Kurt Gödel ist hier anzusiedeln.
Ein anderes bedeutendes Thema ist die einer mathematischen Theorie. Da die Mathematik (anders die Naturwissenschaften ) nicht experimentell überprüft werden kann sucht nach Gründen eine bestimmte mathematische Theorie für richtig zu halten (siehe auch Erkenntnistheorie ). Der von Luitzen Brouwer begründete Intuitionismus ist ein bekannter Vertreter dieser Richtung. andere Position der Logizismus wurde von Bertrand Russell und Gottlob Frege vertreten. David Hilbert wird dem Formalismus zugerechnet. Der Konventionalismus wurde von logischen Empiristen ( Rudolf Carnap Alfred Jules Ayer Carl Hempel) vertreten.