A Natural Axiomatization of Computability and Proof of Church's Thesis.

Nachum Dershowitz Yuri Gurevich

Published in: Bull. Symb. Log. (2008)

Keyphrases

complete axiomatization
computer vision
machine learning
theorem proving
image processing
theorem prover
comprehensive set
data sets
databases
real world
similarity measure
optimal solution
digital libraries
hidden markov models
artificial systems