Gödel:
1.päättelysääntöjen joukko ei voi todistaa omaa
ristiriidattomuuttaan
2.Jos riittävän rikkaan päättelysääntöjen joukko
on ristiriidaton ,silloin tällä alalla esim
matematiikka on oltava päteviä ja oikeita
todistusmenetelmiä, joita nämä säännöt eivät
pysty todistamaan.= gödelin epätäydellisyyslause.
Tämän kun liittää filosofian totuusteorioihin saa
aika mielenkiintoisia juttuja..
Tämähän on parasta mitä olen Agrippan jälkeen
kuullut.
Mielipiteitä, kommentteja hyviä ideoita ?
Ps.En ymmärrä miksi maailma on täynnä paskaa.
Helmet on tosi harvassa ja niitä saa kaivaa
koirien ja kissojen kanssa esiin, ja sitten
kukaan ei osaa sanoa niistä mitään.. No menkää
kattoon formuloita tai kiistelemään grafologien
kanssa... : - (
1.päättelysääntöjen joukko ei voi todistaa omaa
ristiriidattomuuttaan
2.Jos riittävän rikkaan päättelysääntöjen joukko
on ristiriidaton ,silloin tällä alalla esim
matematiikka on oltava päteviä ja oikeita
todistusmenetelmiä, joita nämä säännöt eivät
pysty todistamaan.= gödelin epätäydellisyyslause.
Tämän kun liittää filosofian totuusteorioihin saa
aika mielenkiintoisia juttuja..
Tämähän on parasta mitä olen Agrippan jälkeen
kuullut.
Mielipiteitä, kommentteja hyviä ideoita ?
Ps.En ymmärrä miksi maailma on täynnä paskaa.
Helmet on tosi harvassa ja niitä saa kaivaa
koirien ja kissojen kanssa esiin, ja sitten
kukaan ei osaa sanoa niistä mitään.. No menkää
kattoon formuloita tai kiistelemään grafologien
kanssa... : - (
Vastaukset
Vanhimmat
Ei vielä vastauksia
Aloittaja odottaa vastauksia. Kerro oma näkemyksesi ensimmäisenä.