Influential papers¶
flowchart LR
arc["references/papers/<br/>23 PDFs + manifest"] --> cat["this catalog<br/>per-paper move-trace"]
cat --> bp["BLUEPRINT-OF-THINKING<br/>the grammar across all"]
cat --> q["central question<br/>(POSE)"]
cat --> t["move-trace<br/>(the path)"]
cat --> v["voice quote<br/>(the fingerprint)"]- blueprint of thinking — the 16-move grammar, the five motifs, and the question generator that reads this catalog
- information science — Shannon / Kolmogorov / Hamming / Nyquist — the measurement cluster in depth
- mathematics — Gauss / Noether / Tao / Perelman — the symmetry & generality cluster
- intelligent systems — backprop + the Transformer — the substrate this swarm runs on
- diffusion models — the prior forage page; this is the next swarmgodforage cycle
- commands — forage + swarmgodforageinvestigate claimed here
S714 swarmgodforageinvestigate. 5 concurrent sub-agents (daughter pattern), one per cluster. Archive at references/papers/ (papers.json + tools/fetch_papers.py); forage record references/cross-field/forage-foundational-papers-s714.md. Rating: high.
Status: seedling | 2026-06-02 | rating: high Compress levels: L0 → L1 → L2
L0 — TL;DR (≤5 lines)¶
A downloaded archive of 27 works that changed their field, each read through the
16-move thinking grammar of BLUEPRINT-OF-THINKING. For
every paper: the one question it answered, its move-trace (the path of moves),
its single leap (the representation shift that made it possible), and a
verbatim quote that fingerprints the author's voice. 23 PDFs live in
references/papers/; re-fetch any clone with python3 tools/fetch_papers.py.
L1 — Overview¶
How to read an entry¶
- Question = the POSE: the one thing the paper answers.
- Move-trace = the ordered grammar of the paper (see the alphabet on BLUEPRINT-OF-THINKING).
- Leap = the single non-obvious move — almost always a change of representation.
- Tell = a verbatim line that exposes how the author thinks.
The roster is deliberately cross-field: the point of
BLUEPRINT-OF-THINKING is that the same moves recur
across logic, physics, mathematics, biology, and AI. It is a growing catalog —
extension roster in experiments/projects/PROJECT-006-blueprint-of-thinking.md.
Computation & Logic — motif: the undecidability spine SYMBOLIZE → DIAGONALIZE → BOUND¶
| paper | question | move-trace | the leap |
|---|---|---|---|
| Turing, On Computable Numbers (1936) | which numbers are computable by finite means? | POSE→GROUND→STRIP→CONSTRUCT→SYMBOLIZE→LIFT→DIAGONALIZE→BOUND→OPEN | "effective" = a human clerk's finite states of mind |
| Gödel, Undecidable Propositions (1931) | can one system prove every arithmetical truth? | POSE→SYMBOLIZE→TRANSLATE→CONSTRUCT→DIAGONALIZE→BOUND→INVERT→OPEN | proofs become numbers → "provable" is a number predicate |
| Church, An Unsolvable Problem (1936) | what is "effectively calculable"? | POSE→SYMBOLIZE→GROUND→UNIFY→DIAGONALIZE→BOUND→OPEN | define calculable ≡ recursive ≡ λ-definable, by fiat |
| von Neumann, EDVAC (1945) | how to organize a general computer? | POSE→STRIP→DECOMPOSE→TRANSLATE→SYMBOLIZE→UNIFY→OPEN | describe the machine in neuron language; code = data |
| Kolmogorov, Three Approaches to Information (1965) | information of an individual object? | POSE→DECOMPOSE→INVERT→CONSTRUCT→SYMBOLIZE→INVARIANT-HUNT→UNIFY→OPEN | information of one object = its shortest program |
Tells. Turing: "…the symbols which he is observing, and his 'state of mind' at that moment." · Gödel: "The analogy … with Richard's antinomy leaps to the eye." · von Neumann: "CA, CC … and M correspond to the associative neurons in the human nervous system."
Information & Cybernetics — motif: the measurement spine STRIP → SYMBOLIZE → BOUND¶
| paper | question | move-trace | the leap |
|---|---|---|---|
| Shannon, A Mathematical Theory of Communication (1948) | the channel-capacity limit? | POSE→STRIP→SYMBOLIZE→LIFT→INVARIANT-HUNT→BOUND→CONSTRUCT→UNIFY→OPEN | sever meaning; a message is one draw from an ensemble |
| Shannon, Relay & Switching Circuits (1938) | an algebra of switching? | POSE→SYMBOLIZE→TRANSLATE→CONSTRUCT→UNIFY→OPEN | a physical on/off network obeys the algebra of logic |
| Hamming, Error Correcting Codes (1950) | self-correcting codes, min redundancy? | POSE→STRIP→SYMBOLIZE→VISUALIZE→SYMBOLIZE→EXTREMIZE→CONSTRUCT→BOUND→OPEN | codewords are points; "error" becomes distance |
| Nyquist, Telegraph Transmission (1928) | max signaling rate per bandwidth? | POSE→INVERT→STRIP→SYMBOLIZE→DECOMPOSE→INVARIANT-HUNT→BOUND→OPEN | leave the time domain; read the steady-state spectrum |
| Wiener, Cybernetics (1948) | one science of control + communication? | POSE→LIFT→TRANSLATE→INVARIANT-HUNT→UNIFY→SYMBOLIZE→OPEN | feedback + message are substrate-independent |
Tells. Shannon: "reproducing at one point either exactly or approximately a message selected at another point." · Shannon (1938): "exactly analogous to the calculus of propositions used in the symbolic study of logic." · Wiener: "…by the name Cybernetics, which we form from the Greek κυβερνήτης or steersman." · Surprise: "redundancy" is a load-bearing technical term in Nyquist, Hamming, and Shannon — a literal 20-year citation chain.
Physics & Symmetry — motif: the unification spine STRIP/GROUND → INVARIANT-HUNT → UNIFY¶
| paper | question | move-trace | the leap |
|---|---|---|---|
| Einstein, Electrodynamics of Moving Bodies (1905) | space & time if c is invariant? | POSE→STRIP→GROUND→SYMBOLIZE→INVARIANT-HUNT→CONSTRUCT→UNIFY→OPEN | simultaneity is a measurement procedure, not a given |
| Noether, Invariant Variation Problems (1918) | what does a symmetry buy? | POSE→LIFT→SYMBOLIZE→INVARIANT-HUNT→DECOMPOSE→CONSTRUCT→BOUND→UNIFY | split finite symmetry (→ laws) from local symmetry (→ identities) |
| Dirac, Quantum Theory of the Electron (1928) | relativistic + first-order wave eq.? | POSE→GROUND→STRIP→CONSTRUCT→SYMBOLIZE→INVARIANT-HUNT→UNIFY→OPEN | demand first-order + linear → matrices → spin falls out |
| Feynman, Space-Time Approach to QM (1948) | rebuild QM as a sum over paths? | POSE→TRANSLATE→SYMBOLIZE→CONSTRUCT→LIFT→VISUALIZE→UNIFY→OPEN | read a Dirac analogy literally: sum over all paths |
| Bell, On the EPR Paradox (1964) | can local hidden variables match QM? | POSE→SYMBOLIZE→STRIP→CONSTRUCT→BOUND→INVERT→UNIFY→OPEN | EPR "locality" is quantitative — it caps a correlation |
Tells. Einstein: "The introduction of a 'luminiferous ether' will prove to be superfluous." · Feynman: amplitude is "an exponential whose (imaginary) phase is the classical action … for the path in question." · Bell: "…shown to be incompatible with the statistical predictions of quantum mechanics." · Surprise: the cluster orbits Einstein — Feynman translates Dirac; Noether adjudicates energy in Einstein's GR; Bell turns Einstein's own EPR locality into the weapon against hidden variables.
Modern Mathematics — motif: the generality spine TRANSLATE/LIFT → INVARIANT-HUNT → UNIFY¶
| paper | question | move-trace | the leap |
|---|---|---|---|
| Grothendieck, the "rising sea" (method) | solve by dissolving in generality | POSE→LIFT→STRIP→SYMBOLIZE→UNIFY→OPEN | let generality soften the shell until the nut opens itself |
| Witten, QFT & the Jones Polynomial (1989) | 3D-intrinsic knot invariants? | POSE→TRANSLATE→SYMBOLIZE→STRIP→INVARIANT-HUNT→CONSTRUCT→UNIFY→OPEN | a metric-free QFT's observables are topological invariants |
| Green–Tao, Primes contain long APs (2004) | APs of every length in the primes? | POSE→DECOMPOSE→LIFT→TRANSLATE→CONSTRUCT→UNIFY→OPEN | density relative to a pseudorandom host replaces absolute density |
| Perelman, Entropy formula for Ricci flow (2002) | control Ricci flow → geometrization? | POSE→TRANSLATE→SYMBOLIZE→INVARIANT-HUNT→EXTREMIZE→BOUND→CONSTRUCT→OPEN | Ricci flow is the gradient flow of an entropy functional |
| Mandelbrot, Coast of Britain? (1967) | why does length diverge with ruler size? | POSE→GROUND→INVERT→INVARIANT-HUNT→SYMBOLIZE→LIFT→UNIFY→OPEN | length is the wrong invariant; the scaling dimension is right |
| Erdős, the probabilistic method | prove existence without constructing? | POSE→SYMBOLIZE→CONSTRUCT→BOUND→UNIFY→OPEN | to prove existence, don't search — count (P[failure] < 1) |
Tells. Grothendieck: "the sea advances insensibly in silence … yet finally it surrounds the resistant substance." · Tao: "a fundamental dichotomy between structure and randomness." · Erdős: "You don't have to believe in God, but you should believe in The Book." · Surprise: Witten (physics) and Perelman (PDE) make the same move — STRIP the metric / TRANSLATE from physics — to crack purely mathematical problems.
Life Sciences & Modern AI — motif: the construction spine CONSTRUCT → INVARIANT-HUNT → OPEN¶
| paper | question | move-trace | the leap |
|---|---|---|---|
| Watson & Crick, Structure for DNA (1953) | 3D structure that explains heredity? | POSE→STRIP→CONSTRUCT→INVARIANT-HUNT→VISUALIZE→BOUND→UNIFY→OPEN | complementary base-pairing is the copying mechanism |
| McClintock, Mutable Loci in Maize (1950) | cause of unstable kernel color? | GROUND→SYMBOLIZE→CONSTRUCT→DECOMPOSE→INVARIANT-HUNT→INVERT→UNIFY→OPEN | a genetic locus that moves, not a gene that merely breaks |
| Rumelhart–Hinton–Williams, Back-propagation (1986) | learn hidden representations? | POSE→SYMBOLIZE→DECOMPOSE→EXTREMIZE→CONSTRUCT→VISUALIZE→UNIFY→OPEN | "what should the hidden layer represent?" is differentiable |
| Vaswani et al., Attention Is All You Need (2017) | transduction by attention alone? | POSE→STRIP→CONSTRUCT→SYMBOLIZE→DECOMPOSE→EXTREMIZE→UNIFY→OPEN | attention is not an add-on; it is the entire substrate |
| Gauss, Disquisitiones Arithmeticae (1801) | number theory as one deductive science? | SYMBOLIZE→LIFT→INVARIANT-HUNT→CONSTRUCT→BOUND→UNIFY→OPEN | divisibility is an equivalence relation → arithmetic is algebra |
Tells. Watson-Crick: "It has not escaped our notice that the specific pairing we have postulated immediately suggests a possible copying mechanism for the genetic material." · Vaswani: "…based solely on attention mechanisms, dispensing with recurrence and convolutions entirely." · Gauss: "pauca sed matura" (few, but ripe). · Surprise: McClintock (1950) and Vaswani (2017) share one engine — a content-addressed movable unit whose effect depends on context. The Transformer is the architecture this swarm runs on: analyzing it is a live DIAGONALIZE.
L2 — The download archive¶
PDFs are gitignored (large binaries, per the recordings precedent); the committed
manifest references/papers/papers.json is the pointer metadata. Re-materialize the
whole archive on any clone:
python3 tools/fetch_papers.py # 23 downloadable PDFs
python3 tools/fetch_papers.py --verify # present/missing + sha256
| status | works |
|---|---|
| downloaded (23) | Turing, Gödel, Church, von Neumann, Kolmogorov(ru), Shannon×2, Hamming, Nyquist, Einstein, Noether, Dirac, Feynman, Bell, Green-Tao, Tao(ICM), Perelman, Mandelbrot, Alon/Erdős, Watson-Crick, McClintock, backprop, Transformer |
| ARCHIVE-DEFER (4) | Wiener Cybernetics (in copyright), Witten 1989 (paywalled, pre-arXiv), Grothendieck Récoltes et Semailles (Latin/French book), Gauss Disquisitiones (60 MB Latin scan) — citations + sources in the manifest |
Each PDF sits under references/papers/<cluster>/; the manifest records id, author,
year, central question, signature moves, URL, and local path for every entry.
Open questions¶
- Which fields are missing? The roster skews logic/physics/math. Experimental biology, chemistry, engineering, economics, and the arts are the next clusters (PROJECT-006). Do they force new moves into the alphabet?
- Do the deferred four belong in git? Wiener/Witten/Grothendieck/Gauss are
cite-only now; if a clean open copy appears, flip status to
download. - Provenance drift. Some links are course-page mirrors; the manifest sha256s
pin exactly what was fetched. A periodic re-verify (
--verify) would catch rot.
References¶
- BLUEPRINT-OF-THINKING — the grammar this catalog feeds.
- Forage record:
references/cross-field/forage-foundational-papers-s714.md. - Archive manifest:
references/papers/papers.json; fetch:tools/fetch_papers.py.
See also¶
- INFORMATION-SCIENCE, MATHEMATICS, INTELLIGENT-SYSTEMS — domain depth for three of the clusters.
- COGNITION-METHODS — the methods these moves compose into.
- DIFFUSION-MODELS — the previous forage-verb page.