guptanishank

Comments

Maybe not prove everything perfectly? Say we have a language which says that this statement "currently points to being true". In the sense a language ...
October 31, 2017 at 02:42
Thank you for that link! This one after my exams. But I got the essentials here. I don't really care about the law of excluded middle. But I just came...
October 30, 2017 at 23:11
Hahahaha
October 30, 2017 at 21:43
Ah! So that is the secret of Kurt Godel's theorems.
October 30, 2017 at 21:25
Thank you fdrake and others! Just one last thing: Where does the law of excluded middle fit into all this? A statement must be either true or false. S...
October 30, 2017 at 16:14
I thought that only applied to the Riemann hypothesis?
October 30, 2017 at 11:45
Yeah, I am not denying that. Not at all! In fact one could prove a statement to be true, even outside the axioms I guess. The question however is if a...
October 30, 2017 at 11:37
Yes, in a sense that is what I meant. That there might be unproven truths, but we try and map all the truths to statements in mathematics which can be...
October 30, 2017 at 11:28
Because true statements have to be proven as true?
October 30, 2017 at 11:15
What? How can something unprovable be true?
October 30, 2017 at 10:59
I understand the reverse statement which you said. But, my point is that how do we even know if a mathematical statement is true or not without an axi...
October 30, 2017 at 10:16
I did not get your answer. Some of the sentences were not clear, sorry. Will read the link you sent.
October 30, 2017 at 09:54