Re: Godel proved maths inconsistent not incompleteness theorem



Charlie-Boo wrote:
herbzet wrote:
Charlie-Boo wrote:
..
I wrote: ? ?Implies? and ?subset? are the same principle. There is no
reason to distinguish between a set and a predicate.?

You wrote: ?Oh my god.?

Bertrand Russell wrote: ?In any symbolic expression, the letters may
be interpreted as classes or as propositions, and the relation of
inclusion in the one case may be replaced by that of formal
implication in the other.? - Principles of Mathematics

Were you as alarmed when Bertrand Russell said it as you were when I
said it? Or is it merely a blind condemnation if I say it, and blind
praise if a professor says it, with no mathematical significance?

Quick, define "formal implication"!

Implication means implies

No ***?!?!?!?!?

--
hz
.