Dana Scott on the History of Lambda Calculus

Includes an interesting anecdote about Church and Turing's working relationship.

He has a real gift for getting to the point in simple terms. Listen to his description of Post-Turing machines at 21 minutes 38 seconds.

This more detailed talk was given almost a year ago in Switzerland:

See Journal of Applied Logic Special issue on Combining Probability and Logic to Solve Philosophical Problems.

Then listen to this:


 See Logic and also Measuring Ignorance.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023