CIRCULARITY IN SOUNDNESS AND COMPLETENESS
Research output: Contribution to journal › Article › peer-review
Colleges, School and Institutes
We raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.
|Journal||The Bulletin of Symbolic Logic|
|Publication status||Published - 1 Mar 2014|