CIRCULARITY IN SOUNDNESS AND COMPLETENESS

Research output: Contribution to journalArticlepeer-review

Authors

Colleges, School and Institutes

Abstract

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.

Details

Original languageEnglish
Pages (from-to)24-38
JournalThe Bulletin of Symbolic Logic
Volume20
Issue number01
Publication statusPublished - 1 Mar 2014