We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Three computational models and its equivalence

Abstract: The study of computability has its origin in Hilbert's conference of 1900, where an adjacent question, to the ones he asked, is to give a precise description of the notion of algorithm. In the search for a good definition arose three independent theories: Turing and the Turing machines, G\"odel and the recursive functions, Church and the Lambda Calculus.
Later there were established by Kleene that the classic models of computation are equivalent. This fact is widely accepted by many textbooks and the proof is omitted since the proof is tedious and unreadable. We intend to fill this gap presenting the proof in a modern way, without forgetting the mathematical details.
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL); General Literature (cs.GL)
Cite as: arXiv:2010.15600 [cs.LO]
  (or arXiv:2010.15600v1 [cs.LO] for this version)

Submission history

From: Ciro Garcia Mr [view email]
[v1] Mon, 26 Oct 2020 05:55:19 GMT (26kb)

Link back to: arXiv, form interface, contact.