NHK スペシャル 「数学者はキノコ狩りの夢を見る〜ポアンカレ予想・100年の格闘」 １００年間誰も証明できなかったポアンカレ予想が、どのような経緯で証明されたかを特集していた。 まず、位相幾何学って何？ サーストン博士が宇宙の元となっている形が８つ…