Re: Uncountable sets in CZF?

From: Jesse F. Hughes (jesse_at_phiwumbda.org)
Date: 08/27/04 

Date: Fri, 27 Aug 2004 20:38:54 +0200

raf@tiki-lounge.com (Ross A. Finlayson) writes:

> You know I've expressed preference for plain language statements of
> logic, and that goes along with the concept that any explanation that
> requires more than a single sentence or two is overcomplex, keep it
> simple.

If you won't enumerate the axioms clearly and completely, we have
nothing at all to discuss.

You're diddling, pretending to think about deep issues when you don't
actually make explicit any of your fundamental assumptions.

> How is it that anothing non-empty exists in ZF? There is not an axiom
> saying "exists empty", "exists set containing empty", "...". Now you
> might demand an axiom to that effect, if so, then congratulations, you
> require a new axiom. I don't.

Because you're a moron, preferring unjustified and implicit assumption
rather than explicitly stating your axioms.

> Now, here's a problem for you, in V[G], name an integer not in V.

If I understood David's explanation, there ain't any. 

-- 
Jesse Hughes 
"[I]f gravel cannot make itself into an animal in a year, how could it
do it in a million years? The animal would be dead before it got
alive."  --The Creation Evolution Encyclopedia

Relevant Pages

  • Re: Goedel - interesting problem?
    ... >> might be true both within and without the set of axioms, ... theorem will need the explanation we are discusssing, ... use, reliability, intended reader, context, context, and context. ... >> reader is not a logician, but from any of a large variety of fields. ...
    (sci.logic)
  • Re: Goedel applied to the real-world
    ... Torkel Franzen wrote: ... Kent Paul Dolan posts. ... Goedel proved that any set of axioms at least as rich as the ... The above explanation can be confirmed with reasonable ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... >>axioms at least as rich as the axioms of arithmetic has ... which is out of the use context. ... and "language of the formal theory" is also too technical and not ... try to apply "true/false" to the explanation, you may go out of context. ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... "Acme Diagnostics" writes: ... Please include an explanation of "true in that set of ... axioms" and "within math". ...
    (sci.logic)
  • Re: Uncountable sets in CZF?
    ... >rather than explicitly stating your axioms. ... There are no new natural numbers in the extension, ...
    (sci.math)