dokazuje matematika existenci boha?
TRANSCRIPT
![Page 1: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/1.jpg)
Dokazuje matematika existenci Boha?
Zdenek Pospısil
Masarykova univerzita, Prırodovedecka fakulta
Ustav matematiky a statistiky
Krestansky sbor Brno
![Page 2: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/2.jpg)
Uvod
Uvod
Vznik matematiky
Vytvarenı novoveke matematiky
Kurt Godel a dukaz �(∃x)G(x)
Zaver
Dokazuje matematika existenci Boha? – 2 / 20
![Page 3: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/3.jpg)
Vznik matematiky
Uvod
Vznik matematiky
Velky zlom 600 B.C.
Pythagoras
Mαϑηµατικα
Krize a jejı prekonanı
Euklides
Vztah k otazce
Vytvarenı novoveke matematiky
Kurt Godel a dukaz �(∃x)G(x)
Zaver
Dokazuje matematika existenci Boha? – 3 / 20
![Page 4: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/4.jpg)
Velky zlom 600 B.C.
Dokazuje matematika existenci Boha? – 4 / 20
Mythologie nefungujı
![Page 5: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/5.jpg)
Velky zlom 600 B.C.
Dokazuje matematika existenci Boha? – 4 / 20
Mythologie nefungujı
EgyptZadrzet minulost
![Page 6: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/6.jpg)
Velky zlom 600 B.C.
Dokazuje matematika existenci Boha? – 4 / 20
Mythologie nefungujı
EgyptZadrzet minulost
IzraelVelcı proroci: to dulezite prichazı z budoucnosti
![Page 7: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/7.jpg)
Velky zlom 600 B.C.
Dokazuje matematika existenci Boha? – 4 / 20
Mythologie nefungujı
EgyptZadrzet minulost
IzraelVelcı proroci: to dulezite prichazı z budoucnosti
PersieZarathustra: v soucasnosti probıha boj dobra se zlem
![Page 8: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/8.jpg)
Velky zlom 600 B.C.
Dokazuje matematika existenci Boha? – 4 / 20
Mythologie nefungujı
EgyptZadrzet minulost
IzraelVelcı proroci: to dulezite prichazı z budoucnosti
PersieZarathustra: v soucasnosti probıha boj dobra se zlem
Dalny vychodBuddha: vse je jen predstava
![Page 9: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/9.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Cicero: Lidsky zivot je podoben jedne z tech slavnostı,ktere se konajı za ucasti celeho Recka a jsou spojenys vypravnymi hrami. Tam nekterı hledajı slavu a cestnyvenec v sportovnım zapolenı, jine tam privadı zisk a vydelekpri kupovanı a prodavanı, a je take urcita skupina lidı –ta je nejuslechtilejsı –, kterı se neshanejı ani po potlesku,ani po vydelku, ale prichazejı tam jako divaci a pozorne siprohlızejı, co a jak se tam deje.
![Page 10: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/10.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Cicero: Lidsky zivot je podoben jedne z tech slavnostı,ktere se konajı za ucasti celeho Recka a jsou spojenys vypravnymi hrami. Tam nekterı hledajı slavu a cestnyvenec v sportovnım zapolenı, jine tam privadı zisk a vydelekpri kupovanı a prodavanı, a je take urcita skupina lidı –ta je nejuslechtilejsı –, kterı se neshanejı ani po potlesku,ani po vydelku, ale prichazejı tam jako divaci a pozorne siprohlızejı, co a jak se tam deje.
![Page 11: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/11.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Cicero: Lidsky zivot je podoben jedne z tech slavnostı,ktere se konajı za ucasti celeho Recka a jsou spojenys vypravnymi hrami. Tam nekterı hledajı slavu a cestnyvenec v sportovnım zapolenı, jine tam privadı zisk a vydelekpri kupovanı a prodavanı, a je take urcita skupina lidı –ta je nejuslechtilejsı –, kterı se neshanejı ani po potlesku,ani po vydelku, ale prichazejı tam jako divaci a pozorne siprohlızejı, co a jak se tam deje.
ω = πℓ
√
T
![Page 12: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/12.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Cicero: Lidsky zivot je podoben jedne z tech slavnostı,ktere se konajı za ucasti celeho Recka a jsou spojenys vypravnymi hrami. Tam nekterı hledajı slavu a cestnyvenec v sportovnım zapolenı, jine tam privadı zisk a vydelekpri kupovanı a prodavanı, a je take urcita skupina lidı –ta je nejuslechtilejsı –, kterı se neshanejı ani po potlesku,ani po vydelku, ale prichazejı tam jako divaci a pozorne siprohlızejı, co a jak se tam deje.
ω = πℓ
√
T
• ••••
•••••••••
••••••••••••••••
![Page 13: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/13.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Cicero: Lidsky zivot je podoben jedne z tech slavnostı,ktere se konajı za ucasti celeho Recka a jsou spojenys vypravnymi hrami. Tam nekterı hledajı slavu a cestnyvenec v sportovnım zapolenı, jine tam privadı zisk a vydelekpri kupovanı a prodavanı, a je take urcita skupina lidı –ta je nejuslechtilejsı –, kterı se neshanejı ani po potlesku,ani po vydelku, ale prichazejı tam jako divaci a pozorne siprohlızejı, co a jak se tam deje.
ω = πℓ
√
T
• ••••
•••••••••
••••••••••••••••
• ••• ••••••
••••••••••
![Page 14: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/14.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
![Page 15: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/15.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Zakladem jsoucna je αιϑµoς (cıslo, pocet, velicina, kolikost).
Co je nejmoudrejsı? – Cıslo a potom ten, kdo dal vecem jmena. . . . Co je
nejkrasnejsı? – Harmonie. Co je nejmocnejsı? – Myslenka. ... cıslu se podoba
vsechno.
Cıslo vladne vesmıru. Cıslo je uvnitr vsech vecı.
![Page 16: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/16.jpg)
Pythagoras
Dokazuje matematika existenci Boha? – 5 / 20
Aristoteles: A jezto videli [pythagorejci] v cıslech stavy a pomeryharmoniı a jezto se jim zdalo, ze se i vse ostatnı podoba celousvou prirozenostı cıslum a ze cısla jsou prvnı z cele prırody,usoudili, ze prvky cısel jsou tez prvky vsech vecı a ze cely vesmırje harmoniı a cıslem.
![Page 17: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/17.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
![Page 18: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/18.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
neco mezi επιστηµη (znamost, lat. scientia)γνωσις (poznanı, lat. cognitio)
![Page 19: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/19.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
neco mezi επιστηµη (znamost, lat. scientia)γνωσις (poznanı, lat. cognitio)
µαϑηµατικoς nalezejıcı k nauce (ucednık i pojednanı)µαϑηµατικα vsechny veci, ktere jsou teto naucne povahy
![Page 20: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/20.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
neco mezi επιστηµη (znamost, lat. scientia)γνωσις (poznanı, lat. cognitio)
µαϑηµατικoς nalezejıcı k nauce (ucednık i pojednanı)µαϑηµατικα vsechny veci, ktere jsou teto naucne povahy
(plural strednıho rodu)
![Page 21: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/21.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
neco mezi επιστηµη (znamost, lat. scientia)γνωσις (poznanı, lat. cognitio)
µαϑηµατικoς nalezejıcı k nauce (ucednık i pojednanı)µαϑηµατικα vsechny veci, ktere jsou teto naucne povahy
(plural strednıho rodu)
Vlivem pythagorejskych ucednıku (µαϑηµατικoι) se vyznam slovamatematika zuzil na zabyvanı se cısly.
![Page 22: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/22.jpg)
Mαϑηµατικα
Dokazuje matematika existenci Boha? – 6 / 20
µαϑησις poucenı, naucenıµαϑητης ucednıkµαϑηµα nauka, to co je k naucenı
neco mezi επιστηµη (znamost, lat. scientia)γνωσις (poznanı, lat. cognitio)
µαϑηµατικoς nalezejıcı k nauce (ucednık i pojednanı)µαϑηµατικα vsechny veci, ktere jsou teto naucne povahy
(plural strednıho rodu)
Vlivem pythagorejskych ucednıku (µαϑηµατικoι) se vyznam slovamatematika zuzil na zabyvanı se cısly a geometrickymi objekty.
![Page 23: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/23.jpg)
Krize a jejı prekonanı
Dokazuje matematika existenci Boha? – 7 / 20
![Page 24: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/24.jpg)
Krize a jejı prekonanı
Dokazuje matematika existenci Boha? – 7 / 20
![Page 25: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/25.jpg)
Krize a jejı prekonanı
Dokazuje matematika existenci Boha? – 7 / 20
Geometrie je vedenı o vecne existujıcım.
![Page 26: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/26.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
![Page 27: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/27.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
![Page 28: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/28.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
• Zakladnı pojmy (vymery)
![Page 29: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/29.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
• Zakladnı pojmy (vymery)
Prvotnı (primitivnı)Slozene
![Page 30: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/30.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
• Zakladnı pojmy (vymery)
Prvotnı (primitivnı)Slozene
• Axiomy (zasady)
![Page 31: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/31.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
• Zakladnı pojmy (vymery)
Prvotnı (primitivnı)Slozene
• Axiomy (zasady)
• Postulaty (ulohy prvotne)
![Page 32: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/32.jpg)
Euklides
Dokazuje matematika existenci Boha? – 8 / 20
Zaklady (Στoιχεια, Elementa)
• Zakladnı pojmy (vymery)
Prvotnı (primitivnı)Slozene
• Axiomy (zasady)
• Postulaty (ulohy prvotne)
Platon: . . . mame uvazovat, jake asi je to, o cem jeste nevıme, coto jest. Nuze uvolni mi aspon neco malo svou vladu a dovol mi tozkoumat s uzitım predpokladu. . . Slovy
”s uzitım predpokladu“
rozumım zkoumati tak, jak to casto delajı geometrove.
![Page 33: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/33.jpg)
Vztah k otazce
Dokazuje matematika existenci Boha? – 9 / 20
![Page 34: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/34.jpg)
Vztah k otazce
Dokazuje matematika existenci Boha? – 9 / 20
Paul Tillich: Buh je hlubina skutecnosti; kdo vı o hlubine, vı oBohu, byt pro tuto hlubinu uzıva jine jmeno.Hlubina nenı v tomto prıpade opakem vysiny, nybrz protiklademmelkosti a povrchnosti.
![Page 35: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/35.jpg)
Vztah k otazce
Dokazuje matematika existenci Boha? – 9 / 20
Paul Tillich: Buh je hlubina skutecnosti; kdo vı o hlubine, vı oBohu, byt pro tuto hlubinu uzıva jine jmeno.Hlubina nenı v tomto prıpade opakem vysiny, nybrz protiklademmelkosti a povrchnosti.
Ludwig Wittgenstein: Zadne nabozenske vyznanı nehresilozneuzıvanım metafyzickych vyrazu tolik jako matematika.
![Page 36: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/36.jpg)
Vytvarenı novoveke matematiky
Uvod
Vznik matematiky
Vytvarenı novoveke matematiky
Novoveka matematika
Buh v matematice?
Kurt Godel a dukaz �(∃x)G(x)
Zaver
Dokazuje matematika existenci Boha? – 10 / 20
![Page 37: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/37.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Ladislav Kvasz: Matematika 16. a 17.stoletı nebyla pouhym obnovenım anticketradice. Lisila se od nı v cele rade aspektu,ktere mohou – podle meho nazoru – bytpripsany vlivu monotheisticke theologie namatematiku.
![Page 38: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/38.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)
Matematicka analyza (diferencialnı a integralnı pocet)
Pravdepodobnost a statistika
Logika a teorie mnozin
![Page 39: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/39.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznama
Matematicka analyza (diferencialnı a integralnı pocet)
Pravdepodobnost a statistika
Logika a teorie mnozin
Abu ‘Abdallah Muhammad ibn Musa al-Chwarizmı (790–840)
![Page 40: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/40.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznamaprostor
Matematicka analyza (diferencialnı a integralnı pocet)
Pravdepodobnost a statistika
Logika a teorie mnozin
Isaac Newton (1643–1727)
![Page 41: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/41.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznamaprostor
Matematicka analyza (diferencialnı a integralnı pocet)pohyb, infinitesimal (nekonecne mala velicina, ε, δ)
Pravdepodobnost a statistika
Logika a teorie mnozin
Gottfried Wilhelm von Leibniz (1646–1716) Isaac Newton (1643–1727)
![Page 42: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/42.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznamaprostor
Matematicka analyza (diferencialnı a integralnı pocet)pohyb, infinitesimal (nekonecne mala velicina, ε, δ)
Pravdepodobnost a statistikanahoda
Logika a teorie mnozin
Blaise Pascal (1623–1662)
![Page 43: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/43.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznamaprostor
Matematicka analyza (diferencialnı a integralnı pocet)pohyb, infinitesimal (nekonecne mala velicina, ε, δ)
Pravdepodobnost a statistikanahoda
Logika a teorie mnozinnekonecno
Bernard Bolzano (1781–1848)
![Page 44: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/44.jpg)
Novoveka matematika
Dokazuje matematika existenci Boha? – 11 / 20
Obsah kursu matematiky
Linearnı algebra (algebra a geometrie)neznamaprostor
Matematicka analyza (diferencialnı a integralnı pocet)pohyb, infinitesimal (nekonecne mala velicina, ε, δ)
Pravdepodobnost a statistikanahoda
Logika a teorie mnozinnekonecno
![Page 45: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/45.jpg)
Buh v matematice?
Dokazuje matematika existenci Boha? – 12 / 20
Aurelius Augustin: Buh je naprosto vsude; proto mysl zije v nema pohybuje se v nem a ma v nem sve bytı. . . Pamatuje si ho tımze se obracı k Panu jako ke svetlu, ktere ji urcitym zpusobemzasahlo, i kdyz od nej byla odvracena.
![Page 46: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/46.jpg)
Buh v matematice?
Dokazuje matematika existenci Boha? – 12 / 20
Aurelius Augustin: Buh je naprosto vsude; proto mysl zije v nema pohybuje se v nem a ma v nem sve bytı. . . Pamatuje si ho tımze se obracı k Panu jako ke svetlu, ktere ji urcitym zpusobemzasahlo, i kdyz od nej byla odvracena.
Ladislav Kvasz: Starı chapali ontologii v jednote s epistemologiı.Svet je takovy, jak se jevı; proto naprıklad nekonecno nebonahoda, ktere se jim jevily jako nejasne, za nejasne povazovali.Pro modernıho cloveka se vsak ontologie a epistemologie pod-statne lisı. Bytı sveta je urceno vsemocnym Bohem, proto jesvet dokonaly. Naproti tomu nase vnımanı je urceno nasimiomezenymi schopnostmi, a proto je nejasne. A prave totorozstepenı ontologie a epistemologie umoznilo matematizacitakovych pojmu jako nekonecno, pohyb, promenna, nahoda;navzdory tomu, ze se jevı jako nejasne.
![Page 47: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/47.jpg)
Buh v matematice?
Dokazuje matematika existenci Boha? – 12 / 20
Petr Vopenka: Novoveka veda cerpa z tolika predpojatostızdedenych ze scholastiky, ze je schopna zpetne dokazat, ze jenutne, aby byl Buh. Nejde pochopitelne o nejakeho novodobevykladaneho Boha, ale o takoveho, jenz odpovıda pomernejednoduchym stredovekym predstavam. Avsak prave vedeckydukaz nutnosti takoveho Boha – uvahami sice nepresvedcivymi,avsak obvyklymi v novoveke matematice a logice – dosvedcuje,o jake predpojatosti se novoveka veda opıra, i kdyz si toho nenıvedoma.
![Page 48: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/48.jpg)
Kurt Godel a dukaz �(∃x)G(x)
Uvod
Vznik matematiky
Vytvarenı novoveke matematiky
Kurt Godel a dukaz �(∃x)G(x)
Kurt Godel
Kurt Godel a dukaz nutne existence Boha
Analyza dukazu
Godeluv system
�(∃x)G(x) a existence Boha
Zaver
Dokazuje matematika existenci Boha? – 13 / 20
![Page 49: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/49.jpg)
Kurt Godel
Dokazuje matematika existenci Boha? – 14 / 20
1906 28. dubna narozen v Brne (Pekarska 5)
1912–1916 Evangelicka zakladnı skola v Brne (s nemeckou recı)
1916–1924 Realne gymnazium v Brne (s nemeckou recı)
1924 Vstupuje na univerzitu ve Vıdni
1927 Seznamuje se s Adelou Nimburskou, roz. Porketovou
1929 Vzdava se ceskoslovenskeho obcanstvı, nabyva obcanstvı rakouskeho24. rıjna obhajuje disertaci Uber die Vollstandigkeit des Logikkalkulus.
1929–1939 Zasadnı vysledky na poli matematicke logiky
1931 Uber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I.Monatshefte fur Mathematik und Physik, 38, 137–198.
1933 11. brezna habilitovan na Vıdenske univerzite
1938 20. zarı svatba s Adelou Nimburskou ve Vıdni
1940 V lednu az breznu cesta manzelu Godelovych do USA (pres Sibir, Yokohamu a San Franciscodo Princetonu)
1947 What is Cantor’s continuum problem? American Mathematical Monthly, 54, 515–525.
1948 Zıskava americke obcanstvı
1949 An example of a new type of cosmological solutions of Einstein’s field equations of gravitation.Review of Modern Physics, 21, 447-450.
1958 Uber eine bischer noch nicht benutze Erweiterung des finiten Standpunktes. Dialectica, 12,280–287. (Poslednı publikovana prace)
1978 14. ledna umıra v Princetonu
1992 9. dubna zalozena Spolecnost Kurta Godela v Brne
1996 25.–29. srpna mezinarodnı konference Logical Foundations of Mathematics, computer Sci-
ence and Physics – Kurt Godel Legacy v Brne
2008 12.–13. zarı symposium Otazky popularizace dıla Kurta Godela v Brne
![Page 50: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/50.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.
![Page 51: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/51.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.Zacatkem 70. let se o dukazu zacalo mluvit
![Page 52: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/52.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.Zacatkem 70. let se o dukazu zacalo mluvit
1970 tento dukaz diskutoval Dana Scott na seminariv Princetonu.
![Page 53: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/53.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.Zacatkem 70. let se o dukazu zacalo mluvit
1970 tento dukaz diskutoval Dana Scott na seminariv Princetonu.
1987 Jordan Howard Sobel dukaz analyzoval (sbornıkOn being and saying, MIT).
![Page 54: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/54.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.Zacatkem 70. let se o dukazu zacalo mluvit
1970 tento dukaz diskutoval Dana Scott na seminariv Princetonu.
1987 Jordan Howard Sobel dukaz analyzoval (sbornıkOn being and saying, MIT).
1990 Godeluv dukaz publikovan (Collected works III,vcetne textu souvisejıcıch a prvnı varianty dukazu).
![Page 55: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/55.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
1941 prvnı verse striktne logickeho dukazu existenceBoha.Zacatkem 70. let se o dukazu zacalo mluvit
1970 tento dukaz diskutoval Dana Scott na seminariv Princetonu.
1987 Jordan Howard Sobel dukaz analyzoval (sbornıkOn being and saying, MIT).
1990 Godeluv dukaz publikovan (Collected works III,vcetne textu souvisejıcıch a prvnı varianty dukazu).
1990 C. Anthony Anderson dukaz modifikoval.
![Page 56: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/56.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
Kurt Godel nechtel svuj dukaz publikovat, aby si snad nekdo nemyslel, zeskutecne verı v Boha, zatımco se jen zabyval logickym zkoumanım.(Rozmluva s Oskarem Morgensternem)
![Page 57: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/57.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
Kurt Godel nechtel svuj dukaz publikovat, aby si snad nekdo nemyslel, zeskutecne verı v Boha, zatımco se jen zabyval logickym zkoumanım.(Rozmluva s Oskarem Morgensternem)
Sve stanovisko charakterizoval jako spıse theisticke nez deisticke, blizsıLeibnizovi nez Spinozovi.
![Page 58: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/58.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
Kurt Godel nechtel svuj dukaz publikovat, aby si snad nekdo nemyslel, zeskutecne verı v Boha, zatımco se jen zabyval logickym zkoumanım.(Rozmluva s Oskarem Morgensternem)
Sve stanovisko charakterizoval jako spıse theisticke nez deisticke, blizsıLeibnizovi nez Spinozovi.
Samozrejme zdaleka nejsme schopni vedecky potvrdit theologicky obraz sveta.Ale bylo by mozne, verım, pochopit cistym rozumem (bez odvolavanı se navıru v jakekoliv nabozenstvı), ze theologicky pohled na svet je zcela slucitelnyse vsemi dostupnymi daty. To se jiz pred 250 lety pokusil udelat proslulyfilosof a matematik Leibniz a o totez jsem se pokousel ja. (Dopis matce)
![Page 59: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/59.jpg)
Kurt Godel a dukaz nutne existence Boha
Dokazuje matematika existenci Boha? – 15 / 20
![Page 60: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/60.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Dukaz: Konecna posloupnost vyroku, z nichz kazdy je (logickym) axiomem,postulatem (teorie), vyrokem jiz dokazanym nebo vznikl z predchozıch clenuposloupnosti pomocı definovanych odvozovacıch pravidel.
![Page 61: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/61.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Dukaz: Konecna posloupnost vyroku, z nichz kazdy je (logickym) axiomem,postulatem (teorie), vyrokem jiz dokazanym nebo vznikl z predchozıch clenuposloupnosti pomocı definovanych odvozovacıch pravidel.
Dukaz vyroku Φ: Dukaz, jehoz poslednım clenem je Φ.
![Page 62: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/62.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Dukaz: Konecna posloupnost vyroku, z nichz kazdy je (logickym) axiomem,postulatem (teorie), vyrokem jiz dokazanym nebo vznikl z predchozıch clenuposloupnosti pomocı definovanych odvozovacıch pravidel.
Dukaz vyroku Φ: Dukaz, jehoz poslednım clenem je Φ.
Dukaz vyroku Φ sporem: Dukaz, jehoz prvnım clenem je vyrok ¬Φ av nemz se vyskytujı vyroky Θ a ¬Θ.
![Page 63: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/63.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:
![Page 64: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/64.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
![Page 65: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/65.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)
![Page 66: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/66.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
![Page 67: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/67.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
![Page 68: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/68.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
![Page 69: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/69.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky
![Page 70: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/70.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ
![Page 71: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/71.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
![Page 72: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/72.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
Modalnı logiky
![Page 73: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/73.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
Modalnı logiky(m1) �(Φ → Ψ) → (�Φ → �Ψ)
![Page 74: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/74.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
Modalnı logiky(m1) �(Φ → Ψ) → (�Φ → �Ψ)(m2) �Φ → Φ
![Page 75: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/75.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
Modalnı logiky(m1) �(Φ → Ψ) → (�Φ → �Ψ)(m2) �Φ → Φ(m3) ♦Φ → �♦Φ
![Page 76: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/76.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Axiomy:Vyrokove logiky
(v1) Φ → (Ψ → Φ)(v2)
(
Φ → (Ψ → Θ))
→(
(Φ → Ψ) → (Φ → Θ))
(v3) (Φ → Ψ) →(
(Φ → ¬Ψ) → ¬Φ)
(v4) ¬¬Φ → Φ
Predikatove logiky(p1) (∀ξ)Φ → Φ(p2) ¬(∀ξ)Φ ≡ (∃ξ)¬Φ, ¬(∃ξ)Φ ≡ (∀ξ)¬Φ
Modalnı logiky(m1) �(Φ → Ψ) → (�Φ → �Ψ)(m2) �Φ → Φ(m3) ♦Φ → �♦Φ(m4) ¬�Φ ≡ ♦¬Φ, ¬♦Φ ≡ �¬Φ
![Page 77: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/77.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
![Page 78: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/78.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
![Page 79: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/79.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
![Page 80: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/80.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
3. Je-li Φ ≡ Ψ dokazatelnym vyrokem (tautologiı), axiomem, postulatemnebo definicı, pak kazdy vyskyt Φ lze nahradit Ψ.
![Page 81: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/81.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
3. Je-li Φ ≡ Ψ dokazatelnym vyrokem (tautologiı), axiomem, postulatemnebo definicı, pak kazdy vyskyt Φ lze nahradit Ψ.
4. (∃ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu dosud neobjevil.
![Page 82: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/82.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
3. Je-li Φ ≡ Ψ dokazatelnym vyrokem (tautologiı), axiomem, postulatemnebo definicı, pak kazdy vyskyt Φ lze nahradit Ψ.
4. (∃ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu dosud neobjevil.
5. (∀ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu objevil predvyrokem ∀(ξ)Φ(ξ).
![Page 83: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/83.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
3. Je-li Φ ≡ Ψ dokazatelnym vyrokem (tautologiı), axiomem, postulatemnebo definicı, pak kazdy vyskyt Φ lze nahradit Ψ.
4. (∃ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu dosud neobjevil.
5. (∀ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu objevil predvyrokem ∀(ξ)Φ(ξ).
6. Φ | ∀(ξ)Φ.
![Page 84: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/84.jpg)
Analyza dukazu
Dokazuje matematika existenci Boha? – 16 / 20
Odvozovacı pravidla:
1. Φ → Ψ, Φ | Ψ.
2. Φ & Ψ | Φ. Φ & Ψ | Ψ. Φ, Ψ | Φ & Ψ.
3. Je-li Φ ≡ Ψ dokazatelnym vyrokem (tautologiı), axiomem, postulatemnebo definicı, pak kazdy vyskyt Φ lze nahradit Ψ.
4. (∃ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu dosud neobjevil.
5. (∀ξ)Φ(ξ) | Φ(α); pritom α je symbol, ktery se v dukazu objevil predvyrokem ∀(ξ)Φ(ξ).
6. Φ | ∀(ξ)Φ.
7. Φ | �Φ.
![Page 85: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/85.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
![Page 86: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/86.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda:
![Page 87: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/87.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, z
![Page 88: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/88.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
![Page 89: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/89.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.
![Page 90: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/90.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
![Page 91: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/91.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat:
![Page 92: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/92.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
![Page 93: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/93.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice:
![Page 94: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/94.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
![Page 95: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/95.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
![Page 96: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/96.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
![Page 97: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/97.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty:
![Page 98: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/98.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty: (A1) P(X) ≡ ¬P(¬X)
![Page 99: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/99.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty: (A1) P(X) ≡ ¬P(¬X)
(A2)(
P(X) & �(∀x)(
X(x) → Y (x))
)
→ P(Y )
![Page 100: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/100.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty: (A1) P(X) ≡ ¬P(¬X)
(A2)(
P(X) & �(∀x)(
X(x) → Y (x))
)
→ P(Y )
(A3) P(X) → �P(X)
![Page 101: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/101.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty: (A1) P(X) ≡ ¬P(¬X)
(A2)(
P(X) & �(∀x)(
X(x) → Y (x))
)
→ P(Y )
(A3) P(X) → �P(X)(A4) P(G)
![Page 102: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/102.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Abeceda: Objekty: a, b, c, . . . , x, y, zVlastnosti objektu: A,B,C, . . . , X, Y, Z
Vztahy mezi vlastnostmi a objekty: X Rel y ap.Vlastnosti vlastnostı: A,B, C, . . .
Primitivnı predikat: P
Definice: G(x) ≡def (∀X)(
P(X) → X(x))
X Ess a ≡def X(a) & (∀Y )(
Y (a) → �(∀z)(
X(z) → Y (z))
)
N(a) ≡def (∀X)(
X Ess a → �(∃x)X(x))
Postulaty: (A1) P(X) ≡ ¬P(¬X)
(A2)(
P(X) & �(∀x)(
X(x) → Y (x))
)
→ P(Y )
(A3) P(X) → �P(X)(A4) P(G)(A5) P(N)
![Page 103: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/103.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Kroky dukazu:
T1 (Veta) P(X) → ♦(∃x)X(x)
C1 (Dusledek) ♦(∃x)G(x)
L1 (Lemma) G(x) → (∀X)(
X(x) → P(X))
T2 (Veta) G(x) → GEssx
L6 (Lemma) G(x) → �(∃x)G(x)
C2 (Dusledek) �(∃x)G(x)
![Page 104: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/104.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Kroky dukazu:
T1 (Veta) P(X) → ♦(∃x)X(x)
C1 (Dusledek) ♦(∃x)G(x)
L1 (Lemma) G(x) → (∀X)(
X(x) → P(X))
T2 (Veta) G(x) → GEssx
L6 (Lemma) G(x) → �(∃x)G(x)
C2 (Dusledek) �(∃x)G(x)
Podrobnosti ...
![Page 105: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/105.jpg)
Godeluv system
Dokazuje matematika existenci Boha? – 17 / 20
Kroky dukazu:
T1 (Veta) P(X) → ♦(∃x)X(x)
C1 (Dusledek) ♦(∃x)G(x)
L1 (Lemma) G(x) → (∀X)(
X(x) → P(X))
T2 (Veta) G(x) → GEssx
L6 (Lemma) G(x) → �(∃x)G(x)
C2 (Dusledek) �(∃x)G(x)
C3 (Dusledek) (∀x)(∀y)(
G(x) & G(y))
→ x = yDukaz ovsem vyuzıva axiomy rovnosti predikatoveho poctu, ktere nebyly uvedeny
![Page 106: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/106.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
![Page 107: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/107.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
Stanislav Sousedık: Protoze autor teto knihy povazuje Godeluvdukaz za pravdepodobne (. . . ) zdarily a dukazy Swinburnovyza vysce presvedcive, bude v dalsım vychazet z predpokladu, zeBuh (. . . ) realne (nezavisle na nasem vedomı) existuje.
![Page 108: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/108.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
Stanislav Sousedık: Protoze autor teto knihy povazuje Godeluvdukaz za pravdepodobne (. . . ) zdarily a dukazy Swinburnovyza vysce presvedcive, bude v dalsım vychazet z predpokladu, zeBuh (. . . ) realne (nezavisle na nasem vedomı) existuje.
Pavol Zlatos: . . . aka uboha by bola nasa viera, keby pre nasGodelove axiomy a definıcie, ako aj logicke axiomy a pravidlamodalnej logiky druheho radu boly l’ahsie prijatel’ne a uveritel’nenez samotne tvrdenie o nevyhnutnosti Bozej existencie.
![Page 109: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/109.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
Stanislav Sousedık: Protoze autor teto knihy povazuje Godeluvdukaz za pravdepodobne (. . . ) zdarily a dukazy Swinburnovyza vysce presvedcive, bude v dalsım vychazet z predpokladu, zeBuh (. . . ) realne (nezavisle na nasem vedomı) existuje.
Pavol Zlatos: . . . aka uboha by bola nasa viera, keby pre nasGodelove axiomy a definıcie, ako aj logicke axiomy a pravidlamodalnej logiky druheho radu boly l’ahsie prijatel’ne a uveritel’nenez samotne tvrdenie o nevyhnutnosti Bozej existencie.
Petr Vopenka: . . . nema pravo nazyvat se Bohem takove jsoucno,ktere je podrızeno rozumu. Rozum nestojı nad Bohem, ale Buhstojı nad rozumem.
![Page 110: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/110.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
Pavol Zlatos: . . . aka uboha by bola nasa viera, keby pre nasGodelove axiomy a definıcie, ako aj logicke axiomy a pravidlamodalnej logiky druheho radu boly l’ahsie prijatel’ne a uveritel’nenez samotne tvrdenie o nevyhnutnosti Bozej existencie.
Petr Vopenka: . . . nema pravo nazyvat se Bohem takove jsoucno,ktere je podrızeno rozumu. Rozum nestojı nad Bohem, ale Buhstojı nad rozumem.
Petr Hajek: Nabozenska vıra nespocıva v prijetı nejakych ax-iomu, ale v prijetı zpusobu zivota (ktere prichazı za pozvanım).
![Page 111: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/111.jpg)
�(∃x)G(x) a existence Boha
Dokazuje matematika existenci Boha? – 18 / 20
Pavol Zlatos: . . . aka uboha by bola nasa viera, keby pre nasGodelove axiomy a definıcie, ako aj logicke axiomy a pravidlamodalnej logiky druheho radu boly l’ahsie prijatel’ne a uveritel’nenez samotne tvrdenie o nevyhnutnosti Bozej existencie.
Petr Vopenka: . . . nema pravo nazyvat se Bohem takove jsoucno,ktere je podrızeno rozumu. Rozum nestojı nad Bohem, ale Buhstojı nad rozumem.
Petr Hajek: Nabozenska vıra nespocıva v prijetı nejakych ax-iomu, ale v prijetı zpusobu zivota (ktere prichazı za pozvanım).Verım, ze Godeluv dukaz by si zaslouzil podobny rozbor, jakypredstavil slavny protestantsky theolog K. Barth pro dukazAnselmuv.
![Page 112: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/112.jpg)
Zaver
Uvod
Vznik matematiky
Vytvarenı novoveke matematiky
Kurt Godel a dukaz �(∃x)G(x)
Zaver
Hledanı . . .
Dokazuje matematika existenci Boha? – 19 / 20
![Page 113: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/113.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
![Page 114: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/114.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
![Page 115: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/115.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
![Page 116: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/116.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
![Page 117: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/117.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
![Page 118: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/118.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
ano?�
��QQQzpusob?
QQQ
���
![Page 119: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/119.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
ano?�
��QQQzpusob?
QQQ
���
spokojit se s dosazenym odmıtnout smysl hledanı
![Page 120: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/120.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
ano?�
��QQQzpusob?
QQQ
���
spokojit se s dosazenym odmıtnout smysl hledanı
?
agnosticismus
?dogmatismus
![Page 121: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/121.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
ano?�
��QQQzpusob?
QQQ
���
spokojit se s dosazenym odmıtnout smysl hledanı
?
agnosticismus
?dogmatismus(a)theismus
![Page 122: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/122.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20
?
hledanı
?�
��QQQnalezeno?
QQQ
���
ano- h
ne?�
��QQQrezignace?
QQQ
���
ne
-
ano?�
��QQQzpusob?
QQQ
���
spokojit se s dosazenym odmıtnout smysl hledanı
?
agnosticismus
?dogmatismus(a)theismus
q
�
![Page 123: Dokazuje matematika existenci Boha?](https://reader033.vdocuments.mx/reader033/viewer/2022051200/58780f4a1a28abcb108be01c/html5/thumbnails/123.jpg)
Hledanı . . .
Dokazuje matematika existenci Boha? – 20 / 20