hakank.blogg

Jag tyckte det var fascinerande med Cantor och Russel och Hilbert och Gödel, men det enda jag kommer ihåg är "Mängden av alla mängder som inte innehåller sig själv". Men det kanske räcker för att förstå att det inte är världens viktigaste upptäckt? :)

Det som Gödel nog är mest känd för är att han bevisade att det i ett tillräckligt stort matematiskt system (av en viss typ) antingen finns sanningar man inte kan bevisa eller att det finns motsägelser i det.

En engelsk version av Gödels skrift finns på http://home.ddc.net/ygg/etext/godel/godel3.htm , och det är definitivt inte lättsmält (jag kikade på skriften när jag läste logik men det är tungt, mycket tungt).

Se mer på Wikipediasidan http://en.wikipedia.org/wiki/G%F6del's_incompleteness_theorem

Om du inte läst den fantasktiskt underbart underbara boken "Gödel, Escher, Bach" av Douglas Hofstadter rekommenderas inte bara en utan flera läsningar av den. Den innehåller - förutom en massa olika ingångar som förklarar Gödels teorem - allt annat.

Den - för att göra en liten privat utvikning - förändrade radikalt min inriktning av intressen och är en stark bidragande orsak till att jag jobbar där jag jobbar och att jag jobbar med det jag jobbar med och att jag skriver det jag skriver som jag skriver.

Se mer om boken t.ex. på http://en.wikipedia.org/wiki/G%F6del%2C_Escher%2C_Bach

Den finns naturligtvis att köpa i en e-bokhandel: http://www.bokus.com/cgi-bin/more_book_info.cgi?ISBN=0140289208&pt=search_result

Hehe, den boken känner jag till mycket väl. Jag betraktar den med skräckblandad förtjusning utan att själv ha läst den. Det var nämligen den boken som höll på att leda till skilsmässa mellan mina föräldrar för sisådär 25 år sedan. Min far (astronom, fysiker och matematiker) blev så uppslukad av boken och alla idéer som den väckte att han tillbringade flera år med att sitta likt en zomibe med sin pipa vid matbordet och tänka diskreta tankar.

Jag är kanske för social för att köra lika långt ner i det diket, men ganska långt ändå. Jag tror definitivt att boken hamnar högt på en riskanalys över reella hot mot mitt och flickvännens fredliga samliv. Till och med strax ovanför bloggandet ;)

Jag har boken inom armlängds avstånd just nu. :-)

Henrik: Kul. Har du börjat läsa den eller är den för långt ifrån dig för det?

Vad gäller Goldsteins bok har den kommit i
svensk översättning på Nya Doxa. En recension
av boken kommer nästa år i Filosofisk
tidskrift.

Torkel: Ah, tack för tipset.

Det är alltså Ofullständighet - Kurt Gödels bevis och paradox, som nu läggs in i önskelistan.

Till alla andra: Om Torkel är den Torkel Franzén jag tänker på, så har han skrivit en hel del om just Gödel (se vidare hans hemsida) och har även skrivit en bok i ämnet Godel's Theorem - An Incomplete Guide to Its Use and Abuse (som jag dock inte läst).

>Det är alltså Ofullständighet - Kurt Gödels >bevis och paradox, som nu läggs in i >önskelistan.

Goldsteins bok är väl att märka genomusel vad
gäller beskrivningen av hur Gödel kom fram till
ofullständighetssatsen och vad gäller allehanda
logiska sammanhang.