First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-29 22:58:36Models of computation Computability theory Turing machine Formal methods Collatz conjecture Conjectures Undecidable problem Register machine Function Mathematics Mathematical logic Theoretical computer science | Add to Reading List |