Hammastyksen aihe suuri
kati sinenmaa
Se jotenkin maailmankaikkeuden mielestä hauskaa onko, kun
tekoälyilijöillä kaikkilla sama käsitys onpi, mitä Turing Machine onpi?
Miten maailmankaikkeus erottaa kaksi ihmistä toisistaan voipi,
kun molempia vaivaa sama mielipidetauti?
Kertokaapa nyt omin sanoin jokainen, mitä Turing Machine onpi?
Taneli J Mielikainen
> Se jotenkin maailmankaikkeuden mielestä hauskaa onko, kun
> tekoälyilijöillä kaikkilla sama käsitys onpi, mitä Turing Machine onpi?
Pitäisikö kaikilla olla omat mielipiteet kaikista matemaattisista
struktuureista?
Mikä on käsityksenne $\lamba$-kalkyylista? Sehän on kuitenkin yhtä
ilmaisuvoimainen formalismi kuin Turingin konekin, joten vastaus
kysymykseen voisi ratkaista Turingin kone -ongelmankin...
http://www.iki.fi/taneli.mielikainen/ +358-50-3693292 >-<[8=
kati sinenmaa
> > Se jotenkin maailmankaikkeuden mielestä hauskaa onko, kun
> > tekoälyilijöillä kaikkilla sama käsitys onpi, mitä Turing Machine onpi?
>
> Pitäisikö kaikilla olla omat mielipiteet kaikista matemaattisista
> struktuureista?
Kyllä. Jos nimittäin jokaisella olisi sama käsitys jostain
asiasta, mistä tahansa asiasta (tai jos vaadittaisiin sama
käsitys), silloin asia olisi täysin tyhjennetty, eli ihminen
tietäisi siitä absoluuttisesti kaiken.
Mutta koska kerta vain Absoluutti voi tietää absoluuttisesti,
ja koska kerta tekoälyilijät eivät tunnusta olevansa edes täydellisiä,
puhumattakaan,. että He kutsuisivat itseään Absoluutiksi, silloin
tekoälyilijät ovat harhassa, jos meinaavat, että minullakin
pitää olla sama käsitys Turing Machinesta, mitä Heillä on,
koska kerta edes Heillä kullaan ei ole mistään asiasta samaa
käsitystä kuin jollakin muulla.
Se on siis Unrecovable Error, jos väittää, että ihmisillä on
jostain sama käsitys, mutta samaan aikaan ei usko ihmisen
olevan Absoluutti. Onhan kirjoitettu, että todellisuus on
tyhjentymätön, joten kyllä joku ihminen pystyy aina pump-
paamaan mihin tahansa käsitykseen lisää käsitystä.
> Mikä on käsityksenne $\lamba$-kalkyylista? Sehän on kuitenkin yhtä
> ilmaisuvoimainen formalismi kuin Turingin konekin, joten vastaus
> kysymykseen voisi ratkaista Turingin kone -ongelmankin...
Minun mielestäni kysymys on oikeutettu, koska siitä saa
n erilaista vastausta.
Voimme ottaa vaikka nollan, ja katsoa, kuinka monta
käsitystä siitä on. Ainakaan matemaatikot eivät voi
matemaattisesti todistaa, miten monta käsitystä nollasta
voidaan muodostaa.