I'm teaching a course on #computation. We will talk about #TuringMachines, and I'd like to make an historic intro to the subject. Any references?

Boosts appreciated! ;)

@patrickcmiller
[Up and Atom] videos on #computability
https://youtu.be/t37GQgUPa6k
https://youtu.be/PLVCscCY4xI

#YouTube #TuringMachines #HaltingProblem #Decidability

#ChatGPT, #Neural #TuringMachines, and similar efforts hint at the impending doom of us #vonNeumann #programmers. I had thought that we have a bit of time to loll about until #QuantumComputing matures, but I may have been too optimistic.

Since reading more into Gödel's Incompleteness Theorems, I get the feeling that there are procedures (?) outside of #math which provide #Solutions to problems that math cannot handle. In speaking with a friend, I said I picture a procedure that just solves things without recursive math or #TuringMachines, something that just solves problems without math, something #NonAlgorithmic. Now, the trick is to come up with something that solves math problems but is not math and is outside of intuition.

Minecraft running on a computer running in Minecraft https://boingboing.net/2022/09/19/minecraft-running-on-a-computer-running-in-minecraft.html #turingmachines #minecraft #games #video #post