Beyond Undecidable
| dc.creator | Cattabriga, Paola | |
| dc.date | 2006-06-28 | |
| dc.date.accessioned | 2026-07-07T07:17:47Z | |
| dc.date.available | 2026-07-07T07:17:47Z | |
| dc.description | 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. | |
| dc.description | 9 pages, for more information see http://it.geocities.com/paola_cattabriga/ | |
| dc.identifier | https://arxiv.org/abs/math/0606713 | |
| dc.identifier | http://arxiv.org/abs/math/0606713 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/114066 | |
| dc.subject | General Mathematics | |
| dc.subject | 03Bxx, 03A05, 03B70 | |
| dc.title | Beyond Undecidable | |
| dc.type | text |