Adam Yedidia

Person

Aaronson's former master's student at MIT who designed an 8,000-state Turing machine to explore Gödel's incompleteness theorems.

Mentioned in 1 video