Jawatan Popular

Pilihan Editor - 2019

Ahli matematik memberikan bukti rasmi Kepler Conjecture

Anonim

Satu pasukan yang diketuai oleh ahli matematik Thomas Hales telah menyampaikan bukti formal tentang Kepler Conjecture, yang merupakan resolusi pasti masalah yang tidak dapat diselesaikan selama lebih dari 300 tahun. Makalah ini kini boleh didapati dalam talian melalui Forum Matematik, Pi, jurnal akses terbuka yang diterbitkan oleh Cambridge University Press. Kertas ini bukan sahaja menyelesaikan masalah matematik berabad-abad lamanya, tetapi juga merupakan kemajuan besar dalam pengesahan komputer bukti matematik yang kompleks.

iklan


The Kepler Conjecture adalah masalah yang terkenal dalam geometri diskret, yang meminta cara yang paling berkesan untuk menjejalkan bola ke ruang yang diberikan. Jawapannya, walaupun tidak sukar untuk ditebak (ia betul-betul bagaimana jeruk ditumpuk di sebuah pasar raya), amat sukar untuk dibuktikan. Hales dan Ferguson pada mulanya mengumumkan satu bukti pada tahun 1998, tetapi penyelesaiannya begitu lama dan rumit bahawa pasukan penenang sedozen menghabiskan masa bertahun-tahun untuk memeriksa sebelum menyerah.

Terangkan Henry Cohn, editor Forum Matematik, Pi : "Keputusan pengadil adalah bukti yang kelihatannya berfungsi, tetapi mereka tidak mempunyai masa atau tenaga untuk mengesahkan semuanya secara komprehensif. Bukti itu diterbitkan pada tahun 2005, dan tidak kecacatan yang tidak dapat diperbaiki itu pernah dikenal pasti, tetapi ia adalah keadaan yang tidak memuaskan bahawa bukti itu kelihatannya tidak dapat dielakkan oleh komuniti matematik untuk memeriksa dengan teliti. Untuk menangani masalah ini dan mewujudkan kepastian, Hales beralih kepada komputer, menggunakan teknik pengesahan formal. pasukan kolaborator menulis keseluruhan bukti dalam perincian luar biasa dengan menggunakan logik formal yang ketat, yang program komputer kemudian diperiksa dengan ketat sempurna. Kertas ini adalah hasil kerja mereka yang lengkap. "

Thomas Hales adalah Profesor Matematik Mellon di University of Pittsburgh. Penyelidikannya meliputi geometri diskret, teori perwakilan, integrasi motivasi, dan pembuktian teorem rasmi.

iklan



Sumber Cerita:

Bahan yang disediakan oleh Cambridge University Press . Nota: Kandungan mungkin diedit untuk gaya dan panjang.


Rujukan jurnal :

  1. Roland Zumkeller et al. BUKTI BUKU KEPELBAGAIAN KEPLER . Forum Matematik, Pi, 2017; 5 DOI: 10.1017 / fmp.2017.1