jdh.hamkins.org
The universal algorithm and the universal finite set, Prague 2018
This will be a talk at the Prague Gathering of Logicians & Beauty of Logic 2018, January 25-27, 2018. Abstract. The universal algorithm is a Turing machine program $e$ that can in principle enu…