Marshall University Math Colloquium

March 10, 2014

“Alan and Ada's Theoretical Machines”

Dr. Jeffry Hirst

Appalachian State University

Abstract

Ada Lovelace is often called "the first computer programmer," though she died a century before the first general purpose computers were built. This claim is based on the notes she appended to her translation of Menabrea's 1842 paper, Notions sur la Machine Analytique de M. Charles Babbage. Alan Turing is often called "the father of theoretical computer science" on the basis of his 1936 article On computable numbers, with an application to the Entscheidungsproblem. Lovelace's notes describe Babbage's Difference Engine and Babbage's Analytical Engine, and Turing's paper proves the existence of a Universal Turing Machine. This talk will compare the designs and capabilities of these early theoretical computing machines.