View profile

Issue #3 - Alonzo Church

Heroes of Computer Science
Issue #3 - Alonzo Church
By Gonçalo Morais • Issue #3 • View online
Welcome to the 3rd issue of Heroes of Computer Science!
I hope you enjoyed the previous edition of this newsletter; this issue will be shorter but it’s definitely about a denser topic.

Alonzo Church
Alonzo Church (1903–1995)
Alonzo Church (1903–1995)
Mathematician and logician Alonzo Church worked extensively on several theorems and thesis, but he is best known for having created the lambda calculus (also written as λ-calculus).
Introduced in the 1930s, lambda calculus is a formal system (a set of rules that allow you to infer theorems from axioms/premisses) for expressing ways of solving problems based on function abstraction and application. It’s a universal model of computation that can be used to simulate any Turing machine — this has several implications, but one of the most interesting ones is that you can develop whole programming languages around this concept.
In its simplest form, you build terms using only the following rules:
  • Variables: characters or strings that represent a parameter or value
  • Abstractions: basically function definitions, where you bind a variable to an expression
  • Applications: applying a function to an argument
This might sound quite theoretical or abstract, but the most interesting point is that the LISP programming language and functional programming languages in general were heavily influenced by Church’s work on lambda calculus.
Further reading
I’ve only scratched the surface by trying to ELI5 (Explain Like I’m 5) what is lambda calculus, so if you want to learn more about it, Learn X in Y minutes Where X=Lambda Calculus is a good place to start. If you’re already familiar with it and want to just drown in mathematical notations, Cornell University’s got your back.
Did you enjoy this issue?
Gonçalo Morais

A brief newsletter to let you know the wonderful computer scientists that made programming possible!

If you have a suggestion for the next person to highlight, just let us know:

Not fond of more emails? Follow the project through its RSS feed:

In order to unsubscribe, click here.
If you were forwarded this newsletter and you like it, you can subscribe here.
Powered by Revue