David Hilbert

David Hilbert^[1] (Königsberg, Ekialdeko Prusia, 1862ko urtarrilaren 23a - Göttingen, Alemania, 1943ko otsailaren 14a), matematikari alemaniarra zen, XIX. mende amaierako eta XX. hasierako garrantzitsuenetakotzat jotzen dena. Hilbertek funtsezko ideia ugari aurkitu eta garatu zituen, besteak beste, inbarianteen teoria, aldakuntzen kalkulua, aljebra trukakorra, zenbaki aljebraikoen teoria, geometriaren oinarriak, eragileen teoria espektrala eta bere aplikazioa ekuazio integraletan, fisika matematikoan eta matematikaren oinarrietan (bereziki frogaren teoria).

David Hilbert
(1912) Irudi gehiago
Bizitza
Jaiotza	Kaliningrad eta Znamensk, Kaliningrad Oblast (en) , 1862ko urtarrilaren 23a
Herrialdea	Prusiako Erresuma  Weimarko Errepublika  Alemaniar Inperioa  Hirugarren Reicha
Bizilekua	Alemania
Heriotza	Göttingen, 1943ko otsailaren 14a (81 urte)
Hobiratze lekua	Stadtfriedhof Göttingen
Familia
Ezkontidea(k)	Käthe Hilbert (en)
Seme-alabak	ikusi Franz Hilbert (en)
Hezkuntza
Heziketa	Königsbergeko Unibertsitatea Collegium Fridericianum (en)
Hezkuntza-maila	doktoretza
Tesia	Über invariante Eigenschaften specieller binärer Formen, insbesondere der Kugelfunctionen (en)
Tesi zuzendaria	Ferdinand von Lindemann
Doktorego ikaslea(k)	Max Dehn (en) Sergei Natanovich Bernstein (en) Klara Löbenstein (en) Rudolf Schimmack (en) Teiji Takagi Hermann Weyl Richard Courant Erhard Schmidt Paul Hertz Werner Boy Wilhelm Ackermann Otto Blumenthal (en) Erich Hecke Oliver Dimon Kellogg (en) Kurt Schütte Charles Noble (en) Anne Lucy Bosworth Focke (en) Charles Haseman (en) Earle Raymond Hedrick (en) Georg Hamel Max Mason (en) Felix Bernstein Edward Kasner Rudolf Fueter (en) Margarethe Kahn Ernst Hellinger (en) Alfréd Haar (en) Andreas Speiser (en) Hugo Steinhaus David Clinton Gillespie (en) Otto E. Neugebauer (en) Ludwig Föppl Alexandru Myller Wallie Abraham Hurwitz (en) Bernhard Baule (en) Ugo Napoleone Giuseppe Broggi (en) Wilhelmus David Allen Westfall (en) Walther Rosemann (en) Gottfried Rückle (en) Heinrich Dörrie (en) Kurt Grelling Johann Oswald Müller (en) Heinrich Behmann Georg Prange Paul Funk (en) Albert Andrae (en) Walter Lietzmann (en) Arnold Schmidt Gabriel Sudan (en) Arthur Robert Crathorne (en) Edgar Jerome Townsend (en) Hans von Schaper (en) Michael Feldblum (en) Fritz Beer Legh Wilber Reid (en) Karl Sigismund Hilbert Sophus Marxsen (en) Lubov Zapolskaya (en) Otto Zoll (en) Paul Kirchberger (en) Albert Kraft (en) Hugo Kistler (en) William D. Cairns (en) Johannes Otto Mühlendyck (en) Hans Bolza (en) Jakob Grommer (en) Kurt Schellenberg (en) Willi Windau (en) Gerhard Janßen Rudolf Schimmack (en) Eva Koehler (en) Georg Lütkemeyer (en) Hellmuth Kneser Robert König (en) Haskell Curry Hyman Levy (en)
Hizkuntzak	alemana
Ikaslea(k)	ikusi Wilhelm Ackermann Richard Courant Erich Hecke Otto Blumenthal (en)
Jarduerak
Jarduerak	matematikaria, unibertsitateko irakaslea, filosofoa, fisikaria, logikaria eta philosopher of mathematics (en)
Lantokia(k)	Göttingen
Enplegatzailea(k)	Göttingengo Unibertsitatea
Lan nabarmenak	ikusi Geometry and the Imagination (en) Hilbert's basis theorem (en)
Jasotako sariak	ikusi Arteetan eta Zientziatan Merituaren Ordena Poncelet Prize  (1903) Cothenius Domina  (1906) Bolyai Prize  (1910) Lobachevsky Prize  (1903) Bavarian Maximilian Order for Science and Art  (1907) Foreign Member of the Royal Society  (1928ko ekainaren 21a) Goethe Medal for Art and Science  (1942)
Influentziak	Immanuel Kant
Kidetza	Royal Society Saxon Academy of Sciences and Humanities (en) Alemaniako Natur Zientzien Leopoldina Akademia Zientzien Bavariar Akademia Göttingengo Zientzien Akademia Sobietar Batasuneko Zientzien Akademia Suediako Zientzien Errege Akademia Hungariako Zientzien Akademia Linzeen Akademia Zientzien Errusiar Akademia Prusiako Zientzien Akademia XL izeneko Zientzien Akademia Nazionala Ameriketako Estatu Batuetako Zientzien Akademia Nazionala Arteen eta Zientzien Herbehereetako Errege Akademia Accademia delle Scienze di Torino

Hilbertek Georg Cantor-en multzoaren eta zenbaki transfinituen teoria onartu, eta defendatu zuen. 1900. urtean XX. mendeko matematika-ikerketari bide ematen zioten problemen bilduma aurkeztu zuen^[2][3].

Hilbertek eta bere lana ikasi zutenek mekanika kuantikorako eta erlatibitate orokorrerako beharrezkoa zen egitura matematikoaren zati garrantzitsuak atera zituzten. Frogapen matematikaren eta logika matematikoaren sortzaileetako bat izan zen, baita matematika eta metamatematika ezberdintasunarena ere^[4].

Bizitza

Hasierako urteak eta heziketa

Hilbert, bi seme-alabetatik lehena eta Otto (konderriko epailearen seme bakarra) eta Maria Therese Hilberten (Erdtmann jaioa) (merkatari baten alaba) semea; Hilbert jaio zen Prusiako probintzian (Prusiako Erresuma), edo Königsbergen (Hilberten beraren deklarazioaren arabera) edo Wehlakon (1946az geroztik Znamensk izenarekin ezagutua), Königsbergetik gertu, non bere aitak lan egiten zuen bere jaiotzaren garaian. Aitaren aldeko aitona David Hilbert zen, epailea eta Geheim-rat (kontseilari pribatua). Bere ama, Mariak, filosofia, astronomia eta zenbaki lehenengatik zuen interesa, eta bere aita, Ottok, prusiar bertuteak irakasten zizkion. Bere aita hiriko epaile bihurtu ondoren, familia Königsbergera joan zen bizitzera. Davidek sei urte zituela jaio zen bere arreba, Elise. Zortzi urte zituela hasi zen eskolan, ohi baino bi urte beranduago^[5].

1872ko amaieran, Hilbert Friedrichskolleg Gimnasiumen sartu zen (Collegium fridericianum, 140 urte lehenago Immanuel Kant eskolatu zen eskola bera), baina, zorigaiztoko garai baten ondoren, zientziara bideratutako Wilhelm Gimnasiumera aldatu zen (1879ko amaiera), eta graduatu egin zen (1880ko hasiera)^[6]. Graduatu zenean, 1880ko udazkenean, Hilbert Königsbergeko Unibertsitatean matrikulatu zen, «Albertina»-n. 1882ko hasieran, Hermann Minkowski (Hilbert baino bi urte gazteagoa eta Königsbergen jaioa baina Berlinera hiru seihileko egitera joana)^[7] Königsbergera itzuli, eta unibertsitatean sartu zen. Hilbertek betiko adiskidetasuna izan zuen Minkowski lotsatiarekin^[8][9].

Karrera

Hilbert 1886an

Hilbert 1907an

1884an, Adolf Hurwitz Göttingenetik Extraordinarius (hau da, irakasle elkartua) gisa iritsi zen. Hiruren arteko trukaketa zientifiko bizi eta emankorra hasi zen, eta, batez ere Minkowskik eta Hilbertek elkarrenganako eragina izango zuten beren karrera zientifikoetan. Hilbertek 1885ean lortu zuen doktoretza, Ferdinand von Lindemannen agindupean idatzitako tesi batekin^[10] eta Über invariante Eigenschaften spezieller binärer Formen, insbesondere der Kugelfunktionen ("Forma binario berezien propietate inbaditzaileei buruz, bereziki funtzio harmoniko esferikoei buruz") izenburupean.

Hilbert Königsbergeko Unibertsitatean geratu zen, Privatdozent (goi mailako irakasle) gisa, 1886tik 1895era. 1895ean, Felix Kleinen bere alde esku hartzearen ondorioz, Matematika irakasle postua lortu zuen Göttingeneko Unibertsitatean. Klein eta Hilberten urteetan, Göttingen matematikako erakunde nagusia bihurtu zen^[11], eta han geratu zen bizitza osoan.

Göttingeneko Matematika Institutua. Eraikin berria, Rockefeller Fundazioaren funtsez egina, Hilbertek eta Courantek inauguratu zuten 1930ean.

Göttingeneko Unibertsitatea

Hilberten ikasleen artean, Hermann Weyl, Emanuel Lasker xake txapelduna, Ernst Zermelo eta Carl Gustav Hempel zeuden. John von Neumann bere laguntzailea zen. Göttingeneko Unibertsitatean, Hilbert XX. mendeko matematikari garrantzitsuenen zirkulu sozial batez inguratua zegoen, hala nola Emmy Noether eta Alonzo Church.

Göttingeneko ikasle asko, gerora, matematikari ospetsu bihurtu ziren, besteak beste (tesi datarekin): Otto Blumenthal (1898), Felix Bernstein (1901), Hermann Weyl (1908), Richard Courant (1910), Erich Hecke (1910), Hugo Steinhaus (1911) eta Wilhelm Ackermann (1925)^[12]. 1902 eta 1939 artean, Hilbert Mathematische Annalen, garai hartako matematika-aldizkari nagusia, aldizkariko editorea izan zen. Ameriketako Estatu Batuetako Zientzien Akademia Nazionaleko Nazioarteko kide hautatu zuten 1907an^[13].

Bizitza pertsonala

Käthe Hilbert Constantin Carathéodoryrekin, 1932 baino lehen.

Hilbert eta bere emazte Käthe Jerosch (1892)

Franz Hilbert

1892an, Hilbert Käthe Jerosch-ekin ezkondu zen (1864–1945), Königsbergeko merkatari baten alaba zena, «Hilbertenarekin bat zetorren buru-independentzia zuen neska gazte bat»^[14]. Königsbergen zeudela, seme bakarra izan zuten, Franz Hilbert (1893 – 1969). Franzek gaixotasun mentala izan zuen bizitza osoan, eta klinika psikiatriko batean sartu ondoren, Hilbertek esan zuen: «Hemendik aurrera, semerik ez daukadala pentsatu behar dut» Franzenganako jarrerak atsekabe handia ekarri zion Kätheri^[15].

Hilbertek kontsideratzen zuen bere lagunik onena eta egiazkoena Hermann Minkowski matematikaria zela^[16].

Hilbert Eliza Ebanjeliko Prusiarrean bataiatu, eta kalbinista moduan hazi zuten^{[Oh 1]}. Eliza utzi eta agnostiko bihurtu zen^{[Oh 2]}. Era berean, egia matematikoa Jainkoaren existentziatik edo a priori beste suposizio batzuetatik independentea zela defendatzen zuen^{[Oh 3][Oh 4]}. Galileo Galilei kritikatua izan zenean, teoria heliozentrikoari buruz zituen usteen alde ez agertzeagatik, Hilbertek esan zuen: «Baina Galileo ez zen ergela. Ergel batek bakarrik sinets lezake egia zientifikoak martirioa behar duela; hori beharrezkoa izan daiteke erlijioan, baina emaitza zientifikoak bere garaian frogatzen dira»^{[Oh 5]}.

Azken urteak

Albert Einsteinek moduan, Hilbertek harreman estuak izan zituen Berlingo Taldearekin, zeinaren sortzaile nagusiek Hilberten aginduetara ikasi baitzuten Göttingenen (Kurt Grelling, Hans Reichenbach eta Walter Dubislav)^[17].

1925 inguruan, Hilbertek anemia kaltegarri bat garatu zuen, garaian ezin tratatuzkoa zen bitamina-urritasuna, zeinaren sintoma nagusia nekea baita; bere laguntzaileak, Eugene Wignerrek, «neke izugarriaren» mendean zegoela eta «nahiko zahar itxura» zuela deskribatu zuen, eta, azkenean, diagnostikatu eta tratatu ondoren ere, «1925etik aurrera, ia ez zela ez zientzialaria ezta Hilbert ere»^[18].

1932an, Hilbert Amerikako Elkarte Filosofikorako aukeratu zuten^[19].

Hilbertek, 1933an, Göttingeneko Unibertsitateko fakultateko kide ospetsu asko ikusi zuen naziak garbitzen^[20]. Alemaniatik alde egin behar izan zuen batek, Paul Bernaysek, Hilbertekin kolaboratu zuen logika matematikoan, eta harekin batera^[21] Grundlagen der Mathematik (azkenean bi liburukitan agertu zen, 1934an eta 1939an) liburu garrantzitsua idatzi zuen. Hori Hilbert – Ackermannen 1928ko Principles of Mathematics Logic liburuaren jarraipena izan zen. Hermann Weylen ondorengoa Helmut Hasse izan zen.

Handik urtebetera, Hilbert oturuntza batera joan, eta Bernhard Rust Hezkuntza ministro berriaren ondoan eseri zen. Rustek galdetu zion ea Matematika Institutuak hainbeste sufritu zuen juduen irteeragatik. Hilbertek erantzun zion: Sufritu? Ez da gehiago existitzen, ezta?^[22][23]

Heriotza

Hilberten hilobia:
Wir müssen wissen
Wir werden wissen
(jakin behar dugu, jakingo dugu)

1943an, Hilbert hil zenerako, naziek ia erabat aldatua zuten unibertsitateko langileria, aurreko fakultateko asko juduak edo juduekin ezkonduak baitziren. Hilberten hiletara dozena bat lagun baino gutxiago joan ziren, horietako bi bakarrik akademiakideak, horien artean Arnold Sommerfeld, fisikari teorikoa eta Königsbergen jaioa^[24]. Haren heriotzaren berri hil eta hilabete batzuetara baino ez zen mundu zabalean ezagutu^[25].

1930eko irailaren 8an Alemaniako Zientzialari eta Medikuen Elkartean egin zuen erretiro-hitzaldia amaitzean esan zituen lerro ospetsuek osatzen dute Göttingeneko bere hilarriaren epitafioa. Ignoramus et ignorabimus edo Ez dakigu eta ez dugu jakingo latinezko maximari erantzunez eman ziren hitzak^[26].

Wir müssen wissen - Jakin behar dugu

Wir werden wissen - Jakingo dugu

Hilbertek Alemaniako Zientzialari eta Medikuen Elkartearen 1930eko urteko batzarrean esaldi hauek esan zituen bezperan —Epistemologiari buruzko Konferentzian Gizartearen bilerekin batera egindako eztabaidan, mahai-inguru batean— Kurt Gödelek bere osagabetasunaren teoremaren lehen adierazpena iragarri zuen behin-behinekoz^{[Oh 6]}. Gödelen ez-osotasunaren teoremek erakusten dute oinarrizko sistema axiomatikoak ere, hala nola Peano aritmetika, bere baitan kontraesankorrak direla edo sistema horren barruan frogatu edo gezurtatu ezin diren proposizio logikoak dituztela.

Matematikari eta fisikari egindako ekarpenak

Gordanen arazoa konpontzen

Hilbertek funtzio inbarianteei buruz egin zuen lehen lanak, 1888an, bere finitutasunaren teorema ospetsuaren frogapenera eraman zuen. Hogei urte lehenago, Paul Gordanek forma bitarretarako sorgailuen finitutasunaren teorema frogatu zuen ikuspegi konputazional konplexu bat erabiliz. Bere metodoak, kalkuluen zailtasun izugarriagatik, porrot egin zuen bi aldagai baino gehiagoko funtzioetara orokortzeko saiakeran. Zenbait zirkulutan Gordanen arazotzat ezagutzen zena konpontzeko, Hilbert konturatu zen guztiz bestelako bide bat hartu behar zela. Ondorioz, Hilberten oinarri-teorema frogatu zuen, erakutsiz multzo finitu baten existentzia edozein aldagai-kopurutan kuantikoaren aldaezinentzat, baina forma abstraktuan. Hau da, multzo hori existitzen zela frogatu arren, ez zen froga eraikitzailea izan —ez zuen objekturik erakusten—, baizik eta haren existentziaren froga^[27], eta oinarritzen zen hirugarren baztertzearen printzipioaren amaigabeko hedadura erabiltzean.

Geometriaren axiomatizazioa

Hilbertek 1899an argitaratutako Grundlagen der Geometrie (Geometriaren oinarriak) testuak multzo formal bat proposatzen du, Hilbert-en axioma izenekoak, zeinek Euklidesen Elementuak ordezkatzen duten. Euklidesenetan identifikatutako ahuleziak saihesten dituzte, garai hartan, oraindik, testuliburu-moduan erabiltzen zirenak. Zaila da Hilbertek erabilitako axiomak zehaztea Grundlagen-en argitalpen-historia aipatu gabe, Hilbertek hainbat aldiz aldatu baitzituen. Jatorrizko monografiari berehala gehitu zitzaion frantsesezko itzulpena, eta bertan Hilbertek V.2 gehitu zuen, Osotasun Axioma. Ingelesezko itzulpena, Hilbertek baimenduta, E.J. Townsendek argitaratu zuen 1902an, egile eskubideekin^[28][29]. Itzulpen horrek frantsesezko itzulpenean egindako aldaketak jaso zituen, eta, beraz, 2. argitalpenaren itzulpentzat hartzen da. Hilbertek testuan aldaketak egiten jarraitu zuen, eta hainbat edizio agertu ziren alemanez. 7. argitalpena izan zen Hilbert bizi zela agertutako azkena. 7.aren ondoren argitalpen berriak etorri ziren, baina, funtsean, testu nagusia ez zen berrikusi^{[Oh 7]}.

23 problemak

Sakontzeko, irakurri: «Hilberten problemak»

Jarraian, Hilberten 23 problemei buruzko lerroburuak daude, 1902ko itzulpenean Bulletin of the American Mathematics Society liburuan agertzen ziren moduan.

• 1. Cantorrek etengabeko zenbaki kardinalari buruz duen problema.
• 2. Axioma aritmetikoen bateragarritasuna.
• 3. Oinarri eta altitude bereko bi tetraedroren bolumenen berdintasuna.
• 4. Lerro zuzenaren arazoa, bi punturen arteko distantziarik laburren gisa.
• 5. Lie-ren eraldaketa talde jarraituaren kontzeptua taldea definitzen duten funtzioen deribagarritasuna suposatu gabe.
• 6. Fisikaren axiomen tratamendu matematikoa.
• 7. Zenbait zenbakiren irrazionaltasuna eta transzendentzia.
• 8. Zenbaki lehenen problemak ("Riemann-en hipotesia")
• 9. Edozein zenbaki-eremutan elkarrekikotasun-lege orokorrenaren froga.
• 10. Ekuazio diofantoar baten ebatzigarritasunaren determinazioa.
• 11. Edozein zenbaki-koefiziente aljebraikoko forma koadratikoak.
• 12. Kroneckerren teorema gorputz abeldarrei buruz arrazionaltasun aljebraikoaren edozein eremutara hedatzea.
• 13. Zazpigarren graduko ekuazio orokorra bi argumentu soilik dituzten funtzioen bidez ebazteko ezintasuna.
• 14. Funtzio-sistema oso batzuen egoera finituaren froga.
• 15. Schuberten kalkulu enumeratiboa edo geometria aljebraikoaren oinarri zorrotza.
• 16. Kurba eta gainazal aljebraikoen topologiaren problema.
• 17. Karratuen baturek definitutako formen adierazpena.
• 18. Poliedro kongruenteen espazioaren eraikuntza.
• 19. Bariazioen kalkuluko problema arrunten soluzioak beti analitikoak al dira?
• 20. Dirichlet muga-baldintzen problema orokorra.
• 21. Fuksiar klaseko ekuazio diferentzial linealen existentzia frogatzea, haien puntu singularrak eta talde monodromikoa ezagututa.
• 22. Erlazio analitikoen uniformetasuna funtzio automorfoen bidez: beti posible da bi aldagairen arteko edozein erlazio aljebraiko uniformizatzea aldagai baten funtzio automorfoen bidez.
• 23. Bariazioen kalkulurako metodoen hedapena.

Batzuk denbora gutxian konpondu ziren. XX. mendean zehar beste batzuk eztabaidatu izan dira, eta, orain, gutxi batzuk garrantzirik gabekoak edo itxi ezinezkoak direla ondorioztatu da. Batzuek, gaur egun ere, matematikarientzako erronka izaten jarraitzen dute.

Oharrak

1. Dagoeneko, Hilbertarrak bataiatu eta ezkondu ziren eliza protestante kalbinistatik alde eginak ziren. – Reid 1996, 91. or
2. David Hilbertek agnostikoa zirudien, eta ez zuen zerikusirik teologiarekin, ezta erlijioarekin ere. Constance Reidek gai horri buruzko istorio bat kontatzen du:

   «

   Hilbertetarrek, ordurako (1902. urte inguruan), Eliza Protestante Erreformatua utzia zuten, bertan bataiatu eta ezkondu zirelarik. Göttingenen zera esaten zuten: Franz eskolan hasi zenean, ezin zuela galdera honi erantzun: «Zein erlijioko zara zu?» (1970, p 91)

   »

   1927an, Hanburgoko helbidean, Hilbertek esan zuen: «Matematika aurresuposiziorik gabeko zientzia da (die Mathematik ist eine voraussetzungslose Wissenschaft)" eta hori aurkitzeko ez dut Jainko on bat behar» ([z]u ihrer Begründung brauche ich weder den lieben Gott)" (1928, S. 85; van Heijenoort, 1967, p. 479). Hala ere, Mathematische Probleme-tik (1900) Naturerkennen und Logik-era (1930) giza izpirituan eta pentsaera hutsaren ahalmenean jarri zuen bere fede ia erlijiosoa bere haur maitearekin, matematikarekin. Erabat konbentziturik zegoen problema matematiko guztiak arrazoi hutsez konpon zitezkeela: bai matematikan, bai natur zientzietako edozein ataletan (matematikaren bidez), ez zegoen "ezjakintasunik". (Hilbert, 1900, S. 262; 1930, S. 963; Ewald, 1996, pp. 1102, 1165) Horregatik matematikarako barne-oinarri absolutua aurkitzea Hilberten bizitza-lan bihurtu zen. Ez zion inoiz uko egin jarrera horri, eta sinbolikoa da bere hitzak «wir müssen wissen, wir werden wissen»" (jakin behar dugu, jakingo dugu) 1930eko Königsbergeko bere helbidetik grabatuak izatea bere hilarrian. Hemen teologia baztertuaren mamu bat aurkitzen dugu (George Berkeleyren hitzak aldatzeko), giza ezagutza absolutizatzeko jainkotiar batekin tazituki identifikatu behar baita. —Shaposhnikov, Vladislav (2016). "Theological Underpinnings of the Modern Philosophy of Mathematics. Part II: The Quest for Autonomous Foundations Studies in Logic, Grammar and Rhetoric. 44 (1): 147–168. doi:10.1515/slgr-2016-0009
3. "Matematika aurresuposiziorik gabeko zientzia da. Hori baieztatzeko ez dut Jainkoaren beharrik, Kroneckerrek egiten duen moduan, edo Poincarék gure adimenaren ahalmen berezi baten suposizioak indukzio matematikoaren printzipioarekin bat egiten duen gisan, edo Brouwerren intuizio primarioak, edo, azkenik, Russellek eta Whiteheadek moduan, infinitutasunaren, murriztasunaren edo osotasunaren axiomak, egiazki suposizio errealak, kontingenteak direnak, kontsekuentziazko frogen bidez konpentsatu ezin direnak. " David Hilbert, Die Grundlagen der Mathematik, Hilbert's program, 22C:096, University of Iowa
4. Michael R. Matthews (2009). Science, Worldviews and Education. Springer. p. 129. ISBN 978-90-481-2779-5 Jakina denez, Hilbertek Leopold Kroneckerren Jainkoa baztertu zuen matematikaren oinarrien arazoa konpontzeko.
5. Constance Reid; Hermann Weyl (1970). Hilbert. Springer-Verlag. p. 92. ISBN 978-0-387-04999-1 Agian, gonbidatuek Galileoren epaiketa eztabaidatuko zuten, eta norbaitek Galileori leporatuko zion bere usteen alde ez agertzea. -Baina ez zen ergel bat-kontra egiten zion Hilbertek. "Ergel batek bakarrik sinets lezake egia zientifikoak martirioa behar duela; hori beharrezkoa izan daiteke erlijioan, baina emaitza zientifikoak garaiz frogatzen dira. "
6. "Zientzia Zehatzen Epistemologiari buruzko Konferentzia hiru egunez luzatu zen, irailaren 5etik 7ra" (Dawson 1997:68). "Hain zuzen ospatu zen Alemaniako Zientzialari eta Medikuen Elkartearen laurogeita hamaikagarren urteko eta Alemaniako Fisikari eta Matematikarien VI. batzarrarekin, elkarrekin egindakoa. Gödelek ekarritako hitzaldi larunbatean izan zen, irailaren 6an [1930], arratsaldeko 3etatik 3:20ak arte, eta, igandean, bilera amaitu zen lehen eguneko diskurtsoei buruzko mahai-inguru batekin. Azken ekitaldi horretan, abisatu gabe eta ia mindurik, Gödelek lasai-lasai esan zuen: «Norberak proposizioen adibideak ere eman ditzake (eta are Goldbach edo Fermat motakoen adibideak ere), zeinak egiazkoak izanik ere Matematika klasikoaren sistema formalean frogaezinak diren» [153]" (Dawson: 69)... Hilbert bera Königsbergen zegoen, baina ez Epistemologiako Biltzarrean. Mahai-inguruaren biharamunean, hasierako hitzaldia eman zuen, Alemaniako Zientzialari eta Medikuen Elkartearen aurrean, bere Naturerkennen und Logik hitzaldi ospetsua (Logika eta naturaren ezagutza), eta amaieran hau adierazi zuen: Izan ere, matematikariarentzat Ignorabimus ez da existitzen, eta, nire ustez, natur zientzietarako ere ez. Nire ustez, inork ez du arazo konponezinik aurkitu.arazo konponezinik ez dagoelako Ordea, ignorabimus zentzugabearen aurrean, gure kredoak dio: jakin behar dugu, jakingo dugu [159]'"(Dawson:71). Gödelen artikulua 1930eko azaroaren 17an jaso zen (cf Reid p. 197, van Heijenoort 1976:592) eta 1931ko martxoaren 25ean argitaratu zen (Dawson 1997:74). «Baina Gödelek aldez aurretik hitz egin zuen horretaz... 1930eko urrian, Hans Hahn-ek laburpen bat aurkeztu zuen Vienako Zientzien Akademian» (van Heijenoort:592); Laburpen hori eta artikulu osoa van Heijenoort: 583ff-en daude.
7. Era independentean eta aldi berean, Robert Lee Moore izeneko 19 urteko ikasle estatubatuar batek axioma multzo baliokide bat argitaratu zuen. Axioma batzuk bat datoz, eta Moore-ren sistemako axioma batzuk Hilbert-en teoremak dira, eta alderantziz.