(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Lee, Paul Chun-Kit
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	Markov's Principle constructive schools Bishop Brouwer Markov Cournot's Principle radioactive decay Poincare recurrence false vacuum decay omniscience principles LPO WLPO LLPO BISH constructive reverse mathematics Lean 4 Mathlib formal verification constructive mathematics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online