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.