Signin

Regularity and non-standard models of arithmetic #PaCE1

Nikolaj-K • May 31, 2023
Video Thumbnail

You May Also Like

Video Thumbnail

Axiom of Regularity (Foundation) vs. Induction

Nikolaj-K

Video Thumbnail

Surjections from ℕ onto ℝ. Surjections from S ⊂ ℕ onto ℕ^ℕ. All that.

Nikolaj-K

Video Thumbnail

The Infinitesimal Monad - Numberphile

Numberphile

Video Thumbnail

Joel David Hamkins—Computable quotient presentations of models of arithmetic and set theory

Joel David Hamkins

Video Thumbnail

The Platonic Representation Hypothesis (paper review)

Nikolaj-K

Video Thumbnail

Ali Enayat: Tarski's undefinability of truth theorem strikes again

NYLogic

Video Thumbnail

Neural Networks as Quantum Field Theories (NNGP, NKT, QFT, NNFT)

Nikolaj-K

Video Thumbnail

SoftMax: On derivations of its derivations, ∂σ/∂x

Nikolaj-K

Video Thumbnail

Four freebies of constructive arithmetic

Nikolaj-K

Video Thumbnail

Hyperreal Numbers: An Introduction to Infinitesimals and Nonstandard Analysis

blargoner

Video Thumbnail

Pierce's law, Consequentia Mirabilis, ¬¬-Elimination and LEM without Explosion

Nikolaj-K

Video Thumbnail

Reflecting on Extropic & manually sampling from any distribution

Nikolaj-K

Video Thumbnail

2D water magic

Steve Mould

Video Thumbnail

Absorption probabilities in finite Markov chains

Nikolaj-K

Video Thumbnail

Computing all polynomials via just ReLU activations (no learning needed), Part 1 of 2

Nikolaj-K

Video Thumbnail

Melodic Math 101: The Prince Theory - Max Martin's Secret Weapon

Top40 Theory

Video Thumbnail

Who was the WORST King in Medieval History?

Knights And Nobles

Video Thumbnail

The Amish Explained

ReligionForBreakfast

Video Thumbnail

Zolotarev's lemma: Proof by example

Nikolaj-K

Nikolaj-K

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Axiom of Regularity (Foundation) vs. Induction

Nikolaj-K

Video Thumbnail

Surjections from ℕ onto ℝ. Surjections from S ⊂ ℕ onto ℕ^ℕ. All that.

Nikolaj-K

Video Thumbnail

The Platonic Representation Hypothesis (paper review)

Nikolaj-K

Video Thumbnail

Neural Networks as Quantum Field Theories (NNGP, NKT, QFT, NNFT)

Nikolaj-K

AI Assistant

Loading...