A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory.

Adam Yedidia Scott Aaronson

Published in: Complex Syst. (2016)

Keyphrases

set theory
turing machine
partial order
first order logic
fuzzy set theory
mathematical morphology
real world
multiscale
neural network
genetic algorithm
computer vision
theoretical framework
utility function
rough set theory
algebraic geometry