Untitled CourseMaps

4色の定理は、コンピュータを使用して証明された最初のよく知られている数学的定理であり、それはずっと一般的になり、論争の余地が少なくなっています。より高速なコンピュータとより効率的なアルゴリズムは、今日、ラップトップで4色の定理をほんの数時間で証明できることを意味します。