Venkatesh Rao@vgr·Sep 28, 2021Idea: A Hilbert's Program but for robotics and AI 🤔en.wikipedia.orgHilbert's program - Wikipedia310
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