Person
Thomas Hales
American mathematician, born 1958, now at the University of Pittsburgh. In 1998 he announced a computer-assisted proof of the Kepler conjecture on sphere packing, a problem open since 1611. His shorter 1999 proof of the honeycomb conjecture closed a question first posed by Varro and formalised by Pappus. He has since led the Flyspeck project to mechanically verify his Kepler proof.
托马斯·海尔斯是美国数学家（1958年出生），目前任职于匹兹堡大学。1998年，他宣布了关于球体装箱的开普勒猜想的计算机辅助证明，该问题自1611年以来一直悬而未决。他于1999年给出的关于蜂巢猜想的较简短证明，解决了一个由瓦罗首次提出并由帕普斯形式化的古老问题。此后，他领导了Flyspeck项目，以对他的开普勒证明进行计算机形式化验证。
Matemático estadounidense (nacido en 1958), actualmente en la Universidad de Pittsburgh. En 1998 anunció una demostración asistida por ordenador de la conjetura de Kepler sobre el empaquetamiento de esferas, un problema abierto desde 1611. Su demostración más breve en 1999 de la conjetura del panal cerró una cuestión planteada por Varro y formalizada por Pappus. Desde entonces lidera el proyecto Flyspeck para verificar mecánicamente su demostración.
توماس هيلز هو عالم رياضيات أمريكي (ولد عام 1958)، ويعمل حالياً في جامعة بيتسبرغ. أعلن هيلز عام 1998 عن إثبات بمساعدة الكمبيوتر لتخمين كيبلر حول تعبئة الكرات، وهو سؤال ظل مفتوحاً منذ عام 1611. وأغلق إثباته الأقصر لتخمين قرص العسل عام 1999 سؤالاً طرحه فارو لأول مرة وصاغه بابوس. يقود هيلز منذ ذلك الحين مشروع (Flyspeck) للتحقق آلياً من إثباته لتخمين كيبلر.
Matemático americano (nascido em 1958), atualmente na University of Pittsburgh. Em 1998, ele anunciou uma demonstração assistida por computador da conjectura de Kepler sobre o empacotamento de esferas, um problema aberto desde 1611. Sua demonstração mais curta de 1999 da conjectura do favo de mel encerrou uma questão proposta por Varro e formalizada por Pappus. Ele lidera desde então o projeto Flyspeck para verificar mecanicamente sua prova de Kepler.
अमेरिकी गणितज्ञ (जन्म 1958), जो वर्तमान में पिट्सबर्ग विश्वविद्यालय में हैं, जिन्हें थॉमस हेल्स (Thomas Hales) कहा जाता है। 1998 में उन्होंने क्षेत्र पैकिंग (sphere packing) पर केपलर अनुमान के कंप्यूटर-सहायता प्राप्त प्रमाण की घोषणा की, जो 1611 से एक खुला प्रश्न था। हनीकॉम्ब अनुमान के उनके 1999 के छोटे प्रमाण ने वैरो द्वारा पूछे गए और पप्पस द्वारा औपचारिक रूप दिए गए प्रश्न को बंद कर दिया।
Matematikawan Amerika, lahir 1958, kini di University of Pittsburgh. Pada 1998 ia mengumumkan pembuktian berbantuan komputer untuk konjektur Kepler tentang pengepakan bola, sebuah masalah yang belum terpecahkan sejak 1611. Pembuktian konjektur sarang madunya yang lebih singkat pada 1999 menutup pertanyaan yang pertama kali diajukan oleh Varro dan diformalisasikan oleh Pappus. Ia memimpin proyek Flyspeck untuk verifikasi.
Mathématicien américain (né en 1958), professeur à l'université de Pittsburgh. En 1998, il a publié une démonstration assistée par ordinateur de la conjecture de Kepler sur l'empilement de sphères, un problème ouvert depuis 1611. Sa démonstration plus courte en 1999 de la conjecture du nid d'abeilles a résolu la question posée par Varron et formalisée par Pappus. Il a depuis mené le projet Flyspeck pour vérifier formellement sa preuve de Kepler.
1958年生まれのアメリカの数学者であり、現在はピッツバーグ大学に在籍。1998年に、1611年以来未解決であった球充填に関する「ケプラー予想」をコンピュータ支援を用いて証明したと発表した。1999年には、ヴァロが提起しパップスが定式化したハニカム予想について、より簡潔な証明を与えてこの古くからの問題に終止符を打った。その後、ケプラー予想の証明を機械的に検証するFlyspeckプロジェクトを主導している。
Американский математик (родился в 1958 году), ныне работающий в Питтсбургском университете. В 1998 году он объявил о компьютерном доказательстве гипотезы Кеплера об упаковке шаров — проблемы, остававшейся открытой с 1611 года. Его более короткое доказательство гипотезы сотов в 1999 году закрыло вопрос, впервые поставленный Варроном и формализованный Паппом. С тех пор он руководит проектом Flyspeck по машинной проверке своего доказательства Кеплера.
US-amerikanischer Mathematiker (geb. 1958), derzeit an der University of Pittsburgh. 1998 kündigte er einen computergestützten Beweis der Kepler-Vermutung zur Kugelpackung an, ein seit 1611 offenes Problem. Sein kürzerer Beweis der Wabenvermutung von 1999 schloss eine Frage ab, die zuerst von Varro aufgeworfen und von Pappus formalisiert worden war. Seitdem leitet er das Flyspeck-Projekt zur maschinellen Verifizierung seines Kepler-Beweises.
피츠버그 대학교에 재직 중인 미국의 수학자(Thomas Hales, 1958년생)이다. 1998년, 1611년 이래 미해결 과제였던 구형 채우기에 관한 케플러 추측(Kepler conjecture)을 컴퓨터 계산 지원을 통해 증명했다고 발표했다. 1999년에는 바로가 최초 제안하고 파푸스가 정립한 벌집 추측을 훨씬 짧은 수식으로 완벽히 증명했다. 이후 자신의 케플러 추측 증명 결과물을 기계 연산으로 공식 검증하는 '플라이스펙(Flyspeck)' 프로젝트를 주도했다.