Arithmetical Foundations - Recursion. Evaluation. Consistency

Michael Pfender

Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, G\"odel incompleteness theorems, inconsistency provability for set theory, constructive consistency.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment