The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History

By W. Tait. 2005

52 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/13a67d1423c0ff9727dbe60a4dab98c3ff4bd86c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Richard Zach

Citations in the corpus

• Hilbert's program then and now (2005, background): “…than those directly concerned with consistency and foundational reductions of theories are related to the aims of Hilbert’s program, e.g., the no-counterexample interpretation [Kreisel, 1951; Tait, 2005a] and work on the structure and complexity of formal proofs more generally [Pudl´ak, 1998].”