GHU Lab · Guía general del laboratorio
Entre física y matemáticas
Argumentos animados que conectan hipótesis físicas, certificados exactos de cuantización, el laboratorio y límites experimentales.
Actualizado el 13 de octubre: 38 capítulos. Los primeros 28 conservan las explicaciones originales de pizarra; se revisa el cierre y se añaden nueve capítulos sobre cuantización, certificados Lean, hipótesis físicas y límites ATLAS/CMS.
16:53 · 38 capítulos · 1920 × 1080 · 24 fps · Subtítulos integrados; narración sintética: Microsoft Helena
Probar la demo de cuantización · Guía del módulo · Límites experimentales en el laboratorio
Sigue las explicaciones
Transcripción
Qué respalda la evidencia
Los primeros cuatro ejemplos conservan sus demostraciones ordinarias y 113 comprobaciones ejecutables. La ampliación introduce 23 declaraciones de teoremas Lean nuevas junto a 26 anteriores de SU(7): 49 en cuatro archivos. La interpretación topológica, las hipótesis físicas, las comprobaciones numéricas y los hashes cumplen funciones distintas. No certifican un modelo físico completo ni una nueva partícula observada.
Demostraciones originales y alcance (inglés) · Versión, hashes y comprobaciones de producción