[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Subject Index][Author Index]

Logical Systems (Re: Hanson 2006, Mortimer, Baeker response)

don ohmes <d_ohmes@yahoo.com> writes:

> There is even (from the 1930s, IIRC) mathematical proof that 
> no logical system can exist w/out at least one assumption (sorry, no 
> reference; 30 miles away, maybe later).

Interesting.  I had always assumed that "assumption" and "faith" are not
synonyms.  ;-)  

Actually, I'd like the ref. for the paper that Don mentioned, if anyone
has it available.

Stigmata free since 1972.