User:Wvbailey/Criticism of Godel's incompleteness theorems
A number of writers have presented arguments against Godel's incompleteness theorems.
History
Finsler (1926) presents a precursor argument in his formal proofs and undecidability that, at a first viewing, seems remarkably similar to Godel's argument in Godel 1931. However, closer inspection shows that it proceeds informally, in particular without the specification of a formal system in which to define the notion of "provable" [1].
Footnotes
- ^ (van Heijenoort 1967:438)
References
- Jean van Heijenoort, 1967 From Frege to Godel: A Source Book in Mathematical Logic, 1979-1931, Harvard University Press, Cambridge, MA, ISBN 0-674-32449-8 (pbk).
- M. Randall Holmes, on-line/preliminary review: David booth and Renatus Ziegler, eds. Review of "Finsler Set Theory: Platonism and Circularity," at http://math.boisestate.edu/~holmes.
- M. Randall Holmes 1997,Book Review: Finsler set theory: Platonism and Circularity", Mathematical Gazette, Vol. 81, No 490 (Mar. 1997), pp. 159-162
- "The Reception of Godel's Incompleteness Theorems", John W. Dawson, Jr., PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Vol. 1984, Volume Two: Symposia and Invited Papers. (1984), pp. 253-271. [1]