About 111 results for "UCcrSMnEYhIPX_p127jI23qw"

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

Nikolaj-K • May 3, 2024

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

Nikolaj-K • May 3, 2024

Things you should know: async io

Nikolaj-K • Feb 3, 2024

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

Nikolaj-K • Jan 3, 2024

Casino strategies and some pytorch for you to work with

Nikolaj-K • Nov 3, 2023

Zolotarev's lemma: Proof by example

Nikolaj-K • Oct 3, 2023

Absorption probabilities in finite Markov chains

Nikolaj-K • Jun 3, 2023

Axiom of Regularity (Foundation) vs. Induction

Nikolaj-K • Jun 3, 2023

Four freebies of constructive arithmetic

Nikolaj-K • Jun 3, 2023