ショッピングカートは空です。
カートに追加したアイテムがここに表示されます。
Store Locator
Corporate Sales
About Books Kinokuniya
Membership
ズーム ロールオーバーで画像拡大
会員限定価格です アカウントページで会員情報をご入力後に適用されます
数学の末解決問題として有名だった四色問題―平面上の地図は四色で塗り分けられる―は、1976年の夏、イリノイ大学の一人の数学者、K・アッペルとW・ハーケンによって解決された。しかし、それは計算機による膨大な検証という、従来の数学の証明法とは全く異なるものだった。四色問題の誕生から最終的解決にいたるまでの先人たちの苦闘の歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
This product is currently out of stock. Please check back later.
Discount is applied at checkout.
カートには最大100個の商品を追加できます。さらに商品を追加するには、まずいくつか削除してください。