The Scope of Gödel's First Incompleteness Theorem

@article{Buldt2014TheSO,
  title={The Scope of G{\"o}del's First Incompleteness Theorem},
  author={Bernd Buldt},
  journal={Logica Universalis},
  year={2014},
  volume={8},
  pages={499-552}
}
Guided by questions of scope, this paper provides an overview of what is known about both the scope and, consequently, the limits of Gödel’s famous first incompleteness theorem. Mathematics Subject Classification. Primary 03; Secondary 03-02, 03A05, 
BETA

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 159 REFERENCES

In defense of strict finitism

  • van Bendegem, Jean Paul
  • Mathematical Constructivism
  • 2013
1 Excerpt

On the independence of axioms in BL and MTL

  • Chvalovský, Karel
  • Fuzzy Sets and Systems
  • 2012
1 Excerpt

Necessary and sufficient conditions for undecidability of the Gödel sentence and its truth, David DeVidi, Michael Hallet, Peter Clark (eds.), Logic, Mathematics, Philosophy: Vintage Enthusiasm

  • Isaacson, Daniel
  • Essays in Honour of John L. Bell (The Western…
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…