Mathematical proof.

DOI10.1093/MIND/XXXVIII.149.1MaRDI QIDQ1834548zbMATH OpenOpenAlexFDO

Authors G. H. Hardy

Publication date 1929

Published in Mind. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/mind/xxxviii.149.1

Review text

Kritische Darstellung der gegenwärtigen Situation in der mathematischen Grundlagenforschung unter hauptsächlicher Berücksichtigung von \textit{Russell}s Logizismus und dessen Fortbildung durch \textit{Wittgenstein} und \textit{Ramsay}, sowie der \textit{Hilbert}schen Beweistheorie. Der Intuitionismus wird ziemlich kurz abgetan.

Cited in

(3)

• Physicalism without the idols of mathematics
• A metaphysical foundation for mathematical philosophy
• Artificial intelligence and inherent mathematical difficulty

This page was built for publication: Mathematical proof.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1834548)