Switch to: References

Add citations

You must login to add citations.
  1. Why Machines Will Never Rule the World: Artificial Intelligence without Fear.Jobst Landgrebe & Barry Smith - 2022 - Abingdon, England: Routledge.
    The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal evidence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Some Properties of Humanly Known and Humanly Knowable Mathematics.Jason L. Megill, Tim Melvin & Alex Beal - 2014 - Axiomathes 24 (1):81-88.
    We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Computability and human symbolic output.Jason Megill & Tim Melvin - 2014 - Logic and Logical Philosophy 23 (4):391-401.
    This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Understanding, Expression and Unwelcome Logic.Štěpán Holub - 2020 - Studia Semiotyczne 34 (1):183-202.
    In this paper I will attempt to explain why the controversy surrounding the alleged refutation of Mechanism by Gödel’s theorem is continuing even after its unanimous refutation by logicians. I will argue that the philosophical point its proponents want to establish is a necessary gap between the intended meaning and its formulation. Such a gap is the main tenet of philosophical hermeneutics. While Gödel’s theorem does not disprove Mechanism, it is nevertheless an important illustration of the hermeneutic principle. The ongoing (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Are Turing Machines Platonists? Inferentialism and the Computational Theory of Mind.Jon Cogburn & Jason Megil - 2010 - Minds and Machines 20 (3):423-439.
    We first discuss Michael Dummett’s philosophy of mathematics and Robert Brandom’s philosophy of language to demonstrate that inferentialism entails the falsity of Church’s Thesis and, as a consequence, the Computational Theory of Mind. This amounts to an entirely novel critique of mechanism in the philosophy of mind, one we show to have tremendous advantages over the traditional Lucas-Penrose argument.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation