Consistency Decision I: Self-Inconsistency
dc.contributor.author | Pfender, Michael | |
dc.date.accessioned | 2021-12-17T10:14:19Z | |
dc.date.available | 2021-12-17T10:14:19Z | |
dc.date.issued | 2016-07-22 | |
dc.description.abstract | The consistency formula for gödelian Arithmetics T can be stated as free-variable predicate in terms of the categorical theory PR of primitive recursive functions/maps/predicates. Free-variable p.r. predicates are decidable by gödelian theory T, key result, built on recursive evaluation of p.r. map codes and soundness of that evaluation into theories T : internal, arithmetised p. r. map code equality is evaluated into map equality of T. In particular the free-variable p.r. consistency predicate of T is decided by T. Therefore, by Gödel's second incompleteness theorem, gödelian quantified Arithmetics T turn out to be self-inconsistent. | en |
dc.identifier.issn | 2197-8085 | |
dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/15872 | |
dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-14645 | |
dc.language.iso | en | en |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
dc.subject.ddc | 510 Mathematik | en |
dc.subject.other | primitive recursion | en |
dc.subject.other | categorical free-variables Arithmetic | en |
dc.subject.other | code evaluation | en |
dc.subject.other | soundness | en |
dc.subject.other | decidability of PR predicates | en |
dc.subject.other | Goedel theorems | en |
dc.subject.other | self-inconsistency of quantified arithmetical theories | en |
dc.title | Consistency Decision I: Self-Inconsistency | en |
dc.type | Research Paper | en |
dc.type.version | submittedVersion | en |
tub.accessrights.dnb | free | en |
tub.affiliation | Fak. 2 Mathematik und Naturwissenschaften::Inst. Mathematik | de |
tub.affiliation.faculty | Fak. 2 Mathematik und Naturwissenschaften | de |
tub.affiliation.institute | Inst. Mathematik | de |
tub.publisher.universityorinstitution | Technische Universität Berlin | en |
tub.series.issuenumber | 2016, 14 | en |
tub.series.name | Preprint-Reihe des Instituts für Mathematik, Technische Universität Berlin | en |
tub.subject.msc2000 | 03F03 Proof theory, general | en |
tub.subject.msc2000 | 18A05 Definitions, generalizations | en |
Files
Original bundle
1 - 1 of 1