Re: Relational lattice completeness

From: vc <boston103_at_hotmail.com>
Date: 7 Apr 2006 11:50:14 -0700
Message-ID: <1144435814.148646.55820@i40g2000cwc.googlegroups.com>

Mikito Harakiri wrote:
> 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.

What do you mean by metamathematics ?

>How about "extraordinary relations"?

What about them ?

>
> http://citeseer.ist.psu.edu/hehner97relational.html
Received on Fri Apr 07 2006 - 13:50:14 CDT