i giganti sulle cui spalle stiamo

Ringraziamenti

Nulla in questo sito è matematica nuova né scienza nuova. Ogni società zooide si misura con idee che appartengono ad altri, le riscopre, o ne è istruita. Questa pagina le onora — i teoremi, i risultati, i metodi e i pensatori su cui il progetto si appoggia. È la compagna onesta della prima dottrina: nomina ciò che non hai fatto.

La matematica & i problemi del millennio

Ipotesi di Riemann — Bernhard Riemann; criteri equivalenti e indizi di Guy Robin, Jeffrey Lagarias, Franz Mertens & August Möbius (la congettura di Mertens confutata da Andrew Odlyzko & Herman te Riele), Nicolaas de Bruijn & Charles Newman (Λ ≥ 0 di Brad Rodgers & Terence Tao); statistica degli zeri di Hugh Montgomery, Andrew Odlyzko, Freeman Dyson, Michael Berry & Jonathan Keating, e l'idea di Hilbert–Pólya; numeri superabbondanti di Srinivasa Ramanujan, Leonidas Alaoglu & Paul Erdős. Ultimo teorema di Fermat — Pierre de Fermat; dimostrato da Andrew Wiles con Richard Taylor (modularità: Taniyama–Shimura–Weil). Teorema dei quattro colori — Kenneth Appel & Wolfgang Haken. Congettura di Poincaré — Henri Poincaré; dimostrata da Grigori Perelman via il flusso di Ricci di Richard Hamilton; le superfici via Leonhard Euler. Navier–Stokes — Claude-Louis Navier & George Stokes; Jean Leray; Caffarelli–Kohn–Nirenberg; Beale–Kato–Majda; Ladyzhenskaya–Prodi–Serrin; Escauriaza–Seregin–Šverák; i modelli diadici e a gusci di Katz–Pavlović, Cheskidov, Friedlander; l'equazione mediata di Terence Tao; la cascata di Lewis Fry Richardson & Andrey Kolmogorov. Aritmetica — Giuseppe Peano; il raddoppio egizio (moltiplicazione del contadino russo); John Napier (i logaritmi); Kurt Gödel (la numerazione di Gödel); il teorema cinese dei resti (Sunzi; l'aritmetica dei residui di Garner & Svoboda); il ternario bilanciato (il calcolatore Setun).

La fisica & la teoria dei campi

Yang–Mills e il gap di massa — Chen-Ning Yang & Robert Mills; la teoria di gauge su reticolo (Kenneth Wilson); la libertà asintotica (David Gross, Frank Wilczek, David Politzer); la teoria quantistica dei campi costruttiva (James Glimm & Arthur Jaffe); gli assiomi di Osterwalder–Schrader e di Wightman. I problemi del Premio del Millennio sono enunciati dal Clay Mathematics Institute.

Le grandi misurazioni

Eratostene, Aristarco, Ole Rømer, Henry Cavendish & Isaac Newton, Joseph von Fraunhofer, Edwin Hubble, e Johannes Kepler.

Logica, calcolo & formalizzazione

La dimostrazione per risoluzione — John Alan Robinson; i teoremi di incompletezza e il problema della fermata — Kurt Gödel & Alan Turing; l'accelerazione di zeta via Cohen–Rodriguez Villegas–Zagier; il dimostratore Lean (Leonardo de Moura) e la comunità mathlib; il metodo del blueprint di Patrick Massot; la stirpe della scoperta a macchina — AM/EURISKO (Douglas Lenat), la Ramanujan Machine, e FunSearch / AlphaTensor (DeepMind).

La musica & il suono

L'intonazione naturale e la sintesi additiva; il riverbero di Manfred Schroeder; la sintesi granulare (Iannis Xenakis, Curtis Roads); il rilevatore d'altezza YIN (Alain de Cheveigné & Hideki Kawahara); i profili tonali di Krumhansl–Schmuckler (Carol Krumhansl); il coro di voci in massa in omaggio a «I'm Not in Love» dei 10cc; e i compositori da cui la musica dei teoremi prende in prestito — Bach, Mozart, Beethoven, Wagner, Debussy, Bartók, Stravinsky, Schoenberg, Xenakis, Ligeti, Penderecki, Philip Glass.

I sistemi viventi & la metafora

Il mixomicete (Physarum; gli esperimenti del labirinto di Toshiyuki Nakagaki) e la colonia del sifonoforo; gli stormi (i Boids di Craig Reynolds); gli automi cellulari (von Neumann, Conway, Wolfram); le creature virtuali evolute (Karl Sims).

La mente, la società & il linguaggio

Thorstein Veblen (The Theory of the Leisure Class), William Graham Sumner (Folkways), Robert Park & 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); i limiti della memoria di lavoro secondo George A. Miller.

Strumenti, norme & testi

Il linguaggio Rust e la sua libreria standard; i testi di pubblico dominio del Project Gutenberg; i manuali aperti sotto Creative Commons di OpenStax e dei loro autori; la leggibilità secondo Rudolf Flesch; il contrasto di accessibilità secondo le WCAG del W3C. La rete è stata progettata e scritta in dialogo continuo con un assistente IA.

Nominare qui una persona, un'opera o un risultato è accreditare un'influenza o un'idea che questo progetto usa o ha riscoperto. Non implica avallo, partecipazione né affiliazione da parte loro. Questo progetto non riproduce nessuna di queste opere — vi si appoggia soltanto. Le correzioni sono benvenute.