Lecture 11 - Proving the Church-Turing Thesis Nachum Dershowitz

The Ada Lovelace Bicentenary Lectures on Computability, 2015-2016 Organized by Jack Copeland, Eli Dresner and Diane Proudfoot Lecture 11: “Proving the Church-Turing Thesis“, Nachum Dershowitz (Tel Aviv University) ________________________________________­__ Augusta Ada Lovelace, acclaimed as the world’s first computer programmer, was born on 10th December 1815. Daughter of the poet Byron, Lovelace collaborated with Victorian inventor Charles Babbage, who envisioned steam-age computers built out of cogwheels. She died at the tragically young age of 36. Two centuries later, her contributions are being celebrated in a series of 16 international lectures by leading computer scientists, historians and philosophers.