28:28Arithmetic Notation for Sets
A 28-minute video from Thomas Kern: “Arithmetic Notation for Sets”.
Thomas Kern
2.69K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
28:28
57:51Automata on Oddly-Shaped Words 6.5: First-Order Expressiveness of WS2S
A 58-minute video from Thomas Kern: “Automata on Oddly-Shaped Words 6.5: First-Order Expressiveness of WS2S”.
31:15Automata on Oddly-Shaped Words 7: Ranked Tree Automata
A 31-minute video from Thomas Kern: “Automata on Oddly-Shaped Words 7: Ranked Tree Automata”.
13:41Axiom or Theorem
A 14-minute video from Thomas Kern: “Axiom or Theorem”.
13:45Beginning Proofs: Matrix Multiplication is Distributive
Intro
A 14-minute video from Thomas Kern: “Beginning Proofs: Matrix Multiplication is Distributive”.
16:55Bourbaki's Definition of Cardinality
A 17-minute video from Thomas Kern: “Bourbaki's Definition of Cardinality”.
18:20Counter Machines
A 18-minute video from Thomas Kern: “Counter Machines”.
50:16Defining continuity of real functions of real variables in Calc 1 textbooks
Intro
A 50-minute video from Thomas Kern: “Defining continuity of real functions of real variables in Calc 1 textbooks”.
6:58From Primitive Recursive to Computable Functions
A 7-minute video from Thomas Kern: “From Primitive Recursive to Computable Functions”.
57:47Generating the Primitive Recursive Functions
A 58-minute video from Thomas Kern: “Generating the Primitive Recursive Functions”.
16:03Gravity Inside a Hollow Sphere
A 16-minute video from Thomas Kern: “Gravity Inside a Hollow Sphere”.
15:24Kummer's Theorem
A 15-minute video from Thomas Kern: “Kummer's Theorem”.
12:41Limitations of Primitive Recursive Functions
A 13-minute video from Thomas Kern: “Limitations of Primitive Recursive Functions”.
54:57Normal Forms for the String Logic
A 55-minute video from Thomas Kern: “Normal Forms for the String Logic”.
1:08:16Practical Programming of Diophantine Equations
A 68-minute video from Thomas Kern: “Practical Programming of Diophantine Equations”.
32:42Primitive Recursive Arithmetic
A 33-minute video from Thomas Kern: “Primitive Recursive Arithmetic”.
35:46Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme
A 36-minute video from Thomas Kern: “Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme”.
32:46Regular Languages and Model Theory 10.5: First-Order Expressiveness of WS1S
A 33-minute video from Thomas Kern: “Regular Languages and Model Theory 10.5: First-Order Expressiveness of WS1S”.
45:43Richardson's Theorem
A 46-minute video from Thomas Kern: “Richardson's Theorem”.
1:11:53Singlefold Unary Exponential Diophantine Inequalities with Two Intermediate Variables
A 72-minute video from Thomas Kern: “Singlefold Unary Exponential Diophantine Inequalities with Two Intermediate Variables”.
17:31Solution to the Entscheidungsproblem through Numero-Logical Methods
A 18-minute video from Thomas Kern: “Solution to the Entscheidungsproblem through Numero-Logical Methods”.
1:02:05Some Lucas Sequences
A 62-minute video from Thomas Kern: “Some Lucas Sequences”.
28:59The Chain Rule and Chaos
A 29-minute video from Thomas Kern: “The Chain Rule and Chaos”.
28:40Turing Degrees: The Structure of Relative Computability
A 29-minute video from Thomas Kern: “Turing Degrees: The Structure of Relative Computability”.
29:56What is Primitive Recursion?
A 30-minute video from Thomas Kern: “What is Primitive Recursion?”.