Re: Cantorian pseudomathematics

Jesse F. Hughes wrote about Jaynes' book:

"Randy Poe" <poespam-trap@xxxxxxxxx> writes:

What is this link and why only 75 pages? Was it written
before the book was completed?


No idea, but Chapter 15 on Paradoxes looks relevant.  Particularly the
subsection on finite vs. countable additivity.

Shame we don't have that text.

But his text on Goedel's theorem is a bit disappointing. [... snip ...] 

I have to agree with that. And I'm affraid it's not the only place. How
about this:

The set of rules and symbols that we have called "Boolean Algebra" is
sometimes called "The Propositional Calculus." The term seems to be used
only for the purpose of adding that we need also another set of rules
and symbols called "The Predicate Calculus." However, these new symbols
prove to be only abbreviations for short and familiar phrases. [ Duuhh ]
The "Universal Quantifier" is only an abbreviation for "for all"; the
"existential quantifier" is an abbreviation for "there is a." If we
merely write our statements in plain English, we are using automatically
all of the predicate calculus that we need for our purposes, and doing
it more intelligibly. [ Huh? Why then _any_ formalization of logic? ]

Han de Bruijn

.

Relevant Pages

  • Re: Cantorian pseudomathematics
    ... > only for the purpose of adding that we need also another set of rules ... > all of the predicate calculus that we need for our purposes, ... Clearly he has a dismissive attitude towards logic and I think ... Whether a probabilistic statement about ...
    (sci.math)
  • Re: Crit: story opening
    ... an abbreviation for "taking all the relevant factors into ... It therefore serves as a small bit of ... enough for the purpose. ... suggesting. ...
    (rec.arts.sf.composition)
  • Re: Crit: story opening
    ... an abbreviation for "taking all the relevant factors into ... It therefore serves as a small bit of ... enough for the purpose. ... suggesting. ...
    (rec.arts.sf.composition)
  • Subsituting a character conditionally
    ... I'd like to substitute every quotation mark ` with whitespace. ... abbreviation. ... I've written the following for this purpose: ...
    (comp.lang.ruby)
  • Re: Where are all you guys tonight?
    ... cigars and every subject on earth! ... what's the purpose of abbreviated a link that is almost the same length as the abbreviation? ...
    (alt.smokers.cigars)
Loading