
Matematinis Dievo įrodymas
1970 metais Kurtas Giodelis – žmogus, įrodęs matematikos ribas – užsirašė užrašų knygelėje keletą eilučių simbolinės logikos. Užrašų knygelę paslėpė seife. Testamente nurodė šį atidaryti tik po jo mirties. Kai 1978 m. matematikai atvertė užrašus, jie aptiko ontologinį Dievo egzistavimo įrodymą. Formalų, logiškai nepriekaištingą, pagrįstą modalinės logikos aksiomomis. Įrodymą, kurio




You must be logged in to post a comment.