Näytetään tekstit, joissa on tunniste Gödel. Näytä kaikki tekstit
Näytetään tekstit, joissa on tunniste Gödel. Näytä kaikki tekstit

sunnuntai 16. tammikuuta 2022

Matematiikan historiassa 8. syyskuuta

Vuonna 1588 syyskuun 8. päivänä syntyi Mainessa, Ranskassa Marin Mersenne. Hän oli ranskalainen teologi, matemaatikko ja musiikin teoreetikko ja teki tärkeää työtä akustiikan parissa. Vaikka oli itsekin matemaatikko, jälkipolvet muistavat hänet kuitenkin paremmin kirjeenvaihdostaan 1600-luvun tärkeimpien tiedemiesten kanssa.

Syyskuun 8. päivänä vuonna 1930 David Hilbert piti kuuluisan radiopuheensa Königsbergissä. 68-vuotiaana hän oli jäämässä eläkkeelle Göttingenin yliopistosta. Tämä oli hänen uransa toinen suuri puhe. Se sisältää kuuluisan lausahduksen “Wir mussen wissen. Wir werden wissen.” (Meidän täytyy tietää. Me tulemme tietämään.) Tämä toiveikkuutta ja matematiikan mahtavuutta uhkuva lause on kaiverrettu myös hänen hautakiveensä. Tuolloin oli vallalla vielä käsitys, että kaikki matematiikka ja sen myötä muukin oli ratkaistavissa logiikan täsmällisyyden avulla. Merkillistä oli, että juuri edellisenä päivänä Kurt Gödel oli romuttanut tuon ajatuksen esittämällä epätäydellisyyslauseensa.

Kuvat: Wikipedia

Matematiikan historiassa 7. syyskuuta

Vuonna 1930, syyskuun 7. päivänä Kurt Gödel esitti, keskusteluissa matematiikan perusteista Wienin Piirissä, kuuluisan teoreemansa aritmetiikan epätäydellisyydestä: on olemassa tosia lauseita, joita ei voida todistaa. Vuotta myöhemmin, vuonna 1931 Gödel julkaisi epätäydellisyysteoreemansa saksalaisessa julkaisussa otsikolla "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme".

Kuva: Wikipedia

Matematiikan historiassa 6. syyskuuta

Vuonna 1930 syyskuun 6. päivänä Kurt Gödel, loogikko, josta välittömästi tuli kuuluisa, esitti Deutsche Mathematiker-Vereinigungin vuosittaisessa kokoontumisessa Königsbergissä ensimmäisen kertaluvun calculuksen täydellisyyslauseensa. Gödel oli ratkaissut tämän ongelman tohtorinväitöskirjassaan Hans Hahnin johdolla vuonna 1929. Vuotta myöhemmin Gödel todisti epätäydellisyyslauseensa.

Kuva: Wikipedia

tiistai 18. toukokuuta 2021

Matematiikan historiassa 18. toukokuuta

Vuonna 1872 toukokuun 18. päivänä syntyi Walesissa tunnettu brittiläinen matemaatikko, loogikko, historioitsija ja filosofi Bertrand Russel. Hän kuului yhteen Britannian näkyvimmistä aristokraattisista perheistä.

Russel johti brittiläistä "idealismin vastaista kapinaa" 1900-luvun alussa. Häntä pidetään yhtenä analyyttisen filosofian perustajana yhdessä edeltäjänsä Gottlob Fregan ja suojattinsa Ludwig Wittgensteinin kanssa ja häntä pidetään laajasti 19. vuosisadan johtavana loogikkona. Hän toimitti yhdessä A. N. Whiteheadin kanssa Principia Mathematican, joka oli yritys perustaa matematiikka logiikan pohjalle. Sivulla 378 he saavat osoitettua, että 1+1=2, mitä ennen oli määriteltävä operaatio nimeltä yhteelasku :). Ja sitten tuli Kurt Gödel!

Hänen työllään on ollut huomattava vaikutus logiikkaan, matematiikkaan, joukko-oppiin, kielitieteeseen ja filosofiaan, erityisesti kielten, tietoteorian ja metafysiikan filosofiaan.

Kuva: Wikipedia

sunnuntai 9. toukokuuta 2021

Matematiikan historiassa 28. huhtikuuta

Vuonna 1686 huhtikuun 28. päivänä Newton esittelee enimmäisne kerran käsikirjoitustaan Philosophiae Naturalis principia mathematica Royal Societylle.

Vuonna 1693 huhtikuun 28. päivänä kirjeessään L'Hospitalille Leibniz selvittää tutkimuksiaa determinanteista. Tämä oli viisikymmentä vuotta ennen Crameria, joka oli myöhemmin determinanttien kehittämisen voimahahmo. Leibnizin työ ei tähän vaikuttanut, koska se julkaistiin vasta vuonna 1850 hänen teoksessaan Mathematische Schriften.

Vuonna 1906 huhtikuun 28. päivänä syntyi itävältalaissyntyinen yhdysvaltalainen matemaatikko Kurt Gödel. Hän oli loogikko, joka tunnetaan parhaiten epätäydellisyysaksiomastaan vuodelta 1931. Hänestä kirjoitin tarkemmin mm. 14.01.

Kuvat: Wikipedia

tiistai 27. huhtikuuta 2021

Matematiikan historiassa 2. huhtikuuta

Vuonna 1934 huhtikuun 2. päivänä syntyi yhdysvaltalainen matemaatikko Paul Joseph Cohen. Hän osoitti vuonna 1963, että valinnan aksioman ja kontinumihypoteesi ovat riippumattomia joukko-opin muista aksiomeista.

Cohenista kirjoitin myös 23.03.

Huhtikuun 2. päivänä vuonna 1948 Kurt Gödel sai USA:n kansalaisuuden. Todella pikkutarkkana matemaatikkona hän oli etukäteen tutkinut konstitutiota jä löytänyt sieltä ristiriidan. Seremoniaan mentäessä hänen ystävänsä Einstein ja Oskar Morgenstern yrittivät pitää hänen mielensä muissa asioissa. Kun tuomari kutsui heidät huoneeseensa (nähdäkseen Einsteinin) ja kysyi oliko Gödelillä jotakin sanottavaa, hänen ystävänsä saivat vain suurin ponnistuksin käännettyä keskustelun pois ristiriidasta.

Kuvat: Wikipedia

torstai 22. huhtikuuta 2021

Matematiikan historiassa 14. maaliskuuta

Maaliskuun 14. päivänä vuonna 1879 syntyi Ulmissa, Saksassa Albert Einstein. Hän kirjoitti vuonna 1905 tutkielman, jossa oli teoria, jota nykyään kutsutaan erityiseksi suhteellisuusteoriaksi. Tuohon aikaan hän työskentieli virkailijana Bernin patenttitoimistossa.

Einsteinin syntymäpäivänä 14.03. vuonna 1951 Kurt Gödel ja Julian Schwinger jakoivat ensimmäisen Einsteinin palkinnon (Einstein Award).

Julian Schwinger (12.02.1918 - 16.07.1994) formuloi kvanttielektrodynamiikan ja siten yhteensovitti kvanttimekaniikan ja Einsteinin erityisen suhteellisuusteorian.

Gödel ja Einstein olivat hyviä ystäviä kun molemmat olivat Princetonissa.

Kuva: Wikipedia

lauantai 6. helmikuuta 2021

Matematiikan historiassa 6. helmikuuta

Helmikuun 6. päivänä vuonna 1930 Kurt Gödel sai filosofian tohtorin arvonsa Wienin yliopistossa. Työn ohjaajana oli Hans Hahn. Gödel osoitti ensimmäisen kertaluvun logiikan (predikaattilogiikan) täydellisyyden, ts. että jokainen validi ensimmäisen kertaluvun lause on todistettavissa.

Gödelistä kiroitin myös 14.01.2021.

Kuva: wikipedia

torstai 14. tammikuuta 2021

Matematiikan historiassa tänään 14. tammikuuta

Tammikuun 14. päivänä vuonna 1978 kuoli itävaltalais-yhdysvaltalainen matemaatikko ja filosofi Kurt Gödel. Häntä pidetään yhtenä kaikkien aikojen merkittävimmistä loogikoista. Häntä on kuvattu ”suurimmaksi loogikoksi Aristoteleen jälkeen”. Parhaiten hänet tunnetaan epätäydellisyyslauseestaan (1931), joka mullisti matematiikan tutkimuksen.

Itävaltalainen Gödel vaikutti Euroopassa asuessaan Wienin piirissä, jossa filosofit ja luonnontieteilijät kiistelivät totuuden olemuksesta. Toisen maailmansodan alettua Gödel katsoi parhaimmaksi paeta natseja matkustamalla vaimonsa kanssa Venäjän ja Japanin kautta Yhdysvaltoihin. Uudessa kotimaassaan hän asettui New Jerseyn Princetoniin ja aloitti työt Institute for Advanced Studyssa. Gödel asui vaimonsa kanssa New Jerseyssä loppuelämänsä. Yhdysvalloissa Gödel vetäytyi omiin oloihinsa ja karttoi julkisuutta. Princetonin-vuosinaan Gödel ystävystyi Albert Einsteinin kanssa. Einstein hakeutui Gödelin seuraan ja piti tätä vertaisenaan.

Vaimo Adele Gödel vammautui 1977 eikä enää kyennyt laittamaan ruokaa miehelleen, ja siksi Gödel lakkasi syömästä, koska hän pelkäsi tulevansa myrkytetyksi. Hän kuoli 14. tammikuuta 1978 aliravitsemukseen. Kuollessaan hän painoi noin 30 kiloa.

Katso myös linkki.

Kuva: Wikipedia

keskiviikko 2. joulukuuta 2020

Matemaatikon ajatuksia

Kun matemaatikko tai filosofi kirjoittaa hämäriä syvllisyyksia, voi huoletta oletta hänen puhuvan roskaa.

- Alfred North Whitehead teoksessa An Introduction to Mathematics, 1911

A. N. Whitehead oli englantilainen matemaatikko, joka syntyi 15. helmikuuta 1861 Ramsgatessa, Kentissä, Englannissa ja kuoli 30. joulukuuta 1947 Cambridgessa, Yhdysvalloissa.

Ennen intensiivistä ja vuosikymmeniä kestänyttä yhteistyötä Bertrand Russelin kanssa matematiikan perusteita käsittelevän Principia Mathematican parissa Whitehead julkaisi teoksen Universal Algebra, jossa hän jo oli tutkinut symbolisen päättelyn tyyppejä.

Principia Mathematican, joka julkaistiin 1910 - 1913, piti olla kirja, joka mahdollistaisi kaiken matemaattisen päättelyn kirjaamisen symbolein ja siten matemaattisten todistusten mekaanisen muokkaamisen. Teos oli yksi peruste David Hilbertin optimistiseen lausahdukseen "Wir müssen wissen. Wir werden wissen". Tarinat kertovat, että tuon Principian luki ja ymmärsi vain yksi ulkopuolinen ihminen, Kurt Gödel, joka teoksen luettuaan esitti kuuluisan epätäydellisyyslauseensa. Russel päätti työnsä Principian parissa 1913, Whitehead sensijaan yritti laatia vielä sarjaan neljännenkin osan, joka olisi käsitellyt geometriaa, mutta työ ei tullut koskaan valmiiksi.

Myöhemmin Whiteheadista tuli yhdysvaltalainen filosofi, joka kirjoitti mm. tieteenfilosofiasta, fysiikasta, metafysiikasta ja koulutuksesta.

Kuva: en.wikipedia.com

sunnuntai 22. marraskuuta 2020

Matemaatikon ajatuksia

"Matematiikka on peli, jota pelataan paperilla tietyillä helpoilla säännöillä ja merkityksettömillä symboleilla"

- David Hilbert

David Hilbert syntyi 23. tammikuuta 1862 Preussin kuningaskunnassa Königsbergissä tai aivan sen lähellä Wehlaussa, asiasta ei ole täyttä varmuutta. Häntä pidetään yhtenä 1800- ja 1900-lukujen merkityksellisimmistä matemaatikoista. Hän työskenteli hyvin laajalla alueella matematiikassa: invariantti-teoriassa, variaatiolaskennassa, kommutatiivisessä algebrassa, algebrallisessa lukuteoriassa, geometrian perusteissa, operaattoreiden spektraaliteoriassa ja sen sovelluksissa integraaliyhtälöihin, matemaattisessa fysiikassa ja matematiikan perusteissa, erityisesti todistusteoriassa.

Tunnettu esimerkki Hilbertin johtajuudesta aikansa matemaatikoiden joukossa on hänen esiintymisensä vuonna 1900 matemaatikkojen kansainvälisessä konferenssissa Pariisissa. Siellä hän esitti kuuluisat 23 probleemaansa, jotka sitten vaikuttivat erittäin suuresti matematiikan tutkimuslinjoihin 1900-luvulla ja osa vaikuttaa yhä edelleenkin.

Kun Hitler nousi valtaan 1933, suuri joukko Göttingenin huippuyliopiston professoreista siiryi Yhdysvaltoihin. Vuotta myöhemmin Hilbert osallistui juhlapäivällisille, jossa hänet oli sijoitettu uuden opetusministerin, Bernhard Rustin viereen. Rust kysyi, oliko Matemaattinen Instituutti todella kärsinyt niin paljon juutalaisten poistamisesta. Hilbert vastasi: "Kärsinyt? Sitä ei enää ole".

Hilbertin omien tutkimusten sekä Russelin ja Whiteheadin Principia of Mathematics -teoksen myötä hän oli vakuuttunut, että lopulta kaikki matematiikan väitteet voidaan mekaanisesti todistaa. Ja niin hän radiopuheessaan 8. syskuuta 1930 , vastalauseena latinalaiselle lauseelle "Ignoramus et ignorabimus" totesi "Wir müssen wissen. Wir werden wissen". (Ignoramus et ignorabimus on latinankielinen lause, joka tarkoittaa: "Emme tiedä emmekä tule tietämään." Lause ilmaisi erään 1800-luvulla esitetyn käsityksen tieteellisen tiedon rajoista, ja sen esitti saksalainen fysiologi Emil du Bois-Reymond teoksessaan Über die Grenzen des Naturerkennens vuonna 1872.) Järkytys oli suuri, kun heti tämän jälkeen Kurt Gödel julkisti epätäydellisyyslauseensa, joka romutti kaiken tämän!

Hilbert kuoli 14. helmikuuta 1943 natsien ajan Saksassa, Göttingenissä. Hänen hautajaisissaan oli läsnä vain kymmenkunta surijaa ja vain kaksi Göttingenin yliopiston edustajaa. Uutinen hänen kuolemastaann levisi maailmalle vasta kuusi kuukautta hänen kuolmansa jälkeen. Hänen hautakivessään on teksti: Wir müssen wissen. Wir werden wissen.

Jälkikommentti: aloitin tämän kirjoituksen selaamalla erästä aforismikirjaa ja sieltä tuon mietelauseen kirjoitin. Nyt tätä kirjoitusta laatiessani kävin läpi myös jonkin verran lähteitä muualta ja siellä todetaan Hilbertin 1919 lausuneen (varmaankin alunperin saksaksi): Mathematics is not like a game whose tasks are determined by arbitrarily stipulated rules. ( Hilbert, D. (1919–20), Natur und Mathematisches Erkennen: Vorlesungen, gehalten 1919–1920 in Göttingen. Nach der Ausarbeitung von Paul Bernays (Edited and with an English introduction by David E. Rowe), Basel, Birkhauser (1992).

Lienee suomentajalle tullut aikanaan virhe!

Kuva: Wikipedia