Re: Relational lattice completeness
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 7 Apr 2006 11:26:14 -0700
Message-ID: <1144434374.452376.313810_at_e56g2000cwe.googlegroups.com>
Date: 7 Apr 2006 11:26:14 -0700
Message-ID: <1144434374.452376.313810_at_e56g2000cwe.googlegroups.com>
vc wrote:
> Arithmetic incompleteness does not prevent anyone from balancing one's
> checkbook.
I'll add that before arithmetics axiomatization questions were asked, there was a wealth of results in different direction. Negative, rational, algebraic, real and complex were discovered -- these are several centuries of accumulated results, as opposed to metamathematics which is only a century old. How about "extraordinary relations"?
http://citeseer.ist.psu.edu/hehner97relational.html Received on Fri Apr 07 2006 - 20:26:14 CEST