Explore >> Select a destination


You are here

math.andrej.com
| | scottaaronson.blog
3.2 parsecs away

Travel
| | In Michael Sipser's Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having opened the book for over a decade. It goes like this: Let f:{0,1}*?{0,1} be the constant 1 function if God exists, or the constant 0 function...
| | jdh.hamkins.org
2.9 parsecs away

Travel
| | I have been reading Alan Turing's paper, On computable numbers, with an application to the entsheidungsproblem, an amazing classic, written by Turing while he was a student in Cambridge. This...
| | rjlipton.com
4.9 parsecs away

Travel
| | Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired...
| | www.calltutors.com
21.3 parsecs away

Travel
| The craze for iOS Programming language has increased especially in youngsters. Learn the basics of this language to start iOS development