Re: Godel proved maths inconsistent not incompleteness theorem



Charlie-Boo wrote:
On Apr 28, 7:56 am, David C. Ullrich <dullr...@xxxxxxxxxxx> wrote:
On Sun, 27 Apr 2008 11:23:52 -0700 (PDT), Charlie-Boo
<shymath...@xxxxxxxxx> wrote:
[...]

If you want to know the truth of the matter, any programmed
implementation of CBL will use only one symbol for both "implies" and
"subset", as there is no ambiguity and they are the same principle.
In fact, there is no reason to distingush between a set and a
predicate.

Oh my god.

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"!

--
hz
.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... as there is no ambiguity and they are the same principle. ...  Or is it merely a blind condemnation if I say it, ... Quick, define "formal implication"! ... Implication means implies ...
    (sci.logic)
  • Re: what makes it true?
    ... > If the readers agree that it can in principle be formalized in a ... > suitable system, then they accept it as a true property. ... but it in no way implies that there is no such thing ... Prev by Date: ...
    (sci.math)
  • Re: "Fair (hah) and Balanced (giggle)"
    ... superiority in his little word games. ... You claim X because of principle. ... The general principle Y also implies Z. ...
    (rec.arts.sf.fandom)
  • Re: An uncountable countable set
    ... MoeBlee wrote: ... implies anything. ... Intutitionistic logic DOES have the principle ... the 'falsehood' symbol is often a primitive of intuitionistic ...
    (sci.math)
Loading