Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
A natural axiomatization of computability and proof of church's thesis
Nachum Dershowitz
*
, Yuri Gurevich
*
Corresponding author for this work
School of Computer Science
Microsoft USA
Research output
:
Contribution to journal
›
Article
›
peer-review
62
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A natural axiomatization of computability and proof of church's thesis'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Abstract State Machines
66%
Algorithmic Computation
33%
Axiomatization
100%
Church's Thesis
100%
Classical Algorithm
33%
Computability
100%
Computable
33%
Computable Function
33%
Effective Means
33%
Number Representation
33%
Numerics
66%
String Function
33%
String Representation
33%
Computer Science
Axiomatization
100%
Basic Operation
100%
Computability
100%
Computable Function
50%
State Machine
100%
String Representation
50%
Mathematics
Abstract State Machines
100%
Basic Operation
100%
Computable Function
50%
Numerics
100%
Turing Thesis
50%
Engineering
Additional Requirement
50%
Effective Mean
50%
Recursive
50%
State Machine
100%
Theorem State
50%