MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a proof for no proof ?

share|cite|improve this question

closed as not a real question by Anton Geraschenko Nov 5 '09 at 17:53

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

a proof for no proof? ... This question is nonsensical, maybe it's just that you weren't clear in your description. Please describe further. – Michael Hoffman Nov 5 '09 at 16:38
I'll consider reopening this question if it becomes a real question. As is, people can only speculate about what it means and then answer based on their speculations. – Anton Geraschenko Nov 5 '09 at 17:55
As long as there are logical rules, there are proofs, because each logical rule is a proof. – Zirui Wang Jun 11 '10 at 15:09
up vote 0 down vote accepted

If I understand your question you are asking can something be proved as unprovable? If so I'd suggest that Gödel's incompleteness theorems for a starting place.

"Gödel's incompleteness theorems state that any effectively generated formal theory in which all arithmetic truths can be proved is inconsistent; hence, any such consistent formal theory that can prove some arithmetic truths can't prove all arithmetic truths."ödel's_incompleteness_theorems

share|cite|improve this answer

Presuming you mean "can we know certain things absolutely without proof", the answer is "no".

There was a philosophical movement called "logical atomism" in the early 20th century (the most famous practitioner being Bertrand Russell), which claimed the world consisted of ultimate "logical atoms" and that these things could be known absolutely without proof.

Eventually (especially after Gödel) the philosophers came back round to deciding there was no such thing as "certain knowledge".

For an accessible introduction I would highly recommend the graphic novel Logcomix: An Epic Search for Truth which follows the life of Bertrand Russell.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.