Sciweavers

    64 search results - page 2 / 13
    » Proving Church's Thesis
    Sort
    View
    AMC
    2006
    131views more  AMC 2006»
    How much can analog and hybrid systems be proved (super-)Turing
    13 years 5 months ago
    How much can analog and hybrid systems be proved (super-)Turing
    Download  research.cs.queensu.ca
    Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
    Olivier Bournez
    claim paper
    Read More »
    BSL
    2008
    98views more  BSL 2008»
    A Natural Axiomatization of Computability and Proof of Church's Thesis
    13 years 5 months ago
    A Natural Axiomatization of Computability and Proof of Church's Thesis
    Download  research.microsoft.com
    Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
    Nachum Dershowitz, Yuri Gurevich
    claim paper
    Read More »
    ECCC
    2002
    86views more  ECCC 2002»
    Classical Physics and the Church-Turing Thesis
    13 years 5 months ago
    Classical Physics and the Church-Turing Thesis
    Download  www.cs.princeton.edu
    Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
    Andrew Chi-Chih Yao
    claim paper
    Read More »
    SYNTHESE
    2008
    82views more  SYNTHESE 2008»
    Kripke's paradox and the Church-Turing thesis
    13 years 5 months ago
    Kripke's paradox and the Church-Turing thesis
    Download  www.springerlink.com
    Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of "plus",...
    Mark D. Sprevak
    claim paper
    Read More »
    ITICSE
    1998
    ACM
    126views Theoretical Computer Science» more  ITICSE 1998»
    Motivating the Church-Turing thesis in the twenty-first century
    13 years 10 months ago
    Motivating the Church-Turing thesis in the twenty-first century
    Download  home.manhattan.edu
    R. Gregory Taylor
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.