Models Of Models--Eleven Examples Of Realizing Computational Models From Babbage's Analytical Engine To Off-The-Wall Turing Machines

Benjamin Wells - University of San Francisco

Stevenson Hall 1300
12:00 PM - 12:50 PM

For more than three decades, students, friends, acquaintances, and I have struggled to bring a variety of models of computation into a usable form for the classroom, written exposition, and mathematical proof. This has involved numerous software, notational, and conceptual systems. This talk will introduce you to hardware you never heard of, software you would not dream of, and schemes you just might think of.