Nikolaj Kuntner Nikolaj-K

The following list of 800 math subjects grew out of my embedding space research regarding proximity of mathematical texts in LLMs.

I discussed that research in a youtube video talk here:

https://youtu.be/w88Z_6UR0VM

Foundations and Logic

Axioms
Naive set theory

Mac setup, system info & agent guide

Setup and installs

Tweaks

Change to your preferred typing/trackpad style:
- Make tracking speed somewhat faster
Make click pressure lighter

This is the script for the video at

https://youtu.be/13wo1YSMIqI

product and sum notations

Goal: We want to define a transition "$\sum_N\circ\prod_N^{-1}$"

${\mathrm{iter}}(\mathrm{op}, x, 1) := x$ ${\mathrm{iter}}(\mathrm{op}, x, N+1) := \mathrm{op}({\mathrm{iter}}(\mathrm{op}, x, N), x)$

Script and python code discussed in

https://youtu.be/g3-Tmk_e42k

Motivation

1824: Carnot lays foundations of thermodynamics
1865: Clausius introduces entropy

Script for the video discussed at

https://youtu.be/yRXxBsy2Z6c

CZF's characterization of the von Neumann "hierarchy"

In this video we analyze how much we get without LEM or the Powerset axiom. (But with function spaces and the very set theoretical Replacement.) That context has semnatics where all sets are in the surjective image of a subset of ${\mathbb N}$. (Subcountability, see also subquotients.)

This is the script for the video discussed at

https://youtu.be/7gbRTShKvp8

Cardinality individual coded reals

Z_2 reals

Constrain $d_i > 0, s_i\in{0,1}$.

$i\mapsto \tfrac{n_i}{d_i}(-1)^{s_i}$ in ${\mathbb Q}^{\mathbb N}$

Dowload the Codex UI at

https://chatgpt.com/codex/

log in with your OpenAI (I assume you're on a mac here)
create a new empty folder somewhere and then with Codex open a project/thread in there
set it to Gpt-5.3-Codex (maybe Extra High)
(during runtime you might progressively want to say Yes to various permissions - you won't go far apart from downloading python stuff if you don't have it)
start chatting with it a bit, then dump in the following longer prompt at once:

This is the script discussed in the video at

https://youtu.be/gNSv2kWRv88

Gödel arithmetization and the anti-classical Church's thesis

Outlook for this video:

On the arithmetization of proof
On Gödel incompleteness with emphasis on quantifiers
Note on Existence and Disjunction property
Note on the failure of the Least Number Principle

	cd /Users/nikolajk/Dev/dream_dex

	/Users/nikolajk/miniforge3/envs/dream-dex/bin/python - <<'PY'
	from decimal import Decimal
	from pathlib import Path
	import os
	from web3 import Web3


	# =============================================================================

	<!doctype html>
	<html>
	<head>
	<title>Agentathon Round 1</title>
	</head>
	<body>
	<h1>Agentathon Round 1</h1>

	<p id="round-index">1</p>