Alonzo Church

person
4 mentions 3 recordings first heard Apr 2020 last heard 2 Jul ±0 this month

Alonzo Church, logician and mathematician, known for his work on lambda calculus and foundations of functional programming.

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 30d.Widen the range to see when Alonzo Church was said.

Moments

newest first · ▶ plays the moment
Krishna ChoudharyFrom First Principles · America 250: The Breakthroughs That Built American Science —... · 53:58 · 2 Jul
…Alonzo Church and Alan Turing at Princeton, New Jersey.…
· Open transcript →
Simon Peyton JonesThe Peterman Pod · Co-Creator of Haskell: Functional Programming, Thinking in T... · 3:30 · 8 Jun
…Now, Alonzo Church, at the very same time, was working on something he called the lambda calculus, in which there's no motion of mutation.…
· Open transcript →
Simon Peyton JonesThe Peterman Pod · Co-Creator of Haskell: Functional Programming, Thinking in T... · 3:10 · 8 Jun
…Alan Turing was doing a PhD in Princeton under the supervision of Alonzo Church.…
· Open transcript →
Stephen WolframLex Fridman Podcast · #89 – Stephen Wolfram: Cellular Automata, Computation, and... · 33:59 · Apr 2020
…Meanwhile, Alonzo Church had come up with lambda calculus.…
4 moments · sign in to read them all