哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Edited Book > Contribution

Publication details

Publisher: Birkhäuser

Place: Basel

Year: 2017

Pages: 215-222

ISBN (Hardback): 9783319612300

Full citation:

Martin Davis, "Gödel's legacy", in: Humanizing mathematics and its philosophy, Basel, Birkhäuser, 2017

Abstract

In his truly remarkable paper of 1931, Kurt Gödel casts grave doubts on the viability of Hilbert's program for providing a consistent foundation for mathematics. In addition, it compelled logicians to view their subject through entirely new lenses. Two years later, Gödel was invited by the Mathematical Association of America to address one of its meetings. In his address, he spoke as follows:

Cited authors

Publication details

Publisher: Birkhäuser

Place: Basel

Year: 2017

Pages: 215-222

ISBN (Hardback): 9783319612300

Full citation:

Martin Davis, "Gödel's legacy", in: Humanizing mathematics and its philosophy, Basel, Birkhäuser, 2017