Software Engineering discussion

The logic statements in this chapter were a little bit of a slow dry read. Some extra time was needed for me to step through some of the steps of the examples. The MIT videos do some of the statements left as exercises.

I thought I had a good logic background, but the push/pop and fantasy levels are definitely something new for me. I'm still trying to see how to understand and apply them for non-trival exaples, but it sure "feels" like a powerful principle.

Much of this is setup for the Gödel discussion where it is important to try to understand what it means to stand outside of "math" to examine math, and using the tools of math to examine math itself.