The Mathematician as a Formalist (1998)

Cached

Download Links

by H. G. Dales
Venue:in Truth in Mathematics (H.G. Dales and
Citations:1 - 0 self

Documents Related by Co-Citation

4 Brouwer’s Cambridge Lectures on Intuitionism – D van Dalen - 1981
1 Outlines of a Formalist Philosophy of – Haskell B Curry - 1951
1 L'Oeuvre Math¶ematique de C.F – J Dieudonn¶e - 1961
1 in Atti del Congresso Internazionale dei – David Hilbert - 1928
1 Mathematics and logic – Hermann Weyl - 1946
1 The unreasonable e®ectiveness of mathematics", Comm. Pure and – Eugen Wigner
4 Over de Grondslagen der Wiskunde, Doctoral dissertation – L E J Brouwer - 1907
12 Elements of Intuitionism. Oxford Logic Guides – M Dummett
4 Intuitionist, The Life of L – Geometer Mystic
401 Vulnerabilities Analysis – Matt Bishop - 1999