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" (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