Switch to: References

Citations of:

The Road to Gödel

In Jonathan Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke. Palgrave-Macmillan (2014)

Add citations

You must login to add citations.
  1. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.
    Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•