笑わない数学　#5（第5回）　8月10日放送分　『ポアンカレ予想』

ポアンカレ予想は、トポロジー（位相幾何学）の分野に入るもののよう。宇宙の形がざっくり丸いか丸くないか確かめる方法があるのかという問題。

1本のロープで丸いか丸くないか判定できるのではという考えから来てるようですね。実際にロープで調べられない途方もない問題。そこまで長いロープは現実には用意できないので、正しい計算式を発想から完成させるしかないという。そのため、証明の証明をしないといけないというややこしい感じにどんどんなっていったようです。

物理学も使った方法で証明はされたものの、数学者自体が、間違っていることすら証明できない証明になるという結果になったよう。