los gigantes sobre los que estamos

Créditos

Nada en este sitio es matemática nueva ni ciencia nueva. Cada sociedad zooid aborda, redescubre o es enseñada por ideas que pertenecen a otros. Esta página los acredita — los teoremas, resultados, métodos y pensadores sobre los que se construye el proyecto. Es la compañera honesta de la primera doctrina: nombra lo que no hiciste.

Matemáticas y los problemas del milenio

Hipótesis de Riemann — Bernhard Riemann; criterios equivalentes y evidencia de Guy Robin, Jeffrey Lagarias, Franz Mertens y August Möbius (la conjetura de Mertens refutada por Andrew Odlyzko y Herman te Riele), Nicolaas de Bruijn y Charles Newman (Λ ≥ 0 por Brad Rodgers y Terence Tao); estadística de ceros de Hugh Montgomery, Andrew Odlyzko, Freeman Dyson, Michael Berry y Jonathan Keating, y la idea de Hilbert–Pólya; números superabundantes de Srinivasa Ramanujan, Leonidas Alaoglu y Paul Erdős. Último teorema de Fermat — Pierre de Fermat; probado por Andrew Wiles con Richard Taylor (modularidad: Taniyama–Shimura–Weil). Teorema de los cuatro colores — Kenneth Appel y Wolfgang Haken. Conjetura de Poincaré — Henri Poincaré; probada por Grigori Perelman mediante el flujo de Ricci de Richard Hamilton; superficies vía Leonhard Euler. Navier–Stokes — Claude-Louis Navier y George Stokes; Jean Leray; Caffarelli–Kohn–Nirenberg; Beale–Kato–Majda; Ladyzhenskaya–Prodi–Serrin; Escauriaza–Seregin–Šverák; los modelos diádicos/de capas de Katz–Pavlović, Cheskidov, Friedlander; la ecuación promediada de Terence Tao; la cascada de Lewis Fry Richardson y Andrey Kolmogorov. Aritmética — Giuseppe Peano; la duplicación egipcia/del campesino ruso; John Napier (logaritmos); Kurt Gödel (numeración de Gödel); el teorema chino del resto (Sunzi; la aritmética de residuos de Garner y Svoboda); ternario balanceado (la computadora Setun).

Física y teoría de campos

Yang–Mills y el salto de masa — Chen-Ning Yang y Robert Mills; teoría gauge en red (Kenneth Wilson); libertad asintótica (David Gross, Frank Wilczek, David Politzer); teoría cuántica de campos constructiva (James Glimm y Arthur Jaffe); los axiomas de Osterwalder–Schrader y Wightman. Los Problemas del Premio del Milenio están planteados por el Clay Mathematics Institute.

Las grandes mediciones

Eratóstenes, Aristarco, Ole Rømer, Henry Cavendish e Isaac Newton, Joseph von Fraunhofer, Edwin Hubble y Johannes Kepler.

Lógica, computación y formalización

Demostración por resolución — John Alan Robinson; los teoremas de incompletitud y el problema de la parada — Kurt Gödel y Alan Turing; aceleración de zeta vía Cohen–Rodriguez Villegas–Zagier; el demostrador Lean (Leonardo de Moura) y la comunidad mathlib; la metodología de plano (blueprint) de Patrick Massot; el linaje del descubrimiento por máquina — AM/EURISKO (Douglas Lenat), la Ramanujan Machine, y FunSearch / AlphaTensor (DeepMind).

Música y sonido

Entonación justa y síntesis aditiva; el reverberador de Manfred Schroeder; síntesis granular (Iannis Xenakis, Curtis Roads); el detector de tono YIN (Alain de Cheveigné y Hideki Kawahara); los perfiles de detección de tonalidad de Krumhansl–Schmuckler (Carol Krumhansl); el coro de voces en masa como homenaje a «I'm Not in Love» de 10cc; y los compositores que la música-teorema toma prestados — Bach, Mozart, Beethoven, Wagner, Debussy, Bartók, Stravinsky, Schoenberg, Xenakis, Ligeti, Penderecki, Philip Glass.

Sistemas vivos y la metáfora

El moho mucilaginoso (Physarum; los experimentos de laberinto de Toshiyuki Nakagaki) y la colonia del sifonóforo; el vuelo en bandada (los Boids de Craig Reynolds); autómatas celulares (von Neumann, Conway, Wolfram); criaturas virtuales evolucionadas (Karl Sims).

Mente, sociedad y lenguaje

Thorstein Veblen (The Theory of the Leisure Class), William Graham Sumner (Folkways), Robert Park e Ernest Burgess (Introduction to the Science of Sociology), Ron J. Hammond (Sociology of the Family), OpenStax (Introduction to Sociology 3e), Sigmund Freud (The Interpretation of Dreams; A General Introduction to Psychoanalysis), Alfred Binet (The Mind and the Brain), Christopher L. Klein (Essentials of Cognitive Psychology); los límites de la memoria de trabajo según George A. Miller.

Herramientas, estándares y textos

El lenguaje Rust y su biblioteca estándar; textos de dominio público de Project Gutenberg; libros de texto abiertos bajo Creative Commons de OpenStax y sus autores; legibilidad según Rudolf Flesch; contraste de accesibilidad según las WCAG del W3C. La red fue diseñada y escrita en diálogo continuo con un asistente de IA.

Nombrar aquí a una persona, obra o resultado acredita una influencia o una idea que este proyecto usa o redescubrió. No implica su respaldo, participación ni afiliación. Este proyecto no reproduce ninguna de estas obras — solo se apoya en ellas. Se agradecen las correcciones.