Re: My talk about Godel to the post-grads.

David C. Ullrich wrote:
On Sat, 05 Jul 2008 20:04:48 +0100, John Jones <jonescardiff@xxxxxxx>
wrote:

David C. Ullrich wrote:

You _really_ don't know what the union of two sets is?
A 'union of sets' isn't anything. You can take that as a fact - in all possible contexts. What's the union of a set of cutlery and a bouquet?

It's irrelevant, since neither is a set in the current sense.

Your contempt for plain thinking is leading you to accept logical platitudes as fact.

Fascinating.

I'll give you a hint: If A and B are sets then the union of A and
B is the set of all x such that x is an element of A or x is an
element of B.

[Lets ignore the fact that a "set of all ...." is simply "all".]
Your definition is either wrongly transcribed or just wrong. It should read: If A and B are sets then the union of A and all other sets, and the union of B and all other sets is the set of all x such that x is an element of A or x is an element of B.

That's a "logical platitude"? Knowing that is showing
"contempt for plain thinking"?
David C. Ullrich

"Understanding Godel isn't about following his formal proof. That would make a mockery of everything Godel was up to."
(John Jones, "My talk about Godel to the post-grads."
in sci.logic.)
.

Relevant Pages

  • Re: HP : Massive strike and protest march today
    ... >> David J Dachtera wrote: ... The Taylor Law was that change. ... You keep saying the union has the right to ...
    (comp.os.vms)
  • V. David: Unionist, politician and freedom fighter
    ... Let?s pay tribute to V David on 10 June. ... getting Malaysia to endorse May Day as a workers? ... became Transport Union secretary in 1958. ... politics if you are short on resources. ...
    (soc.culture.malaysia)
  • Re: Meaning of set representation.
    ... >> David C. Ullrich ... By representation he means a specific way of writing a set ... as a disjoint union of (a,b]'s. ...
    (sci.math)
  • Re: Dense subspaces of R^2
    ... On Tue, 23 Jun 2009, David C. Ullrich wrote: ... passing through two rational points lies within S. The union of these ... See my second recent reply to David. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.math)
  • Re: Characterization of an Open Set in the Reals
    ... exactly what "any open subset of R is the union of ... countably many open intervals" means. ... David C. Ullrich ...
    (sci.math)