Patiesība, skepticisms un pasaules izzināmība

Posted in philosophy with tags , , on March 17, 2012 by gedymin

Kādi ir šķēršļi, lai cilvēki varētu piekļūtu Patiesībai? Ar to domājot kaut ko nekonkrētu, bet intuitīvi saprotamu – citos vārdos, “objektīvo realitāti”.

Pirmkārt, nevar piekļūt tam, kas neeksistē. Vai ir garantēts, ka tāda viena, vienota, vispārēja patiesība tiešām pastāv? Nē. Var ieskicēt dažus veidus, kā šāds “absurds” stāvoklis būtu iespējams. Pirmkārt, iespējams, ka jau tas veids, kādā mēs domājam, ka jau mūsu pamatintuīcijas var nebūt pareizas. Piemēram, ja pasaulē var pastāvēt pretrunīgas lietas, kas reizē gan ir, gan nav, vai neizpildīties kāds cits no loģikas pamatlikumiem. Tādā gadījumā patiesība var reizē būt, gan nebūt utt.
Tad vēl – patiesība var būt pārāk atkarīga no konteksta, lai to būtu iespējams objektīvi nodefinēt. Viens veids, kā šo paskaidrot, ir piemērs ar krāsu uztveri – kas vienam liekas zils, otram var likties zaļš. Daži burtiski redz citādi. Tas vēl pats par sevi neko nenozīmē – var pieņemt, ka apskatāmajai lietai tomēr ir fiksēta garuma gaismas viļņi, kurus var objektīvi noteikt ar mēraparātu.
Bet ja pieņem, ka eksistē divas omnipotentas naidīgas būtnes, kuras pastāvīgi rada visu esošo realitāti, pie tam nepārtraukti cīnās savā starpā? Iespējams, ka dažas realitātes “vietas” vairāk kontrolē būtne A, bet citas vairāk būtne B. Tad var iedomāties divas naidīgas pilsētas, kuras apdzīvo cilvēki ar atšķirīgiem uzskatiem, par debesu krāsu, piemēram. Za(ļās) pilsētas iemītnieki, kuri atrodas A kontrolētājā segmentā, debesis redz zaļas, Zi(lās) pilsētas (B kontrolētā) – zilas. Pie tam atšķiras ne tikai viņu pašreizējie, lokālie novērojumi, bet visi – Za iedzīvotājam debesis būtu zaļas vienmēr un visur, bet Zi tikpat pamatoti var piesaukt vēsturisko taisnīgumu par labu tieši zilām debesīm.
Un vēl – daži filozofi pat uzskata, ka ir lietas, kuras ir pārāk spēcīgi atkarīgas no novērotāja, lai tās varētu uztvert objektīvi, kontekstneatkarīgi. Piemēram, ir tādi, kuri pavisam nopietni uzskata, ka laiks kā tāds nav pastāvējis, kamēr nav radies pirmais cilvēks – saprātīga būtne, kurš varētu to izjust… Pēc viņu domām, laiks ir subjektīvs, nevis objektīvs jēdziens.
Pat ja pieņem, ka realitāti var aprakstīt ar formālu sistēmu ar fiksētiem likumiem – pat tad ir iemesls domāt, ka Patiesība kā tāda varētu nemaz nepastāvēt. Gēdēla teorēmas sekas: jebkura fiksēta formālā sistēma ir nepilnīga – varēs atrast “patiesības”, kas tajā nav pierādāmas, kaut arī ir pierādāmi patiesas citā, plašākā formālā sistēmā. Tātad pat formāli loģiskā “patiesība” ir atkarīga no konteksta – izmantotās formālas sistēmas. Pie tam, tā kā visas no tām ir nepilnīgas, nav veida, kā izvēlēties “labāko formālo sistēmu”, kas derētu visiem.

Otrkārt, ja patiesība eksistē, tā var nebūt pat teorētiski pieejama. Viss par pasauli zināmais nāk no mūsu sajūtām. Tātad, ja eksistē kāds dēmons, kurš šos sajūtu datus nepārtraukti izkropļo, tad uzticamu informāciju par to, kādas tad ir lietas “pašas par sevi” mēs nekad neuzzināsim. Zinātne balstās uz ideju, ka novērojumi vismaz aptuveni apraksta realitāti, bet nav nekādā absolūti neapšaubāma iemesla, kāpēc lai tā arī būtu.
Cits variants ir tad, ja mums pieejamā informācija par pasauli ir pareiza, bet gluži vienkārši nepilnīga. Iespējams, ka mums novērojamais ir tikai “aisberga redzamā daļa”, bet zem tās eksistē daudz svarīgāki un apjomīgāki procesi.
Ierobežojoties līdz formālajām sistēmām, atkal jau var piesaukt Gēdela teorēmu, kā arī dažādas algoritmiski neizrēķināmas vienības (Chaitin’s constant [1], piemēram).

Treškārt, Patiesība var eksistēt un būt teorētiski pieejama, bet nebūt praktiski pieejama. Runa ir par to, ka “smadzene var būt par īsu”. Piemēram, gadījums, kad ir kāds ar datoru ģenerēts apjomīgs pierādījums matemātisks pierādījums. Var būt tā, ka matemātiķis var saprast jebkuru atsevišķu pierādījuma soli, bet lai saprastu pierādījumu kopumā šim matemātiķim vajadzētu, piemēram, 150 gadu. Vai tiešām te var teikt, ka cilvēks ir spējīgs šādu pierādījumu saprast?
Citāds gadījums ar tām pašam sekām ir tad, ja tiešām ir situācija, kad “veselais ir lielāks par daļu”. Pie tam te nav runa tikai par cilvēku limitācijām. Eksistē daudz patiesību, kuras ir noskaidrojamas teorētiski, bet ne praktiski – vismaz ne algoritmiski. Skaitļošana prasa enerģiju, vietu, un laiku. tās varētu būt nepietiekami pat tad, ja skaitļošanai izmantotu visu Saules ražoto enerģiju, vai pat enerģijā pārvērstu visus novērojamā Visuma atomus. Ierobežots ir informācijas daudzums, ko var uzglabāt vienā telpas apgabalā (Bekenšteina robeža [2]). Ja to pārsniedz, tad izveidojas nekas cits kā melnais caurums.
Ierobežots ir arī signālu pārvietošanas ātrums. (Ar gaismas ātruma konstanti, kura ir nemainīga un diezgan precīzi izmērīta augšējā robeža informācijas pārraides ātrumam – ja vien fizikā nenotiek revolūcija).
Eksistē resursu trūkuma dēļ pierādāmi neatrisināmas problēmas. Piemērs te ir kaut vai šaha spēle. Ja klasiskajā šahā varbūt vēl būtu iespējams atrast perfekto stratēģiju, tad kas notiks ar šaha vispārinājumu 80×80 lauciņu galdiņam, ar attiecīgu figūru skaitu? Jebkurā gadījumā, galdiņa izmēru var palielināt neierobežoti, un vienā brīdi pārsniegt pieejamo resursu iespējas. Tajā pašā laika perfekta spēles stratēģija noteikti eksistē. Varianti ir tikai divi – vai nu baltie pēc tās spēlējot vienmēr uzvar, vai abiem spēlējot perfekti, sanāk neizšķirts.

Pirmais ir ontoloģiskais arguments pret patiesības izzināšanu, otrie divi – epistemoloģiskie.

Lūk, tāpēc es skeptiski izturos pret Patiesības “saimniekiem”.

[1] http://en.wikipedia.org/wiki/Chaitin’s_constant
[2] http://en.wikipedia.org/wiki/Bekenstein_bound

Šekspīra kods

Posted in poetry with tags , , on February 19, 2012 by gedymin

Gadījās lasīt februāra Rīgas Laika numurā rakstu par to, kurš tad patiesībā ir īstais Šekspīrs – dažādu pētnieku un citu “gudru cilvēku” versijas par viņa darbu kopuma patieso autoru.

Pat neņemot vērā faktu, ka tādas sazvērestību teorijas vairāk piederētos kādai tenku lapelei, mani kaitina gan argumentācija par labu tam, ka tas Šekspīrs jau nevarētu būt tas Šekspīrs, gan citētais N. Naumaņa viedoklis, ka “būtībā tas taču nav svarīgi”. Man gan šķiet – ir svarīgi, un piedēvēt šos darbus kādam angļu aristokrātam, kas vēlas palikt anonīms galma intrigu dēļ, nozīmē neizprast un nenovērtēt… ko? Laikam jau ģēniju.

Rakstā minētais viedoklis, kas Šekspīra darbi patiesībā kaut kādā veidā alegoriski runā par karalienes Elizabetes galmā notiekošo, nejēdzīgi reducē šos neapšaubāmos literāros sasniegumus līdz blakusproduktam no kādā galma intriganta darbības. Šekspīra darbi tik lielā mērā transcendencē savu laiku, savu apkārtējo vidi ar visām tās intrigām, sīkumainajām paražām un senaizmirstajiem atgadījumiem, ka tos varētu būt uzrakstījis tikai cilvēks, kurš nav savējais augstākajā sabiedrībā, kura domāšana nav piegludināta atbilstoši tā laika uzvedības normām, kura uzmanība nav centrēta uz galmu, kura alkas pēc atzinības nav ierobežotas līdz šauru augsti stāvošu personu lokam (jo vai gan plebejiskais pūlis vispār spēj novērtēt mākslu?). Šekspīrs neatskaitās augstdzimušo saujiņas priekšā, viņš, tāpat kā jebkurš labs rakstnieks, atskaitās cilvēces priekšā.

Vai “pusizglītotam” cilvēkam būtu pietiekamas zināšanas Šekspīra darbu radīšanai? Bez šaubām, viņa darbiem vajadzīgo vēsturisko un enciklopēdisko avotu apjoms ir grandiozs. Taču tāds apjoms nav nekas nepieveicams talantīgam rakstniekam, kurš ar lugu radīšanu nodarbojas ikdienā. Būtu kuriozi, ja kāds apšaubītu Dena Brauna autorību, apgalvojot: “kaut ko tādu būtu varējis uzrakstīt tikai vēstures profesors”, taču situācija ir līdzīga – tikpat labi, kā jautāt: “kur Šekspīrs uzzināja par Antoniju un Kleopatru?”, varētu jautāt: “kur ‘Da Vinči koda’ autors uzzināja par Grāla leģendas detaļām?”. To sauc par pētniecību, un ar to nodarbojas ikviens sevi cienošs vēsturisks rakstnieks.

Šekspīra darbu spožums ir atrodams to valodas lietojumā un cilvēciskajā saturā, nevis izmantoto materiālu klāstā un kvalitātē. Te ir darīšanu ar ģēniju, kura spējas atrast un izmantot vēsturiskos sižetus, kā arī zināšanas par dažādām specifiskām sfērām nobālē, ja tām blakus noliek viņa spējas pīt vārdus un skaisti izteikt domas, ar viņa dzīves, cilvēku un jūtu pazīšanu. Pirmajam ir vajadzīga neparasta informācijas uzņemšana kapacitāte, protams, tomēr tāda ir daudziem, bet Šekspīrs ir tikai viens. Pie tam Šekspīram esot daudz tādas ģeogrāfijas un vēstures kļūdas, kādas nepielaistu patiesi izglītots cilvēks. Piekrītu viedoklim, ka tā laika skolas zināšanas būtu drīzāk nomākušas viņa talantu, būdamas sausas un paštaisnas.

Šekspīrs bija savā ziņā slims. Vai gan kāds veselais būt spējīgs veltīt tādu enerģiju saviem darbiem? Vai kāds no spožajiem aristokrātiem un galma intrigantiem izskatās pēc slimā? Drīzāk jau tāds ir tas cilvēks no Stretfordas, par kura dzīvi tik maz ziņu. Iespējams, ka viņam apkārt esošie Šekspīrā neko īpašu nesaskatīja – jo vai gan cilvēkam ar tik ģeniālu iekšējo pasauli maz var pietikt enerģijas ārējai pasaulei?

Visbeidzot, jautājums par autorību nav tikai vēsturiska kuriozitāte, tam ir daudz plašāka nozīme. Domāšanas veids, kas liek neticēt Šekspīra iespējamībai, tam viņš varētu būt bijis talantīgs autodidakts no vienkāršās tautas – tas ir tas pats domāšanas veids, kas gudrību vienādo ar ietekmi, varu un naudu. Tas pats, kas impēriju, Pasaules Bankas un SVF viedokli uzskata pareizāku nekā marginālu valstiņu un grupu viedokli. Tas pats, kas jebkuru Oksfordas vai Harvarda universitātes absolventu uzskata saprātīgāku par “pārējiem”, kuru izglītība liedz viņiem piederēt pasaules elitei.

Patiesība ir pārāk vienkārša, lai gudrie spētu to pieņemt, un pārāk garlaicīga, lai pūlis par to interesētos – proti, nekāda “Šekspīra koda” nav. Tieši otrādi, ir darbi, kuros viss būtiskais ir uzlikts kā uz delnas; lai arī skaisti un poētiski, tomēr nereti daudz skaidrāk un saprotamāk ne kā viena otra mūsdienu prātnieka domu līkloči. Tieši tāpēc Šekspīrs ir ģeniāls.

Vēl lielāku ironiju var atrast faktā, ka tikpat labi kāds pētnieks varētu nospriest – ar manu gaužām nelielo humanitāro izglītību uzrakstīt polemiku par Šekspīra tēmām acīmredzami nav iespējams. Līdz ar to parādās jautājums par to, kurš tad ir šī posta īstais autors?

Šo apskaužu par bagātību. Tas –
Par skaisto seju liekas apskaužams.
Sūrst viena talants, otra iespējas
Un trešā jautrais, draugu pilnais nams.
Bet, lādot savu dzīvi rūgtos vārdos,
Es tevi atceros, un pateicības prieks,
Kā cīrulis kāpj pašos debess vārtos,
Un slavas dziesmām treļļu nepietiek,
Jo tava mīla tādas bagātības ver,
Ko karaļkronis sevī neietver.

(V. Belševicas atdzejojums)

Progress, philosophy, and Zeno’s paradox of motion

Posted in philosophy with tags on August 20, 2011 by gedymin

Some have expressed doubts whether a “progress” is possible in philosophy at all. Perhaps philosophy here is contrasted with hard sciences and mathematics, where new knowledge is constantly created.

I don’t agree with them. If we count “wide adoption of new, useful ideas” as a form of progress, then philosophy has progressed a lot, for example, since Ancient Greece. It may be the case that not as much new ideas have appeared as it could seem in the first glance, but some – certainly. I don’t agree with Whitehead either, who said that all of Western philosophy is merely a set of “footnotes to Plato”. I think it’s no more true than saying that all of Western mathematics is merely a set of footnotes to Euclid.

That being said, I believe something that could be described as “Zeno paradox of metaphilosophy” is the case: it’s not possible to make any progress in philosophy as long as one remains inside philosophy itself. Any attempts to move forward and advance new ideas with the help of an argument will be bogged down in endless stream of counter-arguments and counter-counter-arguments, and so ad infinitum.

Progress in philosophy, if it’s possible at all, can come only from external sources like science or cultural changes in the society. It’s a historical and sociological fact.

The areas of philosophy we now consider irrelevant didn’t become this way because of some utterly convincing arguments by some philosopher. They became this way because of discoveries and progress in other fields of human inquiry. We are not, in general, interested in the questions scholastics asked themselves because these questions are irrelevant to our worldview. We have little practical interest in the political philosophy of Hobbes because it doesn’t seem to work. We have no need for “planetary magnetism” (i.e. spiritual forces as “souls of the planets”) as the explanatory force behind movements of planets, because science can give us a purely physical explanation.

Vēlreiz par ētiku

Posted in philosophy with tags on August 11, 2011 by gedymin

Kas tad īsti ir labi un pareizi?

Paskatoties apkārt var redzēt, ka cilvēki to vien dara kā racionalizē, mēģina attaisnot un pamatot savas nejaucības. Ētika sanāk tik sarežģīta tieši tāpēc, ka ar tās palīdzību cilvēki mēģina izdarīt neiespējamo.

Vai tiešām ētikas pamatus vajag meklēt reliģijā? Pēc kristiešu uzskata, kas tad īsti ir galvenais, ko gūt no šīm “personīgajām attiecībām ar Dievu”? Vai galvenā ir apziņa par to, kas ir labi, un kas slikti, vai tomēr saņemtā iedvesma un motivācija “cīņai ar grēku”? Vai grūtāk ikdienā ir zināt, “kā rīkoties ir pareizi”, vai arī spēt tā rīkoties? Ja jau pieņem tik absurdu viedokli, ka cilvēki bez reliģijas vispār nevarētu izšķirt, kas tad ir labs un kas slikts – kā tas nākas, ka mūsdienu sabiedrībā tiek nosodītas pat lietas, ko Bībele nekādi neaizliedz, tieši otrādi? Piemēram, verdzība?

Vai tiešām ētikas pamatus vajag meklēt racionālismā? Pietiek paskatīties apkārt, lai kļūtu acīmredzami, kādas muļķības ir iedomas par to, ka “gudrākie kļūdās retāk”. Kas tad ir tie ētiskās uzvedības piemēri, kuri mums visiem būtu jāņem par paraugu? Vai tiešām lielvalstu un korprāciju vadītāji, finansu un militārie līderi? Smieklīgi. Runā, ka starp viņiem esot daudz psihopātu. Jau pati psihopātu pastāvēšana vien apgāž teoriju, ka ētikai pietiek tikai ar racionālo, jo tie var būt cilvēki, kuri ir baudījuši tādu pašu audzināšanu kā pārējie, dzīvo tajā pašā sabiedrībā un ir pazīstami ar to pašu morāli. Ja jau morāles normas attiecībā uz citiem ievērot būtu racionāli, psihopātiem vajadzētu savā uzvedībā ne ar ko neatšķirties no citiem pilsoņiem.

Ētiku rada kompleksa saspēle starp racionālo un emocionālo. Cik nu ētiku vispār vajag un var pamatot, tas jādara cilvēka emocionālajā būtībā, kuru savukārt caur instinktiem nosaka bioloģija un ir izveidojusi evolūcija. Punkts.

Gēdela teorēma un fizika

Posted in philosophy with tags , , on June 30, 2011 by gedymin

Bieži nākas dzirdēt dažādus apgalvojumus par Gēdela Nepilnības teorēmas [1][2] sekām fizikā un filozofijā. Šķiet, ka izplatīts ir viedoklis, ka šī teorēma kaut kādā veidā parādot: stingri zinātniskas teorijas nespēj pilnībā izskaidrot pasauli; ka no Gēdela teorēmas izriet – jebkurš matemātiski loģisks, visu esošo uz fizikas likumiem reducējošs skaidrojums vienmēr būs vai nu nepilnīgs, vai iekšēji pretrunīgs.

Vai tā tiešām ir? Pēc manām domām, Gēdela teorēma (GT) nekādi nevar kalpot kā atbalsta punkts redukcionisma noliedzējam (tas ir, kādam, kurš apgalvo, ka pasauli nav iespējams aprakstīt, reducējot to uz fizikas un loģikas likumiem[*] Viss, ko GT spēj pateikt: gadījumā, ja tāds pilnīgs pasaules apraksts ar formālo sistēmu būs ticis veikts, tad izmantojot šīs formālas sistēmas izteiksmes līdzekļus (atļauto sintaksi), tajā būs iespējams noformulēt dažus neatbildamus jautājumus. Precīzāk, jautājumus, kuri būs neatbildami no sistēmas iekšienes. Kā rāda turpmākie piemēri, tāds secinājums nav nedz pārsteidzošs, nedz pretrunā ar intuīciju.

Pirmkārt, no GT izriet “perfektā pareģa” eksistences neiespējamība. Ar perfektu pareģi saprot mehānismu, kas būtu spējīgs pilnīgi precīzi paredzēt, kas ar pasauli notiks nākotnē. GT sekas nozīmē, ka šādu pareģi nebūtu iespējams uzbūvēt pat tad, ja būtu iespējams iegūt pilnīgas ziņas par pasaules stāvokli kādā konkrētā brīdī (piemēram, precīzus datus par elementārdaļiņu pozīcijām un ātrumiem), kā arī pilnīgi precīzi zināt fizikas likumus, pēc kuriem notiek pasaules evolūcija. (“Perfektais pareģis” var tikt saprasts kā sinonīms Laplasa dēmonam, kurš atrodas pasaules iekšienē, un ir spējīgs ne tikai visu zināt, bet arī dot atbildes uz jautājumiem pasaules nākotni. Jāpiezīmē, ka GT nekādi neapgāž Laplasa dēmona iespējamību “ārpus sistēmas”, t.i. vietā un veidā, kur tas nekādi nevarētu mijiedarboties ar pārējo sistēmu.)

Pieņemsim, ka tāds “perfektais pareģis” (PP) ir ticis uzbūvēts. Tādā gadījumā ir iespējams uzbūvēt citu mehānismu (M), pavisam vienkāršu un pilnīgi deterministisku, kas sagrautu “pareģa” pretenzijas uz perfektumu (tas ir, pilnīgumu). Pieņemsim, ka mehānisms M ir aprīkots ar kādu ārējai pasaulei novērojamu izvadu, piemēram, gaismas diodi. Tādā gadījumā mehānisms M var darboties pēc šāda principa: tas laika momentā t uzdod jautājumu PP par savas gaismas diodes stāvokli laika momentā t + 1 un nolasa saņemto atbildi. Ja tajā teikts, ka diode būs izslēgta, tad M laika momentā t + 1 diodi ieslēdz. Savukārt gadījumā, ja atbildē teiks, ka diode bus ieslēgta, M to izslēdz. Ir vienkārši redzēt, ka PP uz šādu jautājumu nespēj dot apmierinošu atbildi. Jāpiezīmē, ka teorētiski neizslēgta paliek iespēja, ka PP spēj dot pilnīgi pareizas atbildes par tiem nākotnes notikumiem, kuri atrodas ārpus tā notikumu horizonta (pieņemot Speciālās relativitātes teoriju).

Nedaudz sarežģītāks, pie tam ne tik pārliecinošs GT pielietojums parādītos gadījumā, ja varētu norādīt universālu atbilstību starp Visumu un kādu formālos sistēmu. Viena no tādas atbilstības idejām balstās uz uzskatu, ka pasauli var uztvert kā šūnu automātu (cellular automata). Pasaules sākumstāvoklis atbilst automāta sākumstāvoklim, savukārt fizikas likumi atbilst likumiem, pēc kuriem automāts pāriet uz jaunu stāvokli. (Vienkāršības labad pieņemsim, ka paši laiks un telpa ir diskrēti, t.i. tie nevar tikt bezgalīgi dalīti.)

Iespējams, ka var atrast viennozīmīgu atbilstību starp tādu automātu evolūciju un pierādījumiem formālās sistēmas. Kā zināms, tad formalizēts pierādījums ir nekas vairāk kā izteikumu virkne, no kuriem katrs ir vai nu aksioma, vai arī izriet no iepriekšējiem šajā virknē minētajiem apgalvojumiem, pielietojot loģikas likumus. Ja tādu atbilstību var atrast, tad var teikt, ka konkrēts pasaules stāvoklis atbilst kādas teorēmas pierādījumam; dažādi pasaules sākumstāvokļi atbilst atšķirīgām aksiomu kopām; dažādi fizikas likumi atbilst atšķirīgiem izveduma likumiem.

Kādi jautājumi par šādu automātu var tikt uzdoti? Interesants jautājums būtu – vai konkrēts automāta (t.i. pasaules) stāvoklis var būt izveidojies normālas automāta evolūcijas ceļā (iespējams, nedeterministiski) no konkrēta sākumstāvokļa pie konkrētiem fizikas likumiem?

Lai to labāk saprastu, var apskatīt analoģiju ar šahu. Korektā šaha partijā jebkurš konkrētā brīdi novērojama figūru izvietojums uz galdiņa ir ticis sasniegts nulles vai vairāku korektu gājienu ceļā. Tā kā gan iespējamais šaha pozīciju, gan gājienu skaits ir galīgs, teorētiski ir iespējams izveidot mašīnu vai algoritmu, kas spētu noteikt, vai patvaļīga konkrēta pozīcija uz šaha galdiņa tiešām var būt izveidojusies korektas spēles gaitā. Piemēram, pozīcija, kurā dāma un karalis apmainīti vietām, tāda nav. Savukārt pozīcija, kurā abām pusēm viens no zirdziņiem apmainījies vietām ar tam blakus esošo torni, var būt tikusi izveidota korektu (kaut arī no spēles viedokļa diezgan bezjēdzīgu) gājienu sērijā. Var teikt, ka šaham atbilstošā formālā sistēma ir pilnīga; tas nav nekas pārsteidzošs, jo tā ir ļoti vienkārša.

GT apgalvo – ja “pasaules” šūnu automātam atbilstošā formālā sistēma ir sarežģītāka (cik tieši sarežģītai tai jābūt – tā jau ir tehniska detaļa, kura atrodama jebkurā GT matemātiskā skaidrojumā), tad par ne visiem tās stāvokļiem būs iespējams dot konkrētu atbildi. Kā pretpiemēru var piesaukt to automāta stāvokli (S), kas atbildīs attiecīgās formālās sistēmas Gēdela formulai. Zinot, ka formālā sistēma ir bezpretrunīga, būtu iespējams pateikt, ka nav tādas sistēmas evolūcijas, kas vestu no sākumstāvokļa uz S, taču formālās teorijas (t.i. pasaules) iekšienē to nebūs iespējams pierādīt.

Kāda ir šī piemēra iespējamā zinātniskā nozīme? Atkal pieņemsim, ka mums ir perfekts zināšanu kopums par pasaules pašreizējo stāvokli (PS), tāpat perfekti zināmi gan visi fizikas likumi (kas var būt nedeterministiski), gan arī pasaules sākumstāvoklis. Mūsu apskatītajā formālajā sistēmā tie atbilstu attiecīgi sintaktiski korektam izteikumam (kas var būt vai nebūt teorēma), izveduma likumiem, kā arī teorijas aksiomu kopai. Sekojot GT, var viegli saprast, ka nav iespējams izveidot universālu algoritmu, kas jebkuram PS spētu noteikt, vai tas varētu būt radies no sistēmas sākumstāvokļa netraucētas evolūcijas ceļā, vai arī tāda rašanās nav bijusi iespējama bez fizikas likumu mainīšanās vai pārkāpšanas (piemēram, iejaucoties kādai pārdabiskai būtnei).

Abos apskatītajos piemēros GT attiecas uz nespēju veikt deduktīvus spriedumus par pasauli, nevis uz nespēju veikt deduktīvu pasaules aprakstu. Tieši otrādi, GT var tikt korekti pielietota tikai tad, ja pieņemam, ka tāds apraksts jau ir ticis veikts. Tie, kas grib apgalvot, ka GT parādītie ierobežojumi pirmajam liecina par otrā neiespējamību, parasti implicīti pieņem, ka varētu eksistēt vai nu cilvēki, vai pārdabiskas būtnes, kuras nav pakļautas pirmajam ierobežojumam, bet gan spēj sasniegt “absolūto patiesību” (lai ko arī tas nenozīmētu). Taču, kā viegli redzēt no pirmā piemēra, ne kāds cilvēks, ne tā konstruēts mehānisms, nekad nevarētu veikt pilnīgi precīzus, citiem vai sev izmantojamus pareģojumus. Kas attiecas uz pārdabiskām būtnēm, tad uz tām šāds ierobežojums neattiecas, cik tālu pieņemam, ka tās atrodas ārpus “sistēmas” (tātad pasaules). Diemžēl GT nekādi neapgāž arī tādu būtņu esamību. Ņemot vērā, ka tā ir tikai matemātiska teorēma, šāds secinājums nav nekas pārsteidzošs.

[1] Gēdela teorēma 15 minūtēs

[2] The first Godel’s incompleteness theorem (Wikipedia)

_______

* – Jautājums par to, vai semantiku (piemēram, sajūtu datus un pieredzi) ir iespējams reducēt uz sintaksi (piemēram, formālajām sistēmām), bez šaubām, ir interesants, taču GT nespēj uz to atbildēt. Tā to nespēj kaut vai tāpēc vien, ka Gēdels tās formulējumā rūpīgi izvairījās no jebkāda semantiskā satura: piemēram, neminot patiesības jēdzienu, tā vietā aprobežojoties ar tīri sintaktisko prasību pēc “bezpretrunīguma”.

Emily Dickinson on death

Posted in poetry with tags , on April 28, 2011 by gedymin

A few of my favourite Dickinson’s poems. More will come.

Apparently with no surprise
To any happy Flower
The Frost beheads it at its play —
In accidental power —
The blonde Assassin passes on —
The Sun proceeds unmoved
To measure off another Day
For an Approving God.

***

Nobody knows this little Rose —
It might a pilgrim be
Did I not take it from the ways
And lift it up to thee.
Only a Bee will miss it —
Only a Butterfly,
Hastening from far journey —
On its breast to lie —
Only a Bird will wonder —
Only a Breeze will sigh —
Ah Little Rose — how easy
For such as thee to die!

***

The Heart asks Pleasure — first —
And then — Excuse from Pain —
And then — those little Anodynes
That deaden suffering —

And then — to go to sleep —
And then — if it should be
The will of its Inquisitor
The privilege to die —

***

Behind Me — dips Eternity —
Before Me — Immortality —
Myself — the Term between —
Death but the Drift of Eastern Gray,
Dissolving into Dawn away,
Before the West begin —

‘Tis Kingdoms — afterward — they say —
In perfect — pauseless Monarchy —
Whose Prince — is Son of None —
Himself — His Dateless Dynasty —
Himself — Himself diversify —
In Duplicate divine —

‘Tis Miracle before Me — then —
‘Tis Miracle behind — between —
A Crescent in the Sea —
With Midnight to the North of Her —
And Midnight to the South of Her —
And Maelstrom — in the Sky —

Džeina Eira. Viena, naktī, tīrelī

Posted in art, philosophy with tags , on April 12, 2011 by gedymin

Worn out with this torture of thought, I rose to my knees. Night was come, and her planets were risen: a safe, still night: too serene for the companionship of fear. We know that God is everywhere; but certainly we feel His presence most when His works are on the grandest scale spread before us; and it is in the unclouded night-sky, where His worlds wheel their silent course, that we read clearest His infinitude, His omnipotence, His omnipresence. I had risen to my knees to pray for Mr. Rochester. Looking up, I, with tear-dimmed eyes, saw the mighty Milky-way. Remembering what it was – what countless systems there swept space like a soft trace of light – I felt the might and strength of God. Sure was I of His efficiency to save what He had made: convinced I grew that neither earth should perish, nor one of the souls it treasured. I turned my prayer to thanksgiving: the Source of Life was also the Saviour of spirits. Mr. Rochester was safe; he was God’s, and by God would he be guarded. I again nestled to the breast of the hill; and ere long in sleep forgot sorrow.

But next day, Want came to me pale and bare. Long after the little birds had left their nests; long after bees had come in the sweet prime of day to gather the heath honey before the dew was dried – when the long morning shadows were curtailed, and the sun filled earth and sky – I got up, and I looked round me.

What a still, hot, perfect day! What a golden desert this spreading moor! Everywhere sunshine. I wished I could live in it and on it. I saw a lizard run over the crag; I saw a bee busy among the sweet bilberries. I would fain at the moment have become bee or lizard, that I might have found fitting nutriment, permanent shelter here. But I was a human being, and had a human being’s wants: I must not linger where there was nothing to supply them. I rose; I looked back at the bed I had left. Hopeless of the future, I wished but this – that my Maker had that night thought good to require my soul of me while I slept; and that this weary frame, absolved by death from further conflict with fate, had now but to decay quietly, and mingle in peace with the soil of this wilderness. Life, however, was yet in my possession, with all its requirements, and pains, and responsibilities. The burden must be carried; the want provided for; the suffering endured; the responsibility fulfilled. I set out.

(Charlotte Brontë, Jane Eyre)

Edgars Imants Siliņš, “Lielo patiesību meklējumi”. Recenzija

Posted in philosophy, science with tags , , on April 10, 2011 by gedymin

Siliņa pabiezais, gaišbrūnais sējums ar Ešera grafiku un fraktālajiem zibeņiem uz vāka piesaista uzmanību. Grāmata par filozofiskām idejām zinātnē? Izklausās interesanti. Grāmata par šo tēmu latviski; vēl jo vairāk, latviešu autora darbs – divtik interesanti. Kaut ko tādu tiešām bieži negadās redzēt! Vienlaikus patiešām plašs tēmu klāsts, bet vienotas struktūras saglabāšana, kuru rada grāmatas kopējais vadmotīvs, Nilsa Bora formulētais komplementaritātes princips – arī nav slikti. Edgara Imanta Siliņa filozofisko eseju krājums “Lielo patiesību meklējumi” (LPM) piesaista ne tikai ar tematiku, bet arī ar autora personību – īsi pirms grāmatas pirmā izdevuma aizsaulē aizgājušais Siliņš ir bijis LZA akadēmiķis un habilitēts fizikas doktors. Kopumā LPM pretendē uz vietu tajā grūti definējamajā grāmatu kategorijā, kuru varētu apzīmēt ar vārdiem “intelektuālais bestsellers”.

Diemžēl nākas atzīt, ka LPM ir spilgts piemērs tam, kā labs zinātnieks var vienlaikus nebūt arī labs rakstnieks. Vilšanos pēc grāmatas izlasīšanas rada atšķirība starp to, kas grāmata ir un to, kas tā būtu varējusi būt. Es necentīšos kritizēt LPM paustās idejas – gan tāpēc, ka pēc manām domām, pasaulē ir vieta dažādiem uzskatiem, gan tāpēc, ka Siliņa viedoklis nereti saskan ar manējo. LPM problēma ir cita. To par nebaudāmu padara izpildījuma kvalitātes trūkums; tā sastāv no kļūdainas zinātnes un sliktas filozofijas.

Ir tikai saprotams, ka neviens no šāda veida grāmatām negaida neapstrīdami loģiskus spriedumus un nevainojamu argumentāciju no vāka līdz vākam; neviens negaida arī perfektu jaunāko zinātnes sasniegumu pārzināšanu it visās grāmatas aizskartajās tēmās (kuru loks ir tiešām plašs). Tieši otrādi; iespēja saskatīt autora mazās kļūdas un diskutablos secinājums ir viens no iemesliem, kas padara to lasīšanu par baudu – vismaz tikmēr, kamēr šādu nepilnību skaits ir ierobežots. Tas, kas LPM lasītāju pārsteidz nesagatavotu, ir autora nespēja sniegt pat elementāri pareizas definīcijas; vārdu savienojumi, kuriem vistiešākajā nozīmē trūkst jēgas; haotiska lēkāšana starp nesaistītām tēmām; un argumentācija, kuras piemēri varētu kalpot par labu izdales materiālu jaunāko kursu filozofijas studentiem, lekcijā par dažādiem spriešanas kļūdu veidiem. Kopējo vērtējumu labāku nepadara iespaids, ka ne Siliņš, ne LPM redaktori nav īsti labi pārzinājuši angļu valodu un citas svešvalodas, kā rezultāts ir daudz kļūdainu tulkojumu, savāda īpašvārdu transkripcija, un vienotas terminoloģijas trūkums (reizēm pat viena teikuma ietvaros).

Rezumējot, Siliņa darbs šķiet vērtīgs labākajā gadījumā kā vēsturisks dokuments. Daudzo kļūdu un vājās pasniegšanas formas dēļ tas ir nepiemērots pat faktuāla ievadmateriāla vai intereses izraisītāja kvalitātē. Tā faktuālajai daļai trūkst precizitātes, tā argumentatīvajai daļai – spriedumu kvalitātes. Šis piecsimt lappušu lielformāta foliants gluži vienkārši nespēj attaisnot tam iztērēto lasītāja laiku. To nevar nosaukt pat par viegli lasāmu, par spīti autora pārliecīgajai izvairībai skaidrot aprakstīto tēmu tehniskākos aspektus – grūtības sagādās gan milzīgais tēmu loks, kuru grāmata grib aptvert, gan autora tieksme uz sarežģītu argumentāciju un oriģināliem spriedumiem. (Oriģinalitāte ir atzīstama, protams, bet vai populārzinātniskā grāmatā tiešām ir tās īstā vieta?) Visiem, kam interesē līdzīgas tēmas, LPM vietā varu ieteikt izlasīt Duglasa Hofštadtera lielisko (kaut arī pagaidām vēl latviski netulkoto) “Godel, Escher, Bach” – darbu, kurš ir bijis arī viens galvenajiem paša Siliņa iedvesmas avotiem. LPM īstā vieta savukārt nav nekur citur kā aizmirstībā, un pēc manām domām – jo ātrāk tur tā nokļūs, jo labāk.

Recenzijas pilnā versija ar tehniskām detaļām (piecas lappuses) [PDF]

Kāpēc es neesmu kristietis. Noslēgums

Posted in philosophy with tags , on April 1, 2011 by gedymin

Visa teksta pilna versija [PDF]

 

Skeptiķis. Šīs sarunas iznākums ir secinājums, ka Dieva eksistence nav racionāli pamatojuma, līdz ar to, kristietība un citas monoteistiskās reliģijas nav racionāli pamatojamas.

Mediators. Kā tad ar Dieva eksistences pierādījumiem? Vai tie nedod racionālu iemeslu ticēt Dieva eksistencei?

S. Katram “pierādījumam” ir gan savs atspēkojums, gan savs pretpierādījums. Tajā skaitā, arī pasaules pastāvēšana un sakārtotība ir nepietiekami argumenti Dieva eksistencei, un it īpaši nepietiekami kristiešu Dieva eksistencei. Pasaules eksistenci var skaidrot arī zinātne vai filozofija. Jebkurā gadījumā, no mūsu pasaules pastāvēšanas nekādi neizriet tas, ka tās radītājs būtu bijis personificēta un absolūti laba būtne, kā to apgalvo kristieši; drīzāk jau tieši otrādi.
Continue reading

Par Repši, mākslīgajiem intelektiem, un robotiem

Posted in science with tags , on March 27, 2011 by gedymin

Runa ir par Mākslīgā intelekta fonda izsludināto “konkursu studentiem”, kas nedaudz iekrīt arī manas kompetences lauciņā.

Iniciatīva man šķiet ļoti apsveicama, jo īpaši tāpēc, ka autori, šķiet, ar mākslīgā intelekta un robotikas attīstību nesaprot spēļu mašīnītēm līdzīgu verķu taisīšanu, kā tas nereti notiek, bet gan fundamentālus pētījumus zinātnē. Vai tur kaut kas var sanākt, vai arī Latvija ir “pārāk maza” tādiem pētījumiem? Piemērs ar kvantu datoru algoritmu pētniecību pierāda, ka iespējams tas ir; tātad var teikt, ka daudz kas būs atkarīgs no konkrētajiem cilvēkiem. Runājot par cilvēkiem – konkursa komisijas sastāvs: bars no LU profesoriem un pāris RTU profesoru. Uz labu vai uz sliktu? Hmm… Toties izskatās nopietni.

Spriežot pēc formāta prasībām, gan jau, ka konkursam beigās tiks iebaroti dažādi “maģistra, bakalaura un kursa darbi”, izstrādāti dažādās universitātēs. (Lielākoties pie tiem pašiem komisijas profesoriem, protams. Interešu konflikts, kas “mazās Latvijas” dēļ ir grūti novēršams, un tomēr – interešu konflikts).

Tātad ar vienkāršu esejas uzrakstīšanu (t.i. pamuldēšanu) acīmredzot nepietiks. Nu ko, līdz ar to piedalīties nesanāks. Toties paanalizēt uzdevumus varu tepat blogā.

Konkursa jautājumi

1. Kādus uzdevumus joprojām cilvēks risina labāk nekā dators

AI-complete uzdevumus. Konkrētāk:
* dabiskās valodas analīze un sintēze; tekstu tulkošana, kā viens piemērs šim;
* reaģēšana uz negaidītām situācijām;
* humora saprašana un lietošana;
* CAPTCHA lasīšana, protams! (attēlu analīze, vispārīgāk ņemot).

Tīri praktiskāk – arī auto vadīšana. Un ne tikai “negaidītās situācijās”, bet gan vispār. No otras puses, Google Car jau ir šeit…

2. Kā dators var atjaunot programmas tekstu pēc ieejas-izejas datu piemēriem?

Laikam tā ir induktīvā inference, un šāda inference, cik zinu, ir smaga teorētiska tēma, ar ko tie paši LU profesori jau pirms gadiem divdesmit un senāk ir ņēmušies, līdz ar to no komentāriem atturēšos.

3. Kā datori un cilvēka smadzenes var izmantot nejaušības rēķināšanas paātrināšanai?

Ja skatās tīri teorētiski, visticamāk, nekā. Jo, ļoti iespējams, BPP (Bounded-error probabilistic polynomial) sarežģītības klase sakrīt ar P (Polynomial) sarežģītības klasi.

Ja praktiski, tad – tas jau ir daudz interesantāk. Tas ir, ja uzskata pseidonejaušu skaitļu ģeneratoru par pieņemamu rīku, netiecoties pēc simtprocentīgas “teorētiskas” randomness. Diezgan acīmredzams “attack point” ir randomizēt NP grūtas problēmas, cerot, ka tas ļaus vidējā gadījumā iegūt vieglāku problēmu. (Nesens piemērs – algoritms, kas izmanto nejaušu grafa virsotņu permutāciju, lai vidēji polinomiālā laikā atrastu Hamiltona ciklu grafā. Sliktākajā gadījumā, protams, polinomiāli šādi nesanāks, jo Hamiltona cikls ir pierādīti NP pilna problēma.)

Šķiet, ka varētu būt ļoti interesanta tēma arī no neirozinātnes viedokļa. Diemžēl tur neesmu kompetents.

4. Kā kvantu mehānika, molekulārbioloģija un citas dabaszinātņu nozares var palīdzēt efektīvu algoritmu veidošanā?

Ja es to zinātu… Nu labi, tīri pamuldēšanas pēc:
Viens – samazināt datoru izmēru. Skaitļošana, kas veikta molekulārā (RNS/DNS molekulas, piemēram), atomārā, vai subatomārā līmenī (kvantu mērījumi). Līdz ar to – mazāki izmēri, ātrāka darbība (jo attālumi mazāki), mazāk silst, var izgatavot lielākos apjomus (RNS/DNS skaitļošana – jau tagad, kvantu – varbūt kaut kad nākotnē).
Divi – kvantu mehānika ļauj paņemt “skaitļošanas jaudas” no “paralēlajām pasaulēm” (ja tic Many-Worlds interpretācijai), vai arī no “tā, kas nu tur ir” (ja dod priekšroku Consistent Histories vai citai mazāk ontologically committed interpretācijai). No kaut kāda “Dabas piezīmju bloknota”, vienvārdsakot. Bet šo visu jau visiem kvantu algoritmu taisītājiem vajadzētu zināt; jautājums tikai, cik bieži viņi par to aizdomājas.

5. Kā veidot iespējami pilnvērtīgu abstraktu interaktīvu vidi, kurā mākslīgas evolūcijas ceļā attīstīt digitālus subjektus ar intelekta pazīmēm?

Cerēt, ka AI emerdžos no World of Warcraft vai Second Life? Švakas izredzes, atklāti sakot.

No otras puses, čatbotiem vai tīkla ģēnijiem tāda “mākslīgā evolūcija” varētu būt noderīga.

6. Kā veidot pašorganizējošas (self assembling) digitālas struktūras, iespējams, sastāvošas no daudziem aģentiem, kuram paškonfigurēšanās, sadarbības, konkurences un citu mehānismu iedarbes rezultatā parādās lietderīga skaitļošanas spēja (emergent computing)?

Ak, senais sapnis par “Neuzvaramā” veida robotiem. Paldies Lemam par visu mūsu iepazīstināšanu ar to. Diemžēl praktiskie panākumi šāda veida struktūru konstruēšanā pagaidām ir bijuši niecīgi, tāpēc šī tēma neliekas tā perspektīvākā. Ja nu tomēr ar to nodarbotos, tad visticamāk jau – skatoties uz skudru, termītu vai bišu kolonijām kā paraugiem.

7. Kā ņemot vērā modernās neirozinātnes atziņas par CNS uzbūvi un nervu šūnu darbības principiem, būvēt uz šiem principiem bāzētus datormodeļus, kas spētu pašorganizēties, piemēroties veicamajam uzdevumam (brain plasticity), pastāvīgi apmācīties (LtP vai citi mehānismi) un izrādīt kaut vienkāršas intelekta pazīmes?

Tēma, kas liek vēlēties kaut ko vairāk zināt par neirozinātni.

Pats fakts, ka datorzinātnieki sāk runāt par šāda veida detaļām, parāda, ka populārais neironu tīklu modelis un virspusīgā izpratne par to smadzeņu darbības aprakstīšanai tomēr ir nepietiekami.

8. Olimpiādes uzdevumi un matemātiska rakstura open research problems.

d) ir gluži interesants filozofisks paradokss. Labāks tā formulējums un saites uz dažādiem saistītiem materiāliem ir pieejams Vikipēdijā (“divu aplokšņu problēma”).

e) un f) šķiet gandrīz vai galvā risināmi uzdeumi (f ir jāizmanto nedeterminētība). Protams, ka varbūt tur tomēr ir kādi āķi… g) naivais risinājums arī ir acīmredzams, kaut arī nespēju iedomāties, kā to uzlabot. Šķiet, ka der pavisam vienkāršs varbūtisks automāts.

a) nav norādīts dimensiju skaits. Vienas dimensijas gadījumā atbilde ir triviāla – visi vienā virzienā, katrs saskaitāmais dod 2, summa ir 8. Augstāka dimensiju skaita gadījumā – pirmā doma ir tāda, ka varētu būt vērts minimizēt skalāro reizinājumu pa pāriem. Neprecīzi runājot – tiekties pēc maksimālas ortogonalitātes. Kaut gan, hmm, četrdimensiju gadījumā maksimāla ortogonalitāte (ņemt vērā, ka četrdimensiju kuba garākās diagonāles garums ir 2a) atkal dod rezultātu 2 + 2 + 2 + 2 = 8, kas acīmredzot nav optimāls.

i) atgādina par tipisko diskrētās matemātikas pirmā kursa uzdevumu “pierādīt, ka jebkurā kompānijā no sešiem cilvēkiem būs vai nu vismaz trīs tādi, kas visi viens otru nepazīst, vai arī visi viens otru pazīst”. Līdz ar to, viens veids kā veikt novērtējumu būtu saskaitīt visus dažādos K_6 grafus, kas veidojas tādā K_100 grafā. Šaubos gan, ka tā var dabūt novērtējumu 9000.