First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-18 22:48:16Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2 | Add to Reading List |