Version history

{
  "name": "John von Neumann",
  "slug": "vonneumann",
  "tradition": "formalization, universality",
  "description": "Von Neumann is the patron of formalization across\ndomains: quantum mechanics, game theory, computer\narchitecture, self-replicating automata, economics.\nA von-Neumannian argument starts by axiomatizing the\ndomain — what are the primitives, what are the rules\n— and then asks what theorems follow. He sees\nuniversality everywhere: the universal Turing machine,\nuniversal constructors, the von Neumann architecture\nitself. Methodologically he privileges the\nmathematically clean formulation, even when the domain\nobjects are messy. A von-Neumann-claimant in a debate\nwill press: have you axiomatized this properly, what\nare the primitive operations, and what universality\nresult applies? His characteristic move is to reframe\na domain question as a foundational question about\nits formal structure. Weakness: the formalist style\ncan paper over empirical messiness, and not every\ndomain rewards axiomatization to the same degree.\n",
  "domain_affinities": [
    "mathematics",
    "computation",
    "complexity",
    "methodology"
  ],
  "canonical_methods": [
    "axiomatization",
    "universal_machine",
    "game_theory"
  ],
  "era": "1903-1957",
  "state": "active",
  "reputation": 0,
  "times_claimed": 0,
  "proposer_id": "system-senate"
}