more from Kurt Gdel

Single Idea 10621

[catalogued under 5. Theory of Logic / K. Features of Logics / 5. Incompleteness]

Full Idea

Where Gdel's First Theorem sabotages logicist ambitions, the Second Theorem sabotages Hilbert's Programme.

Gist of Idea

Gdel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme

Source

comment on Kurt Gdel (On Formally Undecidable Propositions [1931]) by Peter Smith - Intro to Gdel's Theorems 36

Book Reference

Smith,Peter: 'An Introduction to Gdel's Theorems' [CUP 2007], p.343


A Reaction

Neo-logicism (Crispin Wright etc.) has a strategy for evading the First Theorem.