Venkatesh Rao@vgrIdea: A Hilbert's Program but for robotics and AI 🤔en.wikipedia.orgHilbert's program - Wikipedia9:23 PM · Sep 28, 202110 Likes
tom flemming@Flemn8r·Sep 28, 2021Replying to @vgrJust wait until some Austrian fellow turns up with a proof that, actually, this isn't an "idea" at all. (using the Chinese Remainder Theorem and a packet of biscuits)11
Sextus@sextusthesixth·Sep 28, 2021Replying to @vgrCareful what you wish for https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems…
madeofmistake phd (parodeeznutz)@madeofmistak3·Sep 28, 2021Replying to @vgrhilbert's program but this time it's actually a program1