[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15463718 [View]
File: 379 KB, 1920x1080, field.jpg [View same] [iqdb] [saucenao] [google]
15463718

If the formalised Kurt Godel's proof is valid then does this not mean god exists? What are the issues with this?

https://www.isa-afp.org/entries/Types_Tableaus_and_Goedels_God.html#

Navigation
View posts[+24][+48][+96]