chapter ten

10 From foundational algorithms to modern AI: David J.C. MacKay and the unifying logic of learning

 

This chapter covers

  • David J.C. MacKay’s Information Theory, Inference, and Learning Algorithms (2003) and how it synthesized foundational ideas into a common framework
  • How MacKay exposed recurring patterns obscured by time, terminology, and purpose
  • How earlier contributions supplied complementary building blocks rather than competing solutions
  • Why seeing their connections makes knowledge cumulative rather than discrete
  • How modern AI combined these foundational ideas and operationalized them at unprecedented scale

Only in retrospect—and occasionally through the insight of a single unconventional thinker—does a pattern become visible.

Across history, landmark methods emerged to answer very different questions. Bayes transformed prior probabilities into posterior probabilities as new evidence arrived. Fisher used maximum likelihood to estimate unknown parameters from observed samples. Shannon measured entropy in bits and established limits on reliable transmission through noisy channels. Bellman expressed sequential decisions through value functions and recursive equations. Vapnik separated classes with maximum-margin hyperplanes and kernels. Breiman constructed forests from bootstrap samples and randomized feature subsets, then aggregated their predictions. Each method possessed its own objects, notation, and computational machinery.

10.1 Synthesis rather than invention

10.2 Looking back: isolated contributions, shared foundations

10.2.1 Bayes: revising belief with new evidence

10.2.2 Fisher: estimating unknown parameters through maximum likelihood

10.2.3 Neyman and Pearson: making decisions while controlling errors

10.2.4 Shannon: quantifying information and the limits of communication

10.2.5 Bellman: making global optimization tractable through decomposition

10.2.6 Raiffa and Schalifer: From Bayesian inference to rational action

10.2.7 Vapnik: generalizing through soft margins

10.2.8 Breiman: stabilizing predictions through randomness and aggregation

10.3 When ideas cross boundaries

10.3.1 Decoding as Bayesian model comparison

10.3.2 Message passing across codes and graphical models

10.3.3 Cross-entropy: from coding efficiency to model training

10.4 Why the connections matter

10.5 Looking forward: AI operationalizes the synthesis

10.5.1 Neural networks: the synthesis becomes trainable

10.5.2 Transformers: the synthesis gains a scalable architecture

10.5.3 Scaling laws: expanding the boundaries of what is feasible

10.6 Summary