ヒルベルトの第10問題は「整数係数のディオファントス方程式の整数解の有無を判定するアルゴリズムは存在するか？」という問いでしたが、マティヤセビッチの結果によってそのようなアルゴリズムは存在しないことが証明されました。これは、計算理論や数論に大きな影響を与え、現代数学の限界を示す重要な結果となっています。

↑ 人間社会においては選挙に関するアローの不可能性定理なんてのもある。実際にはアルゴリズムのない問題など無限にあるためアルゴリズムで世界を語ろうとするなんてのは将棋やチェスで世界を語るくらい無理。世の中はだいたい出たとこ勝負であり人間の原点も海底でゴミ漁りをしていたカニやぼーっと漂うプランクトンである。初心忘るるべからずであり毎日テレビでも見てごろごろしてればいいの。

https://www.youtube.com/watch?v=NcXk-kq_J7E