Richardson's Theorem
Thomas Kern
Richardson's Theorem
45:43
Solution to the Entscheidungsproblem through Numero-Logical Methods
Thomas Kern
Solution to the Entscheidungsproblem through Numero-Logical Methods
17:31
Primitive Recursive Arithmetic
Thomas Kern
Primitive Recursive Arithmetic
32:42
Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme
Thomas Kern
Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme
35:46
From Primitive Recursive to Computable Functions
Thomas Kern
From Primitive Recursive to Computable Functions
6:58
Limitations of Primitive Recursive Functions
Thomas Kern
Limitations of Primitive Recursive Functions
12:41
What is Primitive Recursion?
Thomas Kern
What is Primitive Recursion?
29:56
Practical Programming of Diophantine Equations
Thomas Kern
Practical Programming of Diophantine Equations
1:08:16
Counter Machines
Thomas Kern
Counter Machines
18:20
Turing Degrees: The Structure of Relative Computability
Thomas Kern
Turing Degrees: The Structure of Relative Computability
28:40
Gravity Inside a Hollow Sphere
Thomas Kern
Gravity Inside a Hollow Sphere
16:03
Goals-Based Teaching and Assessment
Thomas Kern
Goals-Based Teaching and Assessment
42:12
Transition Matrices #SoMEpi
Thomas Kern
Transition Matrices #SoMEpi
20:38
Some Lucas Sequences
Thomas Kern
Some Lucas Sequences
1:02:05
The Philosophy of Food-Tongue
Thomas Kern
The Philosophy of Food-Tongue
27:30
Is there a function whose Cartesian and polar plots agree?
Thomas Kern
Is there a function whose Cartesian and polar plots agree?
15:33
A Matrix Determinant Puzzle
Thomas Kern
A Matrix Determinant Puzzle
22:13
Some Old Function Notation
Thomas Kern
Some Old Function Notation
22:02
Automata on Oddly-Shaped Words 6: The Weak Monadic Second-Order Theory of 2 Successors
Thomas Kern
Automata on Oddly-Shaped Words 6: The Weak Monadic Second-Order Theory of 2 Successors
37:45
Automata on Oddly-Shaped Words 5: The Myhill-Nerode Theorem for Trees
Thomas Kern
Automata on Oddly-Shaped Words 5: The Myhill-Nerode Theorem for Trees
17:52
Yeager and Walton's "Social-Psychological Interventions in Education: They're Not Magic"
Thomas Kern
Yeager and Walton's "Social-Psychological Interventions in Education: They're Not Magic"
17:58
Automata on Oddly-Shaped Words 4: Tree Regular Expressions and the Pumping Lemma
Thomas Kern
Automata on Oddly-Shaped Words 4: Tree Regular Expressions and the Pumping Lemma
30:10
Automata on Oddly-Shaped Words 3: Nondeterministic Binary Tree Automata
Thomas Kern
Automata on Oddly-Shaped Words 3: Nondeterministic Binary Tree Automata
14:47
Automata on Oddly-Shaped Words 2: Root-to-Leaf Automata
Thomas Kern
Automata on Oddly-Shaped Words 2: Root-to-Leaf Automata
25:15
Automata on Oddly-Shaped Words 1: Binary Tree Automata
Thomas Kern
Automata on Oddly-Shaped Words 1: Binary Tree Automata
17:37
Incorporating Academic Practices into Dark Souls
Thomas Kern
Incorporating Academic Practices into Dark Souls
8:12
Regular Languages and Model Theory 4.5: Paths, Noncommutative Formal Power Series, Row Reduction
Thomas Kern
Regular Languages and Model Theory 4.5: Paths, Noncommutative Formal Power Series, Row Reduction
39:46
Regular Languages and Model Theory 7.5: Generating the Regular Languages
Thomas Kern
Regular Languages and Model Theory 7.5: Generating the Regular Languages
18:12
A Peculiar Connection between the Axiom of Choice and Infinite Hat Games
Thomas Kern
A Peculiar Connection between the Axiom of Choice and Infinite Hat Games
17:41
Regular Languages and Model Theory 35: Omitting Types and ω+Z Models
Thomas Kern
Regular Languages and Model Theory 35: Omitting Types and ω+Z Models
35:54
Regular Languages and Model Theory 34: Cut-and-Paste Models
Thomas Kern
Regular Languages and Model Theory 34: Cut-and-Paste Models
24:09
FRACTRAN: Could the Collatz conjecture be undecidable?
Thomas Kern
FRACTRAN: Could the Collatz conjecture be undecidable?
34:07
FRACTRAN Walkthrough and Strategy Guide
Thomas Kern
FRACTRAN Walkthrough and Strategy Guide
2:12:54
Regular Languages and Model Theory 33: Tail-Head Functions
Thomas Kern
Regular Languages and Model Theory 33: Tail-Head Functions
38:04
Introduction to FRACTRAN with my #SoME3 entry
Thomas Kern
Introduction to FRACTRAN with my #SoME3 entry
8:32
Regular Languages and Model Theory 32: Standard Parts of Nonstandard Models of WS1S
Thomas Kern
Regular Languages and Model Theory 32: Standard Parts of Nonstandard Models of WS1S
18:59
Regular Languages and Model Theory 31: Piecewise Periodic Models and Non-Models of WS1S
Thomas Kern
Regular Languages and Model Theory 31: Piecewise Periodic Models and Non-Models of WS1S
37:33
Regular Languages and Model Theory 30: Axiomatizing WS1S
Thomas Kern
Regular Languages and Model Theory 30: Axiomatizing WS1S
55:14
Regular Languages and Model Theory 29: More Regular Functions
Thomas Kern
Regular Languages and Model Theory 29: More Regular Functions
26:37
Regular Languages and Model Theory 28: The Krohn-Rhodes Theorem
Thomas Kern
Regular Languages and Model Theory 28: The Krohn-Rhodes Theorem
1:04:43
Regular Languages and Model Theory 27: Finite Monoids
Thomas Kern
Regular Languages and Model Theory 27: Finite Monoids
18:08
Regular Languages and Model Theory 26: Regular Functions
Thomas Kern
Regular Languages and Model Theory 26: Regular Functions
50:18
Regular Languages and Model Theory 25: Nonstandard Models of WS1S
Thomas Kern
Regular Languages and Model Theory 25: Nonstandard Models of WS1S
35:59
Regular Languages and Model Theory 24: Nonstandard Models of Presburger Arithmetic
Thomas Kern
Regular Languages and Model Theory 24: Nonstandard Models of Presburger Arithmetic
27:22
Regular Languages and Model Theory 23: Semilinear Sets
Thomas Kern
Regular Languages and Model Theory 23: Semilinear Sets
33:19
Regular Languages and Model Theory 22: Quantifier Elimination in Presburger Arithmetic
Thomas Kern
Regular Languages and Model Theory 22: Quantifier Elimination in Presburger Arithmetic
35:33
Regular Languages and Model Theory 21: Quantifier Elimination on Fields
Thomas Kern
Regular Languages and Model Theory 21: Quantifier Elimination on Fields
49:15
Regular Languages and Model Theory 20: Normal Forms in Logic
Thomas Kern
Regular Languages and Model Theory 20: Normal Forms in Logic
22:53
Regular Languages and Model Theory 19: Canonical Forms for Polynomials
Thomas Kern
Regular Languages and Model Theory 19: Canonical Forms for Polynomials
24:33
Regular Languages and Model Theory 18: Ehrenfeucht-Fraïssé Games on the Successor Structure (N,S)
Thomas Kern
Regular Languages and Model Theory 18: Ehrenfeucht-Fraïssé Games on the Successor Structure (N,S)
56:25
Regular Languages and Model Theory 17: Ehrenfeucht-Fraïssé Games on The Linear Ordering Omega
Thomas Kern
Regular Languages and Model Theory 17: Ehrenfeucht-Fraïssé Games on The Linear Ordering Omega
50:33
Regular Languages and Model Theory 16: Compactness
Thomas Kern
Regular Languages and Model Theory 16: Compactness
54:47
Regular Languages and Model Theory 15: Structure-Preserving Maps
Thomas Kern
Regular Languages and Model Theory 15: Structure-Preserving Maps
38:36
Regular Languages and Model Theory 14: Turing Machines with Read-Only Input are Regular
Thomas Kern
Regular Languages and Model Theory 14: Turing Machines with Read-Only Input are Regular
27:44
Regular Languages and Model Theory 13: Undecidable Extensions of Regular Logics
Thomas Kern
Regular Languages and Model Theory 13: Undecidable Extensions of Regular Logics
38:04
Regular Languages and Model Theory 12: Gödel's Beta Function
Thomas Kern
Regular Languages and Model Theory 12: Gödel's Beta Function
21:45
Regular Languages and Model Theory 11: The Trouble with Turing Machines
Thomas Kern
Regular Languages and Model Theory 11: The Trouble with Turing Machines
25:12
Regular Languages and Model Theory 10: Büchi Arithmetic
Thomas Kern
Regular Languages and Model Theory 10: Büchi Arithmetic
27:14
Regular Languages and Model Theory 9: The Weak Monadic Second-Order Theory of 1 Successor (WS1S)
Thomas Kern
Regular Languages and Model Theory 9: The Weak Monadic Second-Order Theory of 1 Successor (WS1S)
29:04
Regular Languages and Model Theory 8: The Word Logic
Thomas Kern
Regular Languages and Model Theory 8: The Word Logic
43:04
Regular Languages and Model Theory 7: Closure Properties
Thomas Kern
Regular Languages and Model Theory 7: Closure Properties
21:07
Regular Languages and Model Theory 6: The Myhill-Nerode Theorem
Thomas Kern
Regular Languages and Model Theory 6: The Myhill-Nerode Theorem
20:27
Regular Languages and Model Theory 5: Monoids
Thomas Kern
Regular Languages and Model Theory 5: Monoids
23:30
Regular Languages and Model Theory 4: Regular Expressions
Thomas Kern
Regular Languages and Model Theory 4: Regular Expressions
32:52
Regular Languages and Model Theory 3: Constraint Systems and NFAs
Thomas Kern
Regular Languages and Model Theory 3: Constraint Systems and NFAs
29:41
Regular Languages and Model Theory 2: Regular Relations and Leaving Automata Running
Thomas Kern
Regular Languages and Model Theory 2: Regular Relations and Leaving Automata Running
21:09
A Teaching Book Report: "Why Don't Students Like School?"
Thomas Kern
A Teaching Book Report: "Why Don't Students Like School?"
1:10:47
Regular Languages and Model Theory 1: Finite Automata
Thomas Kern
Regular Languages and Model Theory 1: Finite Automata
20:03
Permutation Models: Staring into the Formless Void
Thomas Kern
Permutation Models: Staring into the Formless Void
44:04
3 Matrix Determinants and a Puzzle
Thomas Kern
3 Matrix Determinants and a Puzzle
30:18
3 Ways of Inverting a Matrix
Thomas Kern
3 Ways of Inverting a Matrix
17:39
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2
Thomas Kern
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2
22:56
Parallax Mapping: Holographic Textures in Video Games
Thomas Kern
Parallax Mapping: Holographic Textures in Video Games
40:40
Lagrange Polynomials
Thomas Kern
Lagrange Polynomials
9:33
The derivative of x^x: Multivariable chain rule (matrix version)
Thomas Kern
The derivative of x^x: Multivariable chain rule (matrix version)
15:51
Light Bouncing off a Mirror
Thomas Kern
Light Bouncing off a Mirror
4:38
Alpha Thresholding: Hyperbolas in Video Games
Thomas Kern
Alpha Thresholding: Hyperbolas in Video Games
28:12
Parsing Mathematical Formulas
Thomas Kern
Parsing Mathematical Formulas
19:43
Finding the Gravity Inside a Hollow Sphere
Thomas Kern
Finding the Gravity Inside a Hollow Sphere
28:12
Rollability
Thomas Kern
Rollability
12:58
Scrambled Slide Rule
Thomas Kern
Scrambled Slide Rule
22:24
What Rules do we Need to Work With Quaternions?
Thomas Kern
What Rules do we Need to Work With Quaternions?
28:54
Really Long Words
Thomas Kern
Really Long Words
36:45
Hyperdo Zometool Model Build: Understanding the 120-cell
Thomas Kern
Hyperdo Zometool Model Build: Understanding the 120-cell
49:26
Permanently Changing the Value of One Half in KAS.js
Thomas Kern
Permanently Changing the Value of One Half in KAS.js
36:53
Linear Algebra Without Matrices (a Video About Basis Matrices)
Thomas Kern
Linear Algebra Without Matrices (a Video About Basis Matrices)
15:37
How Hard Is Calc 2?
Thomas Kern
How Hard Is Calc 2?
30:50
Harmonic Functions on Graphs
Thomas Kern
Harmonic Functions on Graphs
20:52
HRUMC Spring 2021 What is Model Theory?
Thomas Kern
HRUMC Spring 2021 What is Model Theory?
25:37
Visual Demonstration of the Chain Rule
Thomas Kern
Visual Demonstration of the Chain Rule
27:05
Singular Points of Complex Hypersurfaces
Thomas Kern
Singular Points of Complex Hypersurfaces
52:29
Calculus: What is pi squared? (1)
Thomas Kern
Calculus: What is pi squared? (1)
16:13
Algebra: Incorrect Calculators
Thomas Kern
Algebra: Incorrect Calculators
15:43
2^458,042,803,530,860,947,692 = 7777777777... MegaFavNumbers
Thomas Kern
2^458,042,803,530,860,947,692 = 7777777777... MegaFavNumbers
24:51