Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
11
gotrwało,zanimstanęłazpowrotemnawmiarępewnych
fundamentach.
Chociażlogikaniedodajenicnowegodotwierdzeń,
wktórychznajdujezastosowanie,nieznaczytojeszcze,
żeniepozwalanazdobywanienowejwiedzy.Najlepszym
przykłademjestznowumatematyka:wnowoczesnejfor-
miewszystkietwierdzeniawyprowadzasięzprostychak-
sjomatów.Toznaczy,żematematykaniedodajedotakich
przesłaneknicodsiebie,wszystkoodpoczątkuzawierasię
wowychniewinniewyglądającychzałożeniach.Wielkie
twierdzenieFermata1,hipotezaPoincarégo2-całaspekta-
kularnawiedzamatematycznaostatnichczasów,doktórej
genialneumysłydochodziłylatami,towkońcuntylko”lo-
gikastosowana.
Zajmowaniesięprawamilogiki,aprzynamniejichpodsta-
wami,dobrzezrobirównieżniematematykom.Zmuszają
onedopewnegorodzajunhigienyumysłowej”
,dościsłe-
goformułowaniamyśli.Wrozdzialetrzecimwymieniam
25nieścisłychsposobówargumentacji,paralogizmylo-
giczneiinne,zktórymicodzienniemamydoczynienia
wpopularnychprogramachpublicystycznych.
1
WielkietwierdzenieFermata-twierdzenie,którebrzmi:ndlaliczby
naturalnejn>2nieistniejątakiedodatnieliczbynaturalne,które
spełniałybyrównaniexn+yn=zn”
,sformułowanew1637rokuprzez
francuskiegomatematykaPierre‘adeFermata(1601-1655),aopu-
blikowanebezdowoduw1670roku.Ponad300lattwierdzenieto
opierałosięwszelkimpróbomdowoduwogólności.Dowódzostał
ostatecznieprzeprowadzonyw1994rokuprzezangielskiegomate-
matykaAndrewJohnaWilesa(przyp.red.).
2
HipotezaPoincarégo-twierdzenietopologiisformułowane
w1904rokuprzezfrancuskiegomatematyka,fizykaifilozofana-
ukiHenriegoPoincarégo(1854-1912).Niemalprzezstolattwier-
dzeniategonieudawałosięaniudowodnić,aniobalić.Dowód
twierdzeniasformułowałrosyjskimatematykGrigorijPerelmann
w2003roku(przyp.red.).
