A measure-theoretic proof of Turing incomparability.

Chris J. Conidis

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

similarity measure
search algorithm
distance measure
neural network
objective function
multi agent
information theory
theorem proving
turing machine