Linking pages
Linked pages
- Gödel's completeness theorem - Wikipedia https://en.wikipedia.org/wiki/Gödel%27s_completeness_theorem 71 comments
- Alan Turing in America - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/alan-turing-in-america-221 47 comments
- http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf 33 comments
- Turing Uncomputability - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/turing-uncomputability 22 comments
- Kurt Gödel's Brilliant Madness - by Jørgen Veisdal https://www.privatdozent.co/p/kurt-godels-brilliant-madness 7 comments
- Cantor and Dedekind's Early Correspondence (1873-74) https://www.privatdozent.co/p/cantor-and-dedekinds-early-correspondence 0 comments
- Type theory - Wikipedia https://en.wikipedia.org/wiki/Type_theory 0 comments
- When Turing met Wittgenstein (1939) - by Jørgen Veisdal https://www.privatdozent.co/p/when-turing-met-wittgenstein-1939 0 comments
Related searches:
Search whole site: site:www.privatdozent.co
Search title: The Entscheidungsproblem (1930s) - by Jørgen Veisdal
See how to search.