Explore >> Select a destination


You are here

jdh.hamkins.org
| | jeremykun.wordpress.com
10.8 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...
| | xorshammer.com
14.9 parsecs away

Travel
| | There are many functions from $latex \mathbb{N}$ to $latex \mathbb{N}$ that cannot be computed by any algorithm or computer program. For example, a famous one is the halting problem, defined by $latex f(n) = 0$ if the $latex n$th Turing machine halts and $latex f(n) = 1$ if the $latex n$th Turing machine does not...
| | reportofanimals.com
11.9 parsecs away

Travel
| | DISCLAIMER: This is an essay I wrote for my Masters degree in 2023, part of a series I will be putting on this site to get me started. While I have changed some of my views and found new lines of inquiry since I wrote this, I feel there is value in it and after...
| | www.quantinuum.com
136.7 parsecs away

Travel
| Quantinuum is striving to understand the ways we communicate with each other and with our increasingly intelligent machines.