Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Computability theory / Mathematical logic / Theory of computation / Turing machine / Models of computation / Busy beaver / Halting problem / ZermeloFraenkel set theory / Computability / Computable function


A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson
Add to Reading List

Document Date: 2016-05-03 08:34:47


Open Document

File Size: 1,03 MB

Share Result on Facebook