View topic on PhilPapers for more information
Related categories

14 found
Order:
More results on PhilPapers
  1. added 2019-06-20
    Proof That Wittgenstein is Correct About Gödel.P. Olcott - manuscript
    When we sum up the results of Gödel's 1931 Incompleteness Theorem by formalizing Wittgenstein’s verbal specification such that this formalization meets Gödel's own sufficiency requirement: ”Every epistemological antinomy can likewise be used for a similar undecidability proof." then we can see that Gödel's famous logic sentence is only unprovable in PA because it is untrue in PA because it specifies the logical equivalence to self contradiction in PA.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-04-20
    Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-02-24
    Wolpert, Chaitin and Wittgenstein on Impossibility, Incompleteness, the Liar Paradox, Theism, the Limits of Computation, a Non-Quantum Mechanical Uncertainty Principle and the Universe as Computer—the Ultimate Theorem in Turing Machine Theory (Revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 294-299.
    I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2019-02-24
    Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (Review Revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299-316.
    I give a detailed review of 'The Outer Limits of Reason' by Noson Yanofsky from a unified perspective of Wittgenstein and evolutionary psychology. I indicate that the difficulty with such issues as paradox in language and math, incompleteness, undecidability, computability, the brain and the universe as computers etc., all arise from the failure to look carefully at our use of language in the appropriate context and hence the failure to separate issues of scientific fact from issues of how language works. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-07-08
    Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge. [REVIEW]Panu Raatikainen - 2018 - History and Philosophy of Logic 39 (4):401-403.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-05-11
    What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
    Introduction to mathematical logic, part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2018-03-12
    Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
    Review of "Exploring Randomness" (200) and "The Unknowable" (1999) by Gregory Chaitin.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2017-11-09
    Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.
    The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet been used or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2014-10-05
    On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
    A survey of more philosophical applications of Gödel's incompleteness results.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  10. added 2014-05-10
    Review of Space, Time, and Number in the Brain. [REVIEW]Carlos Montemayor & Rasmus Grønfeldt Winther - 2015 - Mathematical Intelligencer 37 (2):93-98.
    Albert Einstein once made the following remark about "the world of our sense experiences": "the fact that it is comprehensible is a miracle." (1936, p. 351) A few decades later, another physicist, Eugene Wigner, wondered about the unreasonable effectiveness of mathematics in the natural sciences, concluding his classic article thus: "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve" (1960, p. 14). (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2014-03-22
    Self-Reference and Gödel's Theorem: A Husserlian Analysis. [REVIEW]Albert Johnstone - 2003 - Husserl Studies 19 (2):131-151.
    A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or false, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2014-03-08
    The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
    An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. added 2010-03-11
    How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 77--93.
    Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2010-03-11
    Intensionality and the Gödel Theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations