数学革命 – TECH SCOPE

いまロード中

×

computer mathematical proof

「証明できない定理」から「証明する機械」へ――1976年の数学界を揺るがした、コンピューター証明の衝撃と50年後の反復