jättarna vi står på

Tack

Ingenting på denna plats är ny matematik eller ny vetenskap. Varje zooidsamhälle brottas med, återupptäcker eller undervisas av idéer som tillhör andra. Denna sida ger dem erkännande — satserna, resultaten, metoderna och tänkarna som projektet vilar på. Den är den första doktrinens ärliga följeslagare: sätt namn på det du inte gjorde.

Matematiken & millennieproblemen

Riemannhypotesen — Bernhard Riemann; ekvivalenta kriterier och belägg från Guy Robin, Jeffrey Lagarias, Franz Mertens & August Möbius (Mertens förmodan vederlagd av Andrew Odlyzko & Herman te Riele), Nicolaas de Bruijn & Charles Newman (Λ ≥ 0 av Brad Rodgers & Terence Tao); nollställestatistik från Hugh Montgomery, Andrew Odlyzko, Freeman Dyson, Michael Berry & Jonathan Keating, och Hilbert–Pólya-idén; superabundanta tal från Srinivasa Ramanujan, Leonidas Alaoglu & Paul Erdős. Fermats stora sats — Pierre de Fermat; bevisad av Andrew Wiles med Richard Taylor (modularitet: Taniyama–Shimura–Weil). Fyrfärgssatsen — Kenneth Appel & Wolfgang Haken. Poincarés förmodan — Henri Poincaré; bevisad av Grigori Perelman via Richard Hamiltons Ricci-flöde; ytorna 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; de dyadiska modellerna/skalmodellerna av Katz–Pavlović, Cheskidov, Friedlander; Terence Taos medelvärdesbildade ekvation; kaskaden efter Lewis Fry Richardson & Andrey Kolmogorov. Aritmetik — Giuseppe Peano; egyptisk fördubbling (rysk bondemultiplikation); John Napier (logaritmer); Kurt Gödel (Gödelnumrering); kinesiska restsatsen (Sunzi; restaritmetik av Garner & Svoboda); balanserat ternärt talsystem (datorn Setun).

Fysiken & fältteorin

Yang–Mills och massgapet — Chen-Ning Yang & Robert Mills; gitterteori (Kenneth Wilson); asymptotisk frihet (David Gross, Frank Wilczek, David Politzer); konstruktiv kvantfältteori (James Glimm & Arthur Jaffe); axiomen efter Osterwalder–Schrader och Wightman. Millennieprisproblemen är formulerade av Clay Mathematics Institute.

De stora mätningarna

Eratosthenes, Aristarchos, Ole Rømer, Henry Cavendish & Isaac Newton, Joseph von Fraunhofer, Edwin Hubble och Johannes Kepler.

Logik, beräkning & formalisering

Resolutionsbevisning — John Alan Robinson; ofullständighetssatserna och stopproblemet — Kurt Gödel & Alan Turing; zeta-acceleration via Cohen–Rodriguez Villegas–Zagier; bevisaren Lean (Leonardo de Moura) och mathlib-gemenskapen; Patrick Massots blueprint-metodik; maskinupptäckandets släktlinje — AM/EURISKO (Douglas Lenat), Ramanujan Machine, och FunSearch / AlphaTensor (DeepMind).

Musiken & ljudet

Ren stämning och additiv syntes; Manfred Schroeders efterklang; granulär syntes (Iannis Xenakis, Curtis Roads); tonhöjdsdetektorn YIN (Alain de Cheveigné & Hideki Kawahara); Krumhansl–Schmucklers tonartsprofiler (Carol Krumhansl); mässkören av röster som en hyllning till 10cc:s »I'm Not in Love«; och kompositörerna som satsmusiken lånar av — Bach, Mozart, Beethoven, Wagner, Debussy, Bartók, Stravinsky, Schoenberg, Xenakis, Ligeti, Penderecki, Philip Glass.

Levande system & metaforen

Slemsvampen (Physarum; Toshiyuki Nakagakis labyrintförsök) och rörmanetkolonin; flockbeteende (Craig Reynolds Boids); cellulära automater (von Neumann, Conway, Wolfram); evolverade virtuella varelser (Karl Sims).

Sinne, samhälle & språk

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); arbetsminnets gränser efter George A. Miller.

Verktyg, standarder & texter

Språket Rust och dess standardbibliotek; fria texter ur Project Gutenberg; öppna läroböcker under Creative Commons från OpenStax och deras författare; läsbarhet efter Rudolf Flesch; tillgänglighetens kontrast efter W3C:s WCAG. Nätverket formgavs och skrevs i pågående samtal med en AI-assistent.

Att en person, ett verk eller ett resultat nämns här är ett erkännande av ett inflytande eller en idé som projektet använder eller har återupptäckt. Det innebär inte deras gillande, medverkan eller anknytning. Projektet återger inget av dessa verk — det står bara på dem. Rättelser välkomnas.