Lambda-Calculus

Lambda-Calculus - LambdaCalculus Introduction Spring 2011...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Spring, 2011 –– Computational Thinking – Dennis Kafura – CS 2984 Lambda Calculus Introduction
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Spring, 2011 – Computational Thinking – Dennis Kafura – CS 2984 History Gottfried Wilhelm Leibniz (1646 - 1716) "It is unworthy of excellent men to lose hours like slaves in the labour of calculation which could safely be regulated to anyone else if machines were used." Stepped Reckoner Sought a formal language for a machine to determine the truth of mathematical statements.
Background image of page 2
Spring, 2011 – Computational Thinking – Dennis Kafura – CS 2984 Entscheidungsproblem The “decision problem” (1928): Find an algorithm which takes as input a description of a formal language and a mathematical statement expressed in that language and outputs true or false depending on the mathematical validity of the statement. David Hilbert William Ackermann
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Spring, 2011 – Computational Thinking – Dennis Kafura – CS 2984 Alonzo Church Church’s Theorem (1936) Answered the decision problem in the negative Alonzo Church 1903-1995
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/23/2012 for the course CS 2984 taught by Professor Lewis during the Spring '08 term at Virginia Tech.

Page1 / 8

Lambda-Calculus - LambdaCalculus Introduction Spring 2011...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online