CIRCULARITY IN SOUNDNESS AND COMPLETENESS

Research output: Contribution to journalArticlepeer-review

207 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)24-38
JournalThe Bulletin of Symbolic Logic
Volume20
Issue number01
DOIs
Publication statusPublished - 1 Mar 2014

Fingerprint

Dive into the research topics of 'CIRCULARITY IN SOUNDNESS AND COMPLETENESS'. Together they form a unique fingerprint.

Cite this