2018-12-20

I continued reading Peter Smith’s book.

I thought about the two different ways to state the completeness theorem.

I made more stubs in my userspace on the Machine Learning Subwiki, e.g., Least search operator, Models symbol, Semantic completeness, and Gödel’s completeness theorem.