tag:blogger.com,1999:blog-2467724970188645480.post5138865228887134580..comments2023-11-15T11:12:15.983+02:00Comments on T13-d3-m135: 54 päivää. Logiikasta ja epistemologiasta.Tiedemieshttp://www.blogger.com/profile/08307419899926184187noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-2467724970188645480.post-78061116876414127592012-12-29T07:34:41.843+02:002012-12-29T07:34:41.843+02:00Vei vähän aikaa ja paperia, kunnes tajusin miten s...Vei vähän aikaa ja paperia, kunnes tajusin miten seuraava menee:<br /><br /><i>Välittömästi näemme että ongelma muuttuu vaikeammaksi, mikäli Satunnainen vastaa heittämällä kolikkoa. Tietämättä varmasti, että emme ole kuulustelemassa Satunnaista, emme voi päätellä vastauksesta mitään. Kysymysskeema toimii kyllä totuudenpuhujalle ja valehtelijalle, mutta satunnainen voi vastata mitä tahansa. Satunnainen pitää siis kyetä tunnistamaan, jotta skeemaa voi käyttää. Tähänkin on olemassa ratkaisu. Oletetaan että oraakkelit on nimetty A, B, ja C, ja näiden identiteetti pitää tunnistaa. Jos kysymme B:ltä kysymyksen E("Onko A satunnainen") ja vastaus on "ja", niin tiedämme, että C ei ole satunnainen.</i><br /><br />Aluksi luulin, että tässä on jotakin väärin. Sitten tajusin, että kysymys <i>E("Onko A satunnainen")</i> pitääkin olla upotettu metakysymykseen edellisen tapauksen malliin. Tämän jälkeen ei tarvinnut muuta kuin laatia totuustaulukko, niin johan selkeni.<br /><br />Se että keksii kysyä oikeanlaisen metakysymyksen olisi kyllä jäänyt minulta tekemättä, joten siinä mielessä tehtävää voi pitää todella vaikeana.<br /><br />Muistaakseni Martin Gardnerin kirjoista löytyy joitain tällaisia paradokseja, mikäli aiot niitä joskus hyödyntää. Omasta kirjahyllystä löytyy yksi tekijän kirja, mutta pikaisella selailulla siinä ei ollut vastaavia.<br /><br />Syvällisempi logiikka on jo päässyt unohtumaan, mutta eikös nämä Russellin paradoksit ym vastaavat kierry aina loppujen lopuksi siihen ettei yksikään formaalinen järjestelmä ole täydellinen eli Gödelin teoreemaan?<br /><br />xkcd on aikoinaan ilkikurisuudessaan sanonut <a href="http://xkcd.com/246/" rel="nofollow">oman näkemyksensä</a> vastaavista paradokseista.Jaska Brownhttps://www.blogger.com/profile/15120363685670179595noreply@blogger.com