David Hilbert

德国数学家（1862—1943），1900年提出23个未解难题，为二十世纪初的数学研究确立了议程。其奠基性纲领旨在为整个数学建立一套完备、相容且可有限步骤检验的公理体系。哥德尔1931年的论文表明，按最初表述的该纲领无法实现。希尔伯特从未公开承认这一结论。

Matemático alemán (1862-1943) que fijó la agenda de las matemáticas de comienzos del siglo XX con su lista de 23 problemas no resueltos en 1900. Su programa fundacional buscaba un sistema axiomático completo, consistente y verificable de manera finita para toda la matemática. El artículo de Gödel de 1931 demostró que el programa, tal como se había formulado originalmente, era imposible. Hilbert nunca aceptó públicamente el veredicto.

عالم رياضيات ألماني (1862–1943) رسم أجندة الرياضيات في مطلع القرن العشرين بقائمته المؤلفة من 23 مسألة غير محلولة عام 1900. سعى برنامجه التأسيسي إلى إرساء منظومة بديهيات كاملة ومتسقة وقابلة للتحقق بخطوات منتهية لجميع فروع الرياضيات. أثبتت ورقة غودل عام 1931 استحالة البرنامج بصيغته الأصلية. لم يُقرّ هيلبرت علنًا بهذا الحكم قط.

Matemático alemão (1862–1943) que definiu a agenda da matemática do início do século XX com sua lista de 23 problemas não resolvidos em 1900. Seu programa fundacional buscava um sistema axiomático completo, consistente e finitamente verificável para toda a matemática. O artigo de Gödel de 1931 mostrou que o programa, tal como originalmente formulado, era impossível. Hilbert nunca aceitou publicamente o veredicto.

जर्मन गणितज्ञ (1862–1943) जिन्होंने 1900 में 23 अनसुलझी समस्याओं की अपनी सूची से बीसवीं सदी के आरंभिक गणित का एजेंडा निर्धारित किया। उनके आधारभूत कार्यक्रम का उद्देश्य समस्त गणित के लिए एक पूर्ण, संगत और परिमित रूप से जाँचने योग्य अभिगृहीत प्रणाली प्राप्त करना था। गोडेल के 1931 के शोधपत्र ने दिखाया कि कार्यक्रम अपने मूल रूप में असंभव था। हिल्बर्ट ने इस निर्णय को कभी सार्वजनिक रूप से स्वीकार नहीं किया।

Matematikawan Jerman (1862–1943) yang menetapkan agenda matematika awal abad kedua puluh melalui daftarnya berisi 23 masalah yang belum terpecahkan pada tahun 1900. Program fondasionalnya berupaya menghasilkan sistem aksioma yang lengkap, konsisten, dan dapat diperiksa secara finit untuk seluruh matematika. Makalah Gödel tahun 1931 menunjukkan bahwa program tersebut, sebagaimana dirumuskan semula, tidak mungkin tercapai. Hilbert tidak pernah secara terbuka menerima putusan itu.

Mathématicien allemand (1862-1943) qui fixa le programme des mathématiques du début du XXe siècle avec sa liste de 23 problèmes non résolus en 1900. Son programme fondationnel visait un système d'axiomes complet, cohérent et vérifiable de manière finitaire pour l'ensemble des mathématiques. L'article de Gödel en 1931 montra que le programme, tel qu'il avait été initialement formulé, était impossible. Hilbert n'accepta jamais publiquement ce verdict.

ドイツの数学者(1862–1943)。1900年に発表した23の未解決問題の一覧によって、20世紀初頭の数学の方向性を定めた。彼の基礎論プログラムは、数学全体について完全かつ無矛盾で有限的に検証可能な公理系を打ち立てることを目指した。1931年のゲーデルの論文は、当初提示されたままの形ではこのプログラムが実現不可能であることを示した。ヒルベルトはこの判決を公には決して受け入れなかった。

Немецкий математик (1862–1943), задавший повестку математики начала XX века своим списком из 23 нерешённых проблем 1900 года. Его программа обоснования математики ставила целью построение полной, непротиворечивой и финитно проверяемой аксиоматической системы для всей математики. Работа Гёделя 1931 года показала, что программа в её первоначальной формулировке невыполнима. Гильберт публично так и не признал этот вердикт.

Deutscher Mathematiker (1862–1943), der mit seiner Liste von 23 ungelösten Problemen im Jahr 1900 die Agenda der Mathematik des frühen zwanzigsten Jahrhunderts setzte. Sein grundlagentheoretisches Programm zielte auf ein vollständiges, widerspruchsfreies und finit prüfbares Axiomensystem für die gesamte Mathematik. Gödels Arbeit von 1931 zeigte, dass das Programm in seiner ursprünglichen Fassung unmöglich war. Hilbert hat dieses Urteil nie öffentlich akzeptiert.

독일 수학자(1862–1943)로, 1900년 23개의 미해결 문제 목록을 발표하며 20세기 초 수학의 의제를 설정하였다. 그의 기초론 강령은 모든 수학에 대한 완전하고 무모순이며 유한적으로 검증 가능한 공리계를 추구하였다. 1931년 괴델의 논문은 본래 제시된 형태의 이 강령이 불가능함을 보였다. 힐베르트는 끝내 이 판결을 공개적으로 받아들이지 않았다.