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
- van H
- M. Randall Holmes of 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