2月9日、セミナー（アドバンストコースセミナー）発表の応用として４色定理の拡張に挑戦してみました。
有限な平面グラフについてはコンピュータが証明してくれているので、今回は命題論理におけるコンパクト性定理といわれるものを使って無限に広い平面グラフでの４色定理を証明しました。
論理学が離散数学の難題に有効であることに驚きです。

記事：佐山裕星
作成：佐々木規仁,佐山裕星
写真：佐々木規仁