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@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 - 13:26:14 CDT