ちなみにゲーデルの不完全性定理が発見された当時、学者的受け止め方には2種類あったそうな。「完璧な公理系が存在できないなんて!絶望した!数学が終わったことに絶望した!orz」「数学に終わりはないんだ!俺たちの知的探求はまだこれからだ!(先生の次回作にご期待下さい)」
7~8年ぐらい前にPythonでプログラム組んでラズパイで動く自動タップマシンみたいなものがお試しで会社に置いてあってスマホゲームテストとか自動化できないか実験してた時期があったけど、あれも現代だったら自律的に画面判断してタップする場所とか判断してくれそうだよなー