Can I read Mathematical Logic in Programming Theory on EtoBox?

Mathematical Logic in Programming Theory by shriram1082883 is a document available to read on EtoBox.

What is Mathematical Logic in Programming Theory about?

This document discusses the early interactions between mathematical logic and programming languages from 1947 to the 1960s. It describes how pioneers like Goldstine, von Neumann, and Turing saw logic as crucial for developing a mathematical theory of computation and proving properties of programs. However, programming practices in the 1950s diverged from this, with a focus on iterative debugging instead of proofs. John McCarthy

Author

shriram1082883

Language

EN