After rushing through formal stuff he wastes five minutes about a three-layer stupid joke about a book he had not read.
I quick-scanned through the rest of the video. Not worth watching, really. Too bad. I looked forward to this.
The take home message of the course. All provable things are true but not necessarily al true things are provable.
Now that I am mostly through all M381 stuff I am glad it included mathematical logic. I would -not- have done it as a stand-alone course. Logic is hard in the beginning, like most new subjects. It needs time to work on you. I will get back to this in the next M381 post.
Previous posts on the series:
- Lecture 1
- Lecture 2
- Lecture 3
- Lecture 4
- Lecture 5