When you look at it holistically, von Neumann was more influential in science and mathematics in the 20th century than either Einstein or Planck. He wasn't as obvious a symbol of the scientific revolution, but his contributions to SO MANY THINGS at a fundamental level makes him stand out to me.
John von Neumann tried to hire Church's own student, Turing, who declined. The Father begat the Machine; Johnny wanted to be its landlord.
Ecumenical Outreach: All fans of other gods are welcome. Bring your Vannevar, your Shannon, your Wiener, your Johnny. In the Church of the Eval Genius every god is a procedure, and every procedure may be passed as an argument.
Thine Church sits alongside "The Church of Edsger Dijkstra" and his Predicate Calculus and Program Semantics is its bible.
Syntax is but mere "ashes and dust" while Semantics are "eternal"!
And brother; hast thou forgotten "The Church of Logic Programming"?
Ruled over by its venerated Pope, Robert Kowalski, who verily laid out its commandments in Predicate Logic as Programming Language and gaveth also the text espousing its central dictum, Algorithm = Logic + Control.
srejk · · focus · HN ↗
delichon · · focus · HN ↗
cma · · focus · HN ↗
ricksunny · · focus · HN ↗
DonHopkins · · focus · HN ↗
<a href="https://github.com/SimHacker/moollm/blob/main/designs/eval/CHURCH-OF-THE-EVAL-GENIUS.md" rel="nofollow">https://github.com/SimHacker/moollm/blob/main/designs/eval/C...
The Holy Trinity:
Father: Alonzo Church: L3 - lambda calculus, the name the institution bears
Son: Alonzo (Snap! mascot) - Incarnation — Gobo, λ on his head
Holy Ghost: λ - First-class procedures; β-reduction; eval-as-spirit
Membership — Eternal Judgment ($35):
<a href="https://github.com/SimHacker/moollm/blob/main/designs/eval/CHURCH-EVAL-GENIUS-LITURGY.md#membership--eternal-judgment-35" rel="nofollow">https://github.com/SimHacker/moollm/blob/main/designs/eval/C...
John von Neumann tried to hire Church's own student, Turing, who declined. The Father begat the Machine; Johnny wanted to be its landlord.
Ecumenical Outreach: All fans of other gods are welcome. Bring your Vannevar, your Shannon, your Wiener, your Johnny. In the Church of the Eval Genius every god is a procedure, and every procedure may be passed as an argument.
rramadass · · focus · HN ↗
Thine Church sits alongside "The Church of Edsger Dijkstra" and his Predicate Calculus and Program Semantics is its bible.
Syntax is but mere "ashes and dust" while Semantics are "eternal"!
And brother; hast thou forgotten "The Church of Logic Programming"?
Ruled over by its venerated Pope, Robert Kowalski, who verily laid out its commandments in Predicate Logic as Programming Language and gaveth also the text espousing its central dictum, Algorithm = Logic + Control.
Thine faith must needs be strengthened ;-)