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

[tholtz@geol.umd.edu]

Is this perhaps some incarnation of Gödel's first incompleteness theorem?

http://en.wikipedia.org/wiki/Gödel's_incompleteness_theorem

> 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.
>
>