Welcome to my Honors 190 blog. We will be looking at the origins of computing starting in the early 1900s with David Hilbert through Alan Turing’s work in the 1930s. We will learn some logic, the mathematics of computer science, and talk about specification and proof. Finally, we will talk about scholarship and how to survive and thrive at the University.