os gigantes sobre os quais nos apoiamos

Créditos

Nada neste site é matemática nova nem ciência nova. Cada sociedade zooide se mede contra ideias que pertencem a outros, as redescobre, ou é ensinada por elas. Esta página as honra — os teoremas, os resultados, os métodos e os pensadores sobre os quais o projeto se apoia. É a companheira honesta da primeira doutrina: nomeie o que você não fez.

A matemática & os problemas do milênio

Hipótese de Riemann — Bernhard Riemann; critérios equivalentes e indícios de Guy Robin, Jeffrey Lagarias, Franz Mertens & August Möbius (a conjectura de Mertens refutada por Andrew Odlyzko & Herman te Riele), Nicolaas de Bruijn & Charles Newman (Λ ≥ 0 por Brad Rodgers & Terence Tao); estatística dos zeros de Hugh Montgomery, Andrew Odlyzko, Freeman Dyson, Michael Berry & Jonathan Keating, e a ideia de Hilbert–Pólya; números superabundantes de Srinivasa Ramanujan, Leonidas Alaoglu & Paul Erdős. Último teorema de Fermat — Pierre de Fermat; provado por Andrew Wiles com Richard Taylor (modularidade: Taniyama–Shimura–Weil). Teorema das quatro cores — Kenneth Appel & Wolfgang Haken. Conjectura de Poincaré — Henri Poincaré; provada por Grigori Perelman via o fluxo de Ricci de Richard Hamilton; as superfícies 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; os modelos diádicos e em camadas de Katz–Pavlović, Cheskidov, Friedlander; a equação promediada de Terence Tao; a cascata de Lewis Fry Richardson & Andrey Kolmogorov. Aritmética — Giuseppe Peano; a duplicação egípcia (multiplicação do camponês russo); John Napier (os logaritmos); Kurt Gödel (a numeração de Gödel); o teorema chinês dos restos (Sunzi; a aritmética de resíduos de Garner & Svoboda); o ternário balanceado (o computador Setun).

A física & a teoria de campos

Yang–Mills e o gap de massa — Chen-Ning Yang & Robert Mills; a teoria de calibre na rede (Kenneth Wilson); a liberdade assintótica (David Gross, Frank Wilczek, David Politzer); a teoria quântica de campos construtiva (James Glimm & Arthur Jaffe); os axiomas de Osterwalder–Schrader e de Wightman. Os problemas do Prêmio do Milênio são enunciados pelo Clay Mathematics Institute.

As grandes medições

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

Lógica, computação & formalização

A prova por resolução — John Alan Robinson; os teoremas da incompletude e o problema da parada — Kurt Gödel & Alan Turing; a aceleração de zeta via Cohen–Rodriguez Villegas–Zagier; o provador Lean (Leonardo de Moura) e a comunidade mathlib; o método do blueprint de Patrick Massot; a linhagem da descoberta por máquina — AM/EURISKO (Douglas Lenat), a Ramanujan Machine, e FunSearch / AlphaTensor (DeepMind).

A música & o som

A afinação justa e a síntese aditiva; o reverberador de Manfred Schroeder; a síntese granular (Iannis Xenakis, Curtis Roads); o detector de altura YIN (Alain de Cheveigné & Hideki Kawahara); os perfis tonais de Krumhansl–Schmuckler (Carol Krumhansl); o coro de vozes em massa em homenagem a «I'm Not in Love» do 10cc; e os compositores que a música dos teoremas toma emprestado — Bach, Mozart, Beethoven, Wagner, Debussy, Bartók, Stravinsky, Schoenberg, Xenakis, Ligeti, Penderecki, Philip Glass.

Os sistemas vivos & a metáfora

O mixomiceto (Physarum; os experimentos de labirinto de Toshiyuki Nakagaki) e a colônia do sifonóforo; as revoadas (os Boids de Craig Reynolds); os autômatos celulares (von Neumann, Conway, Wolfram); as criaturas virtuais evoluídas (Karl Sims).

A mente, a sociedade & a linguagem

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); os limites da memória de trabalho segundo George A. Miller.

Ferramentas, normas & textos

A linguagem Rust e sua biblioteca padrão; os textos de domínio público do Project Gutenberg; os livros didáticos abertos sob Creative Commons da OpenStax e de seus autores; a legibilidade segundo Rudolf Flesch; o contraste de acessibilidade segundo as WCAG do W3C. A rede foi projetada e escrita em diálogo contínuo com um assistente de IA.

Nomear aqui uma pessoa, uma obra ou um resultado é creditar uma influência ou uma ideia que este projeto usa ou redescobriu. Não implica endosso, participação nem afiliação da parte deles. Este projeto não reproduz nenhuma dessas obras — apenas se apoia nelas. Correções são bem-vindas.