Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Hilbert's Program and Infinity
Richard Zach
The primary aim of Hilbert's proof theory was to establish the consistency of classical mathematics using finitary means only. Hilbert's strategy for doing this was to eliminate th…
math.LO2024
Logic in Mathematics and Computer Science
Richard Zach
Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for ma…