Signin

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

Nikolaj-K • May 4, 2024
Video Thumbnail

You May Also Like

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...