Arithmetical Foundations: Recursion. Evaluation. Consistency
dc.contributor.author | Pfender, Michael | |
dc.date.accessioned | 2021-12-17T10:09:59Z | |
dc.date.available | 2021-12-17T10:09:59Z | |
dc.date.issued | 2012-12-21 | |
dc.description.abstract | Gödel Theorems revisited. Categorical free-variables theory of Primitive Recursion and of mu-recursion. Definition of evaluation of PR codes as Complexity Controlled Iteration, introduction of a theory piR of non-infinite descent of such iterations. (Termination conditioned) Soundness of evaluation. Decidability of PR free-variable predicates. Decidability of Consistency formulae for piR and set theory as special cases. omega-inconsistency of set theory and derivability of consistency formula for Descent theory piR as consequences. | en |
dc.identifier.issn | 2197-8085 | |
dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/15730 | |
dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-14503 | |
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 | Gödel Theorems | en |
dc.subject.other | categorical recursion | en |
dc.subject.other | decidability | en |
dc.subject.other | consistency provability | en |
dc.title | Arithmetical Foundations: Recursion. Evaluation. Consistency | 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 | 2012, 38 | en |
tub.series.name | Preprint-Reihe des Instituts für Mathematik, Technische Universität Berlin | en |
tub.subject.msc2000 | 03G30 Categorical logic, topoi | en |
tub.subject.msc2000 | 03B30 Foundations of classical theories | en |
tub.subject.msc2000 | 03D75 Abstract and axiomatic computability and recursion theory | en |
Files
Original bundle
1 - 1 of 1