3 ms·
Would love to see the reference for this. I expect he might be referring to the idea of executing an embodied algorithm on a machine, while Gödel was talking ab
by dreamcompiler 3y ago
Would love to see the reference for this. I expect he might be referring to the idea of executing an embodied algorithm on a machine, while Gödel was talking about pure math.
- explaininjs 3y agoPage 27 here: https://www.cs.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf https://www.cs.ox.ac.uk/activities/ieg/e-library/sources/tp2...