tag:blogger.com,1999:blog-267967203861801529.post6230036732601041378..comments2023-11-05T01:50:52.745-08:00Comments on Straight Up Coding: GEB Week 2: Chapter 4, ConsistencyBrian Jorgensenhttp://www.blogger.com/profile/15022352466216728844noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-267967203861801529.post-67418101576061772242007-06-01T02:54:00.000-07:002007-06-01T02:54:00.000-07:00Completeness (with respect to some interpretation)...Completeness (with respect to some interpretation) is the other major theme of this chapter: Basically, a system is complete if every true statement which can be expressed in the notation of the system is a theorem.<BR/><BR/>We make an incomplete system complete by either:<BR/><BR/>1. adding new rules to the system making it more powerful, or<BR/><BR/>2. tightening up the interpretation.Martin Harriganhttps://www.blogger.com/profile/01610696350600503266noreply@blogger.comtag:blogger.com,1999:blog-267967203861801529.post-6999578110982872412007-06-01T02:52:00.000-07:002007-06-01T02:52:00.000-07:00This comment has been removed by the author.Martin Harriganhttps://www.blogger.com/profile/01610696350600503266noreply@blogger.com