Philosophy of Mathematics

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Hilbert’s program then and now

Gödel's first incompleteness theorem and mathematical instrumentalism

Critical study of Michael Potter's Reason's Nearest Kin

Numbers and functions in Hilbert's finitism

Hilbert's Program

Hilbert's Finitism. Historical, Philosophical, and Metamathematical Perspectives

Links

@RrrichardZach on Twitter

Richard's Logic Blog

PhilPapers profile

Google Scholar profile

Papers on arXiv

GitHub profile

Mathematics Genealogy entry