Beyond Undecidable

Details Beyond Undecidable Beyond Undecidable

2006-06-28

arxiv.org/abs/math/0606713v1

Mathematics

General Mathematics

9 pages, for more information see http://it.geocities.com/paola_cattabriga/

Scientific paper

The predicate complementary to the well-known Godel's provability predicate
is defined. From its recursiveness new consequences concerning the
incompleteness argumentation are drawn and extended to new results of
consistency, completeness and decidability with regard to Peano Arithmetic and
the first order predicate calculus.

Affiliated with

Also associated with

No associations

Rating

Beyond Undecidable 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 Beyond Undecidable, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Beyond Undecidable will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-535434