Switch to: References

Add citations

You must login to add citations.
  1. Computable Diagonalizations and Turing’s Cardinality Paradox.Dale Jacquette - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (2):239-262.
    A. N. Turing’s 1936 concept of computability, computing machines, and computable binary digital sequences, is subject to Turing’s Cardinality Paradox. The paradox conjoins two opposed but comparably powerful lines of argument, supporting the propositions that the cardinality of dedicated Turing machines outputting all and only the computable binary digital sequences can only be denumerable, and yet must also be nondenumerable. Turing’s objections to a similar kind of diagonalization are answered, and the implications of the paradox for the concept of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Program Verification.Robert S. Boyer & J. Strother Moore - unknown
    How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Proof checking the rsa public key encryption algorithm.Robert Boyer - unknown
    The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. -- Godel [11].
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations