New answers tagged

0

on the contrary, Kant thought that he can prove the unprovability of God, while Goedel's second theorem stand in contradiction to Kant https://link.springer.com/article/10.1007/s11787-019-00235-z,


0

"Since Godel's Second Incompleteness Theorem says we cannot be sure the system is consistent, is there a way to know for sure whether any given statement is true AND there does not exist any proof in that system showing the statement is false?" As talked about in the comments, I will assume we're talking about the appropriate formal mathematical ...


Top 50 recent answers are included