Tags: haltingproblem

1 Wednesday, January 22nd, 2020

I understand less than half of this great talk by Meredith L. Patterson, but it ticks all my boxes: Leibniz, Turing, Borges, and Postel’s Law.