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
Post a Comment