Primitive Recursive Arithmetic

2026 32:42
Synopsis
In this video, I give a brief overview of primitive recursive arithmetic, as presented in Goodstein's "Recursive Number Theory".

You Might Also Like

Math 557 – Primitive recursive functions 14:39
Math 557 – Primitive Recursive Functions
2022
Mathematical Logic, part 5: examples of primitive recursive functions 2:35
Mathematical Logic, Part 5: Examples Of Primitive Recursive ...
2021
What is Primitive Recursion? 29:56
What Is Primitive Recursion?
2026
Limitations of Primitive Recursive Functions 12:41
Limitations Of Primitive Recursive Functions
2026
Number Theory Whithout Mathematics 1:33:44
Number Theory Whithout Mathematics
2021
Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme 35:46
Primitive Recursive Functions Are Pure Iterative: Simplifica...
2026
Mathematical Logic, part 5: partial recursive functions 2:31
Mathematical Logic, Part 5: Partial Recursive Functions
2021
Recursive Formulas For Sequences 2:54
Recursive Formulas For Sequences
2019
Primitive recursive function 24:25
Primitive Recursive Function
2015
Primitive Recursive (Homotopy) Type Theory - Johannes Schipp von Branitz 21:11
Primitive Recursive (homotopy) Type Theory - Johannes Schipp...
2025
Theory of Computation: Showing Functions to Be Primitive Recursive (Part 03) 3:05
Theory Of Computation: Showing Functions To Be Primitive Rec...
2012
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.