Are random axioms useful?

Details Are random axioms useful? Are random axioms useful?

2011-09-26

arxiv.org/abs/1109.5526v2

Mathematics

Logic

Scientific paper

The famous G\"odel incompleteness theorem says that for every sufficiently rich formal theory (containing formal arithmetic in some natural sense) there exist true unprovable statements. Such statements would be natural candidates for being added as axioms, but where can we obtain them? One classical (and well studied) approach is to add (to some theory T) an axiom that claims the consistency of T. In this note we discuss the other one (motivated by Chaitin's version of the G\"odel theorem) and show that it is not really useful (in the sense that it does not help us to prove new interesting theorems), at least if we are not limiting the proof complexity. We discuss also some related questions.

Affiliated with

Also associated with

No associations

Rating

Are random axioms useful? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Are random axioms useful?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Are random axioms useful? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-689039