Leibniz, Platon, Anselm in era calculatoarelor [Sau Dumnezeu şi demonstrarea automatã a teoremelor]

Aici.

Din prezentare:

15:45: „And then we introduced God as this definition here, and one of the first lemmas …” 🙂 🙂 🙂

19:45 „The machine found a much simpler proof …”

23:40 ” … there’s a simpler proof of God’s existence, from a single non-logical premise …”

Argumentul Ontologic in Prover9. Isn’t that insanely cool ?

Anunțuri
Acest articol a fost publicat în filosofie. Pune un semn de carte cu legătura permanentă.

Un răspuns la Leibniz, Platon, Anselm in era calculatoarelor [Sau Dumnezeu şi demonstrarea automatã a teoremelor]

  1. C. zice:

    Faza tare haioasa: dimineata am salvat prezentarea si m-am uitat doar pe primele cadre pentru a verifica daca fisierul e in regula si am lasat vizionarea pe mai tarziu.
    Intre timp insa, intr-o pauza de programare, pornind de la o discutie aprinsa de pe un forum, am cautat ceva in pagina despre Pariul lui Pascal de pe Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/entries/pascal-wager/
    Am gasit acolo un typo si am scris pe adresa webmaster-ului (webmaster@adresarespectiva).
    Spre seara primesc mail cu multumiri pentru semnalarea erorii de la editors@adresarespectiva semnat Ed Zalta 🙂 Mi-am adus aminte ca parca era acelasi nume cu cel al autorului prezentarii. Am verificat ca sa fiu sigur si am si vizionat o mare parte a prezentarii, inclusiv codificarea argumentului ontologic.
    Pe scurt, o coincidenta simpatica: am ajuns la E. Z. de doua ori in aceeasi zi pe cai diferite, dar totusi oarecum legate prin argumentele diferite pentru credinta.

Lasă un răspuns

Completează mai jos detaliile tale sau dă clic pe un icon pentru a te autentifica:

Logo WordPress.com

Comentezi folosind contul tău WordPress.com. Dezautentificare / Schimbă )

Poză Twitter

Comentezi folosind contul tău Twitter. Dezautentificare / Schimbă )

Fotografie Facebook

Comentezi folosind contul tău Facebook. Dezautentificare / Schimbă )

Fotografie Google+

Comentezi folosind contul tău Google+. Dezautentificare / Schimbă )

Conectare la %s