issues
search
FormalTheology
/
GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
437
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Some FAQ questions are lacking answers/comments
#16
64J0
opened
6 months ago
0
repository checkout problem on Windows
#15
DenisPolygalov
closed
5 years ago
1
Fix Typo in L12/L13; Add new Screenshots to paper
#14
StreitDa
closed
8 years ago
1
Cleanup, Screenshots, typos
#13
StreitDa
closed
8 years ago
0
Add Kripke style Algebra of Concepts and proof, cleanup
#12
StreitDa
closed
8 years ago
1
Lenzen: Non-modal version of the proof
#11
StreitDa
closed
8 years ago
1
Leibniz/Lenzen initial commit
#10
MatthiasBentert
closed
7 years ago
1
Overhaul
#9
leonweber
closed
9 years ago
2
Remove appendix and insert the formalizations directly into the text.
#8
leonweber
closed
9 years ago
0
fixing name
#7
dogsleg
closed
9 years ago
1
Don't see the third alternative
#6
nydehi
closed
9 years ago
7
Add link for scientific review
#5
FagnerMartinsBrack
closed
9 years ago
6
Program for verification
#4
alterechtschreibung
closed
10 years ago
1
The third issue.
#3
Gallefray
closed
11 years ago
1
Question 2
#2
Gallefray
closed
11 years ago
1
Question 1
#1
Gallefray
closed
11 years ago
1