So Seth has seen Turing (1936) for sure. But I'm not sure he realizes that Turing (1952) actually did do work on continuous stuff as well!
Can you imagine where we'd be a few papers down the line, if Turing had lived longer?
* Turing (1936): https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
* Turing (1952): https://royalsocietypublishing.org/rstb/article/237/641/37/1...