P2: Jumala on määritelmien mukaan täydellinen, ristiriidaton, kaikkivoipainen päättelyjärjestelmä.
J: Siispä Jumalaa ei ole olemassa.
Tämä ei ole nähdäkseni kovin vakuuttava argumentti. Mutta on hyvä katsoa miksi. Sillä se opettaa hyvin paljon kaikesta muusta. Ensimmäinen huomio on se, että se ei ole sisäisesti ristiriitainen lausuma. Premisseistä seuraa johtopäätös. Lisäksi Gödelin epätäydellisyysperiaatteeseen viitataan hyvin usein teologien parissa. He korostavat sillä yleensä sitä että tiede on rajallista. Ja siksi tulisi ikään kuin myöntää tieteen epätäydellisyys. Tässä he usein tunnustavat että Gödelissä on pieni heikkous. Nimittäin se, että se koskee vain järjestelmiä joissa on lukuteoria. Ja näin se voitaisiin kenties kiertää ohittamalla koko lukuteoria. Mutta he toisaalta uskovat että Gödel pätee myös muualla, siis myös luonnontieteissä. Ja tässä oletuksin minäkin tässä nyt lähden liikkeelle. (On ihan hyvä antaa vähän löysää tässä.)
Aloitetaan jumalatodistusteologiasta.
Koska huomio on nyt vahvistanut Premissi 1 nojaa koko päätelmä sen varaan, että onko Premissi 2 paikkaansapitävä. Selvästi siinä on jotain oleellista. Moni väittää että juuri Jumalan kaikkivoipuus olisi jotain joka ikään kuin tekisi siitä jotain jota tiede ei voi käsittää. Mutta jos tiede on aksiomaattinen ja matemaattinen järjestelmä - kuten teologit olettavat väittäessään Gödelin olevan kun soveltavat sitä tieteenfilosofiaan - niin siinä tapauksessa voitaisiin täysin sanoa että tiede nimenomaan kykenisi täysin falsifioimaan kaikkivoivan Jumalan. Argumentilla on ote omnipotenssiin.
Mutta moni onkin enemmänkin sitä mieltä että tosiasiassa P2 ei oikesti kuvaa relevantisti Jumalaa. Tämä muistuttaa alkusyyargumenteissa olevaa erimielisyyttä joka syntyy siitä että tiedemaailma kuvaa miten singulariteetin aikaansaama kvanttivaahto tai muukin olisi ikään kuin Jumala. Jolloin argumentin koherenttius ei tyydytä koska premissistä ei olla samaa mieltä. Jumala ei ole jotain joksi tuollaista nyt kutsutaan yleensä. Jumala on kenties luoja lähes väistämättä yhdenlainen alkusyy, mutta kaikki alkusyyt eivät välttämättä ole Jumalia. Ja tässä mielessä ateistisen Gödel -argumentin teho heikkeneekin jo huomattavasti.
Sillä esimerkiksi ristiriidattomuus on jotain josta käydään ankaraa keskustelua. Teologien mielipiteitä on esimerkiksi jakanut klassinen lapsen esittämä kysymys "Voiko Jumala tehdä niin suuren kiven että ei kykene nostamaan sitä?" Ja tässä kohden esille nousee se, että moni tosiaan näyttää korostavan Jumalan ristiriidatonta luonnetta. Itse asiassa teologiassa on hyvin vahva Jumalan Logos -luonnetta korostava suuntaus jossa ratkaisu ongelmaan on juuri se, että Jumala ei tee ristiriitaisia asioita ja että kaikkivoipuus ei tarkoita sitä että voi tehdä ristiriitaisia asioita vaan juuri sitä että voi tehdä kaikkea mikä on koherenttia. Tämä kertoo että Gödel -argumentti on kuitenkin vanginnut jotain hyvin oleellista. Ja tätä kautta voidaan huomata että esimerkiksi Leibnizin "paras mahdollinen maailma" -ajatus vaatii usein turvakseen selityksiä siitä että vain sisäisesti koherentit asiat ovat mahdollisia. Esimerkiksi luonnonlakeja rikkomatta ei voida tehdä vasaraa joka naulaisi nauloja mutta ei rikkoisi etusormea, joten täytyy rajoittua siihen mitä koherentit säännöt sallivat ja antaa ihmisille vaikka kipuaisti. (Ja ratkaista näin kärsimyksen ongelmaa.) Samoin Intelligent Designin parissa tämä kohta korostaa kaikkia niitä argumentteja joissa esimerkiksi William Dembski korostaa että maailmassa kohteet ilmentävät CSI -nimistä informaatiota joka on ominaisuus jota voi siirtyä vain tasoilta jossa tätä CSI -ominaisuutta on enemmän. Tämä ajatus tekee Jumalasta hyvin suuressa mielessä suuren kalkyylikoneiston. Joten itse asiassa argumentilla on yllättävissä määrin raateluvoimaa. Se selvästi kumoaa tietyt jumalamallit jonain josta matematiikka todistaa sen että niitä ei voi olla.
Eipropositionaaliseen Jumalaan.
Kuitenkin tämä on selvästi hyvin partikulaari. Ja todistuksen suurin heikkous onkin juuri siinä että P2 argumentti toimii eräänlaisena matemaattisena hämäyksenä. Se latistaa "kaikkivoipuuden" hyvin eksaktiin määritelmään. Ja vaikka tämä kenties onkin yksi tämän sanan merkityssisältö, niin se ei kata kaikkia - tai moniakaan - tapoja katsoa tätä aspektia. Tämänlaatuinen temppu on usein vakuuttavaa. Mutta se on myös mahdollisesti ihan täydellistä huijausta ja puijaushumpuukia.
1: Ja huijaus ei ole liioiteltua. Se tunnetaan esimerkiksi ennustajilla menetelmänä jossa ensin tehdään epämääräinen ennustus. Ja sitten kun jotain tapahtuu, niin jälkikäteen selitetään miten asiat sopivat tähän kuvaukseen. Tässä helposti unohtuu että muitakin tulkintoja on. Joten tämä "yksi arvaus" pitää itse asiassa sisällään "tosi monta erilaista arvausta". Ratkaisu on cherry pickingiä joka on niin ovelasti tehty että sitä voi olla vaikeaa nähdä. Tämä on toki yleistä myös esimerkiksi kun Pyhiä Kirjoja tulkitaan. Monet Buddhalaiset esimerkiksi mielellään lukevat buddhalaisia kirjoituksia ja täsmentävät miten vertauskuva voi tarkoittaa vaikka kvanttifysiikan löytöjä. Tämä toki sopii määritelmään, mutta matkan varrella on tehty täsmennytys jossa ohitetaan se että tämä alkuperäinen vertauskuva oli paljon monimerkityksellisempi. Ja tämän epätäsmällisyyden vuoksi argumentin uskottavuus heikkenee merkittävästi. Ateistin Gödel -temppu on tältä kohden melko tavallinen huijauskikkakutonen johon turvaudutaan kun halutaan vaikuttaa uskottavilta ja mitään kunnollista substanssia ei ole.
Ja itse asiassa "Voiko Jumala tehdä niin suuren kiven että ei kykene nostamaan sitä?" -kysymykseen on vastattu myös mystisesti. Siinä ajatellaan että logiikka on Jumalan rinnalla heikko. Eli Jumala nimenomaan kykenee ihmeisiin joissa vasara ei riko etusormea vaikka se voikin rikkoa nauloja. Eli tämänlaatuinen ihme ei vain ehkä tapahdu usein mutta onkin täysin hyvin Jumalan ulottuvilla. (Joka mahdollisuutena palauttaa pahan ongelman kipuaistiratkaisun lähettäjälle. Leibnizin kannattajat joutuvat siis ihan oikeasti kiistämään a priorisesti tämänlaiset ihmeet täysin jonain jota ei voi tapahtua. Koska jos Jumala pelastaa yhden etusormen, miksi Hän ei pelastaisi niitä kaikkia?)
Tästä voidaan päästä siihen että "Jumalalla ei ole ominaisuuksia" klassisessa mielessä. Tässä kohden esille nousee kuitenkin se ongelma jota Ilkka Pyysiäinen on korostanut. Jumalan olemassaolokin muuttuu joksikin josta on aivan yhtä väärin sanoa että "Jumala on olemassa" kuin "Jumala ei ole olemassa". Käytännössä tämän Jumalanäkemyksen hyväksynyt on sinänsä suurissa ongelmissa että hänen tulee ottaa vakavasti kantaa muutamaan asiaan. Esimerkiksi : Jos Jumala ei ole kielen kuvattavissa, niin miksi tästä kirjoitetaan kirjoja. Miksi vaivautua sanomaan jostain josta ei voi puhua? Miksi on hyllymetreittäin kannanottoja jos kantaa ei voi ottaa? Miksi siitä pitäisi keskustella? Lisäksi jos tämä näkemys estää rationaalisen ateismin esittämisen, koska ateisti joutuisi kumoamaan jotain eipropositionaalista, niin miten teismi on rationaalista. Ja jos uskovainen esittää kannanottoja joissa "Jumala on rakkaus" tai esittää että "Jumala loi maailman" tai "Jumala pelastaa tuonpuoleiseen ihmisten sielut heidän kuolemansa jälkeen" on kyseessä selvästi vaikutussuhteita joissa on vahva attribuuttien henki. Ovatko kaikki nämä näkemykset roskaa joka pitäisi kieltää? Ja jos ei, niin miksi tämä eipropositionaalisuus olisi mikään este ateistisille argumenteille ja kannanotoille?
Mysteerisyys on Gödelhuomautuksen ulkopuolella. Mutta se on sitten toisten argumenttien alla. ; Jumala-argumentissa usein korostetaan miten ateistinen argumentti on niin tarkkarajainen. Tässä ei usein huomioitava että tosiasiassa Jumalakysymyksessä on monia keskenään ristiriitaisia ja erilaisia näkemyksiä jotka voidaan listata muotoon A, B, C, D. Ja jos ateisti kumoaa jokaisen näistä eri argumenteilla, ei yksikään argumentti tehoa jokaiseen kohtaan. Mutta silti teistille ei jäisi kiveä kiven päälle. Tätä vaihtoehtoa läpikäydään hämmästyttävän vähän kun ateistien argumenttien "tarkkarajaisuutta" mietitään. (No, rehellisesti sanoen olen itsekin ollut vähän vastahankaan tässä kysymyksessä. Ja korostanut että ateisti voi falsifioida partikulaareja Jumalia. Ja monet näistä ovat jotain johon moni ihminenkin uskoo, joten monien uskonto kaatuu tai ainakin pitäisi kaatua siihen. Mutta siitä huolimatta generaali ajatus Jumalasta olisi jotenkin suojassa.) Tämän blogauksen kannalta relevanttia on kuitenkin että on selvästi suosittu teologinen näkemys johon Gödel -kortti ei toimi. Niitä voi olla lukuisiakin. Mutta tässä kohden on selvää että argumentti on koherentti, mutta ei kovin kaikenkattava. Ja siksi ei täydellinen. (Anteeksi intended pun tässä kohden.)
Mutta mitä tässä itse asiassa tehdään?
Logos -jumalasta mainitessani en voi olla nostamatta esiin niitä teologian suuntauksia joissa uskotaan warrantiin. Tässä uskotaan että Jumala on antanut meille aistin ja älyn jotka ovat luotettavia. Ne siis kykenevät tuottamaan täydellistä tieteellistä tietoa. Voitaisiin kysyä että osuuko ateistin Gödel -kortti siihen? Voisi sanoa että kyllä, jos tiede on matematiikkaa. Tämä muistuttaa itse asiassa siitä että kun ihmisen tieteen rajallisuutta korostetaan, helposti unohdetaan mahdollisuus että tämä voisi koskea myös sitä mitä Jumala voi meille antaa. Ja rajallisina ihmisinä tuntuu mahdolliselta että Jumala ei Gödel -mielessä ole antanut meille kykyä luottaa tietoomme täydellisesti. Siitä huolimatta että Plantinga on arvioinut warrantin todennäköisyyksiä nimenomaan siten että hän on listannut erilaisia asioita joihin uskoa ja katsonut että millä todennäköisyydellä edes yksi niistä olisi väärin.
Mutta laajemmassa mielessä argumentti ei itse asiassa tarkoita kovinkaan paljoa. Sillä se nähdäkseni nojaa hyvin virheelliseen ajatukseen tieteestä. Olen usein korostanut sitä miten skientismin kriitikoilla on pakkomielle loogiseen positivismiin. Ja skientismin mahdottomaksi todistaneen Gödel -argumentaation kohdalla voidaan sanoa että tehdään juuri sama virhe kuin tehdään silloin kun kuvitellaan että falsifioidaan Jumala epätäydellisyyslauseen avulla. Argumentti on hyvin partikulaari. Se tehoaa loogiseen positivismiin. Mutta valitettavasti juuri kukaan ei nykyään kannata loogista positivismia, ainakaan siinä muodossa missä tämänlaatuinen kritiikki olisi relevanttia.
1: Ja mikä surullisinta, Gödeliä käytetään vielä enemmän väärin jos ajatellaan että se todistaa että nimenomaan ateismi olisi kannanotto jota ei saataisi ja voitaisi tehdä. Gödel ei nimittäin sano oikein mitään joka kertoisi yksittäisistä todistettavista lauseista. Hän sen sijaan sanoo todistusjärjestelmästä laajana kokonaisuutena. Todistus kertoo että osa järjestelmän tosista lauseista ei ole todistettavissa järjestelmän sisältä, vaan siihen vaaditaan jotain toista järjestelmää. Tästä vedetään aika pitkälle jos väitetään että sen on oltava juuri tietyn osan. Miksi kyseessä on juuri ateismi eikä gravitaatioteoria? Miten voimme luottaa menevämme kauppaan ja sanoa siitä mitään perusteltua? Siksi että kyseessä ei ole tieteellinen ajattelu vaan arkiuskomusten eitieteellinen esittäminen? Eli koska ollaan täydellisessä tietorelativismissa? Vai siksi että oikeasti ihmisillä on kaksoisstandardi joka sallii tieteen pitävän paikkaansa gravitaatiovakion ja GPS -paikannukseen liittyvän tieteen kohdalla ja vihollisena onkin sitten se paha ateismi jota tässä halutaan piinata ja siksi argumentti kohdistetaan omituisella tavalla joka ei ole argumentatiivisesti pätevä? Valitettavasti jos Gödelin epätäydellisyysperiaate muuttuu demarkaatiokriteeriksi joka rajaa ateismin aksiomaattisesta systeemistä, niin hommassa ei ole enää mitään järkeä. Gödel sentään sanoo jotain tieteellisestä maailmankuvasta kokonaisuutena. Nimittäin sen voiko sellainen olla deduktiivinen ja täydellisesti todistettu järjestelmä jossa ei ole pätkääkään metafyysisiä oletuksia. Siinä mielessä sillä on pieni vaikutus tieteelliseen maailmankuvaan. Mutta ateismi tähän päälle ei sitten oikeastaan muuta yhtään mitään. Ateismi on tämän periaatteen nojalla samoissa hankaluuksissa kuin gravitaatiovakio. Josta taas harva Gödelinheiluttelija ei ole valmis luopumaan...
Jostain syystä teologit ovat jämähtäneet ajatukseen jossa tiede on matematiikkaa. Ja että kaiken täytyy siksi olla deduktiivista. Ajatuksena on että sen ulkopuolella mitä tiede ei matemaattisesti todistaa fysikaalisen todellisuduen ilmiöksi on sitten metafysiikkaa tai jotain jossa on seassa metafysiikkaa. Ja jos metafysiikkaa on yhtään niin tiede on todistanut itsensä mahdottomaksi ja puutteelliseksi ja huonoksi. Ja tämä sitten jotenkin antaisi gloriaa teologialle. (Vaikka tosiasiassa teologien pitäisi todistaa että metafysiikka tekee tämän kaiken laadukkaammin ja paremmin. Mistä vaietaan hämmästyttävällä innolla.)
Tiede kuitenkin enemmänkin käyttää matemaattisia apuvälineitä kuin noudattaa matematiikan sääntöjä, kuin matematiikkaa. Tämä näkyy itse asiassa jo Popperin perusteluissa. Hänhän kritisoi loogista positivismia ja ehdotti sille vaihtoehtoa. Ja hänen perusargumenttinsa oli siinä että induktio ei palaudu deduktioksi. Ja tiede taas harjoittaa nimenomaan induktiivista logiikkaa. Tämä pakotti luopumaan metafysiikattoman loogisen positivismin hybrishengestä. Kukaan ei nykyään usko että tiede olisi puhdasta matemaattista todistamista. Popperinkin ideana on vain se, miten induktio voidaan kumota deduktiivisesti. Modus tollens -rakenne tarkoittaa että voimme varmasti tietää että jokin induktio on kohdannut vastaesimerkkinsä joka todistaa tämän induktion mahdottomaksi. Ja siksi induktiot jotka kestävät testejä eivätkä kumoudu, korroboroituvat. Tämä on kenties jotain jota voi kutsua tieteelliseksi todistamiseksi. Mutta se ei ole matemaattista todistamista.
1: Huomio on järkyttävä kun tiedostaa miten moni skientismin kriitikko heiluttaa sekä Gödeliä että induktion onglemaa tieteen rajallisuutta korostaessaan. Kun tietorelativismi on tärkeintä, ei kannata miettiä että jos tiede on induktio ja induktion ongelma paljastaa että induktiota ei voi täysin palauttaa deduktioon vaan aina jää deduktiivisesti todistamatonta metafyysistä jäännettä, niin miten ihmeessä matemaattisia, puhtaasti aksiomaattis-deduktiivisia järjestelmiä koskevat rajoitteet olisivat yht'äkkiä lavennettavissa johonkin joka hyväksyy induktiot todistamisessa riittävän hyvinä...
Itse asiassa jos katsotaan modernia tieteenfilosofiaa, joka siis on yli sata vuotta vanhaa, niin tosiasiassa näitä onglemia on käsitelty hyvinkin ankarasti ja paljon. Ja ne on huomioitu. Esimerkiksi Imre Lakatos on korostanut tutkimusohjelman hedelmällisyyttä tieteen kriteerinä. Ja hän käsittelee matematiikan ja tieteen suhdetta sellaisessa teoksessa kuin "Proofs and Refutations". Jossa hän nimenomaan haastaa matemaattisen formalismin ehdottomuuden. Hän korostaa määritelmien täydentymistä ja korjailua. Ja kaikkea sellaista jossa matematiikka on renki mutta ei isäntä. ; Itse asiassa Lakatos nimenomaan nojaa matematiikan epätäydellisyyden tunnustamiseen luodessaan oikeutusta omalle ajattelutavalleen.
Tämänlaatuisessa näkemysmaailmassa tieteellinen maailmankuva voitaisiin oikeasti määrittää joksikin aivan muuksi kuin klassisen "epistemologia vs. metafysiikka" -jaottelun mukaiseksi. Kysymyksessä voisi olla vaikkapa se, että "tieteellinen maailmankuva on sellainen jossa on vain sellaisia elementtejä jotka ovat hedelmällisiä tutkimusohjelmia tai sellaisten kannalta relevantteja." Tämä ei selvästi ole jotain "jota ei voi olla kenelläkään". Sillä se ei vaadi sitä että jokainen kohta olisi deduktiivisesti todistettu. Tai edes hyvin vankan todistekasan alla, tutkimusohjelman hedelmällisyys ei vaadi tätä. Tämä näkökanta antaa itse asiassa hyvin oikeuden olla skeptikko ja jossain määrin myös ateisti. Sen sijaan tässä näkökulmassa on hyvin vaikeaa olla teisti. Sillä vaikka Jumala ei kenties ole ristiriidassa tieteen kanssa, se ei selvästi ole tieteellinen tutkimusohjelma. (Paitsi kreationistit yrittävät siitä sellaisen tehdä joten se teoriassa voisi tämänlaisen lähestymisen kannalta olla sellainen.)
1: Skientismin naurettavuutta korostavat ihmiset eivät jostain syystä nosta tätä näkökulmaa vastaan vankkaa argumentaatiota. Ei, vaikka se olisi tieteellisen maailmankuvan kannalta relevantimpaa kuin Loogisen positivismin, "kuolleen hevosen" intobashailu, "hakkaaminen". On hämmentävää miten tätä partikulaaria ja eisuosittua tiedekuvaa hakataan ja miten läpitunkevana ja ohittamattomana siihen liittyviä argumentteja pidetään.
Ongelmia metafysiikalle.
Eli "induktio ei ole deduktiota" joten Gödelin ongelmat koskevat enemmänkin matematiikkaa kuin tiedettä. Gödel ei siis romuttanut tieteellistä maailmankuvaa tai osoittanut että skientismi ei voi pelittää. Sen sijaan se romutti Hilbertin ohjelman "matematiikan perustan" löytämisestä (aksiomaattinen järjestelmä, joka yksin kattaisi kaiken matematiikan). Ja tässä kohden on hyvä huomata että tämä näkökanta tuo sitten teismille yllättävän ongelman. Nimittäin jos katsotaan mitä ihminen tekee kun hän tekee metafyysisiä argumentteja, voidaan huomata että ala on rationalismin läpitunkemaa. Tämä tarkoittaa sitä, että siinä missä empiristit ovat muuttaneet epostemologiaa hyvin induktiokeskeiseksi, on metafysiikka hirvittävän deduktiokeskeistä. Siinä käytetään deduktiivista päättelyä ja jopa matematiikkaa apuna.
Lisäksi teologialla on tässä kohden historiallista taakkaa. Sillä Hilbertin unelma oli jotain johon luotettiin melkoisen vankasti. Jumalan ajateltiin oleavan täydellinen logos. Ja matematiikalla nähtiin hyvin kaikkivoipia ominaisuuksia. Joten ei ihme että moni on ajatellut että nämä olisivat jotenkin erityisen vahvasti liitoksissa. Matematiikan monikykyisyyttä on käytetty jonain joka viittaa Jumalisuuteen maailmassa. Ja tätä on salakuljetettu osana teologiaa hyvin laajasti, tavalla jonka siivous ei ole vielä täysin kulkenut läpi edes kaikkia yleisimpiä teistisiä argumentteja. Eli siitä on jäänteitä hyvin monessa paikassa. Osa argumenteista suorastaan nojaa tälläisten konseptejen varaan. Ja tässä kohden väittäisin että jos minä olisin uskovainen, niin heiluttelisin Gödelin lausetta "skientismin naurettavaksi tekevänä" ilmiselvänä TODISTEENA hyvin hyvin varovaisesti.
1: Itse asiassa minä olisin koko konseptin kohdalla ihan hiljaa. Laittaisin banaanit korviin ja menisin muualle. Ryhtyisin kenties konservatiivioikeistolaiseksi. Kannattaisin kenties warrantia ja saattaisin sanoa että Gödel on "true but irrelevant". Että loogiselle positivismille on tilaa. Sillä uskovainenhan tunnetusti tietää Totuuden niin etiikan kuin maailmankin tilasta. Tietorelativismi on liberaalia biasta. Että moraali on objektiivista ja koska siitäkin voidaan tietää niin muutkin asiat voivat olla objektiivisia. Ja näin voimme tietää, paitsi että homoilu on epäeettistä, niin myös sen että evoluutio on kakkaa. Ja että Jumala rakastaa meitä ja pelastaa meidän sielumme tuonpuoleisessa. Abstraktin ominaisuudettomaan tai muutoin vaan hengettömän alkusyyn sijaan nojaisin hyvinkin attributionalisoituun antropomorfistettuun Jumalaan. Eli siihen mihin suurin osa teistisistä ihmisistä uskoo. Boyerin psykologiset näytöt ainakin viittaavat nimenomaan siihen että abtraktiot ovat korkeintaan teologisesti korrekteja. Ihmisten käytös paljastaa että he eivät usko niihin itsekään.
Mutta kaikista hupaisin näkökulma asiaan saadaan kuitenkin kun katsotaan tämän kaiken jälkeen asioiden mittasuhteita. Gödelin epätäydellisyysperiaate on ensi sijassa matematiikkaa. Sillä on teistiseen metafysiikkaan kohtuu läheinen suhde. Ja sen suhde tieteentekoon on sitten jo hyvin abstrakti, ellei peräti olematon. Kuitenkin kun sitten katsotaan mihin tätä argumenttia usein käytetään, voi huomata että sitä käytetään kaikista useiten skientismiä vastaan. Eli konkretisoimaan tieteenteon rajoja. Kukaan teologi ei kuitenkaan ole heiluttamassa samaa korttia matematiikan kohdalla. Siellä ei selitetä että kaikki matematiikka on turhaa ja että matemaattista näkemystä ei edes ole. Että maailmankuvallista matematiikkaa. Matemaatikot, eli ne joihin Gödel koviten iski, sen sijaan jatkavat prosessiaan. He ovat lähinnä uudelleenmäärittäneet matematiikan tavoitteet. Ja itse asiassa Gödel on luonut heille varmuuden siitä että heillä tulee aina olemaan töitä. Matematiikka kun on, todistetusti, aina kesken.
Mahdollisuutta vastaavaan ei sitten oikein suoda skientisteille. Vaikka suhde matematiikkaan on etäisempi kuin teologeilla metafyysisine kiemuroineen. (Teologit eivät edes puhu siitä että Gödel jotenkin estäisi teologianteon ja tuhoaisi metafysiikan.) Sitä saakin kuulla että jos on ateisti jolla on tieteellinen maailmankuva, niin sitten pitäisi olla ihan hiljaa. Koska tieteellinen maailmankuva on mahdoton. (Ja monesti kuulee että oikea ateisti ei edes puhuisi ateismistaan, vaikka ateismi voi pitää sisällään juuri kannanoton Jumalan olemassaolemattomuuteen joten tietyssä mielessä jos joku ei ota kantaa Jumalan olemassaoloon hän on korkeintaan uskonnoton.) Mutta Jumalakysymyksessä sitten paiskitaan mielellään esille sitä että teisti voi olla hyvinkin tieteellinen ajattelija, että Jumala ei mitenkään estä tieteellistä maailmankuvaa. Tämä asenne kertoo siitä että Gödel -heitoissa on kysymys jostain muusta kuin argumentaatiosta. Kysymys lienee hyvin syväänluodatusta asennevammasta.
