From Hilbert's Program to Computer Programming

The impact of computers on our lives is obvious to everyone, while mathematical logic is an esoteric subject for most people. Yet the histories of mathematical logic and computers are tightly interwoven. I will discuss the connections between logic and computing, and how I use these connections in m... View More