Monday, May 8, 2017

Here is your last homework question. It is based on the last set of slides posted to week 13 of the schedule. These slides are sufficient to answer the question, but they will not be complete until tomorrow afternoon.

Clearly identify three significant errors in the following.
Church's theorem shows that predicate logic is incomplete. This means that there will never come a time when we can be sure that it is finished. Gödel proved the same thing about math, sowing that there are mathematical truths that we will never be able to prove.





No comments:

Post a Comment