coding-theory
primary-papers.yaml
§ canon / IV
information
in progress21 entries· 6 sub-folders· 8 figures· 9 source excerpts
Turing, Shannon, Gödel, Kolmogorov. The foundations of what can be computed, what can be known, and what information is.
Figures· 8 canonical
George Boole
1815-1864 · Cork · English/Irish mathematical logic
boolean-algebrasymbolic-logicpropositional-calculus
Gottlob Frege
1848-1925 · Jena · German mathematical logic
predicate-logicquantifierlogicism
Alan Turing
1912-1954 · Cambridge, Bletchley Park, Manchester · English mathematical logic & computer science
turing-machinehalting-problemcomputability
Alonzo Church
1903-1995 · Princeton · American mathematical logic
lambda-calculusfunctional-programmingentscheidungsproblem
Claude Shannon
1916-2001 · Bell Labs, MIT · American information theory
information-theoryentropychannel-capacity
John von Neumann
1903-1957 · Budapest → Berlin → Göttingen → Hamburg → Princeton (IAS) → Los Alamos → Washington · Hungarian-Jewish bourgeoisie; Central-European mathematical tradition; American postwar science establishment
polymath01-mathematics02-physics
Andrey Kolmogorov
1903-1987 · Moscow · Soviet mathematics
probability-axiomskolmogorov-complexityalgorithmic-information
Norbert Wiener
1894-1964 · MIT · American mathematics
cyberneticsfeedbackwiener-process
Entries
21 of 21
complexity-theory
Three approaches to the quantitative definition of information<sup>*</sup>
thermodynamics-of-computation
Irreversibility and Heat Generation in the Computing Process