/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

www.jeremykun.com
| | kpknudson.com
14.8 parsecs away

Travel
| | [AI summary] A mathematician connects Franz Kafka's theme of 'non-arrival' and infinite paradoxes to Georg Cantor's work on different levels of transfinite infinity and the diagonalization argument.
| | jeremykun.wordpress.com
12.4 parsecs away

Travel
| | We assume the reader is familiar with the concepts of determinism and finite automata, or has read the corresponding primer on this blog. The Mother of All Computers Last time we saw some models for computation, and saw in turn how limited they were. Now, we open Pandrora's hard drive: Definition: A Turing machineis a...
| | thehousecarpenter.wordpress.com
13.3 parsecs away

Travel
| | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...
| | thetelltalemind.com
21.6 parsecs away

Travel
| https://www.youtube.com/watch?v=UwsXff4Vl-0 nothing,nowhere. has made a lot of great music over the years but fake friend just might be their best yet.