1 / 1

Alonzo Church: Mathematician. Philosopher. Computer Scientist?

Alonzo Church: Mathematician. Philosopher. Computer Scientist?.

dolf
Télécharger la présentation

Alonzo Church: Mathematician. Philosopher. Computer Scientist?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Alonzo Church: Mathematician. Philosopher. Computer Scientist? Alonzo Church is a mathematician and philosopher who developed the very first computer programming language known as Lambda Calculus. Church also worked with Alan Turing in the Church-Turing Thesis, which also was another huge impact on the world of computer science. “He was a pioneer in the field of mathematical logic and the theory of computation” -Alan Turing • LAMBDA CALCULUS • Lambda (λ) Calculus is a system that is in the world of math logic and computer science for creating a computation by way of combining variables using abstraction. Today, λ Calculus has applications in several different areas: mathematics, philosophy, linguistics, and computer science. λ Calculus, along with Alan Turing’s Turing machine are important models in computation. • EX: Start with the function: 2x • Rewritten in Lambda as λx[2x] • Now solve this when x=3. • λx[2x](3) • [2x](3) • [2(3)] • = 6 ACCOMPLISHMENTS Church died in 1995 being a well decorated man in the math and computer science world. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computation laid a solid foundation to computer science. CHURCH TURING THESIS The Church-Turing thesis states that any real-world computation can be written into an equivalent computation involving a Turing Machine.

More Related