Switch to: References

Citations of:

Wittgensteins Diagonal-Argument: Eine Variation auf Cantor und Turing

In Joachim Bromand & Bastian Reichert (eds.), Wittgenstein und die Philosophie der Mathematik. Münster: Mentis Verlag. pp. 167-197 (forthcoming)

Add citations

You must login to add citations.
  1. Turing's Fallacies.Timm Lampert - 2017
    This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely, (i) an 'extensional fallacy': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a meaningful sentence is proven, and (ii) a 'fallacy of substitution': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a true sentence is proven. The first fallacy erroneously suggests that Turing's proof of the non-existence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Machines, Logic and Wittgenstein.Srećko Kovač - 2021 - Philosophia 49 (5):2103-2122.
    Wittgenstein’s “machines-as-symbols” are considered with respect to their historical sources and their symbolic and logical nature. Among these sources and precursors, along with Leonardo’s drawings of machines, there are illustrated “machine books”, a kind of book published in the period from the 16th to the 18th centuries which consist of pictures and descriptions of a variety of mechanical devices. Most probably, these books were one of Wittgenstein’s inspirations for his view of machines as components of language-games. The picture of homo (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark