Re: tommy1729 set axioms update
- From: David C. Ullrich <dullrich@xxxxxxxxxxx>
- Date: Sat, 26 Jul 2008 07:40:55 -0500
On Fri, 25 Jul 2008 17:14:21 +0200, Herman Jurjus <hjurjus@xxxxxxxxx>
wrote:
David C. Ullrich wrote:
On Thu, 24 Jul 2008 01:06:59 -0700 (PDT), lwalke3@xxxxxxxxx wrote:
[...]
I wish that someone could post an alternative to ZFC
Why do you wish that?
Every data structure can be represented in one way or another using XML.
But i'm glad that that's not the only format available. Because now that
we have more means than just one, it's more readily understandable that
the XML specs are /not/ the 'foundations of computer science'.
Who in the world has ever said that it is?
Your "now that we have more than just one" sounds like you
think that computer science began with XML and other
data formats have been developed only recently...
Is there some particular problem with ZFC that you see?
The fact that it has no alternatives next to it?
First, that's simply not true. Second, if it were true that
wouldn't be an answer to my question - if there are no
particular problems with ZFC then the supposed fact
that there are no alternatives would not be a problem.
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.)
.
- Follow-Ups:
- Re: tommy1729 set axioms update
- From: Herman Jurjus
- Re: tommy1729 set axioms update
- References:
- Re: tommy1729 set axioms update
- From: Jesse F. Hughes
- Re: tommy1729 set axioms update
- From: amy666
- Re: tommy1729 set axioms update
- From: MoeBlee
- Re: tommy1729 set axioms update
- From: Jesse F. Hughes
- Re: tommy1729 set axioms update
- From: MoeBlee
- Re: tommy1729 set axioms update
- From: Jesse F. Hughes
- Re: tommy1729 set axioms update
- From: lwalke3
- Re: tommy1729 set axioms update
- From: David C . Ullrich
- Re: tommy1729 set axioms update
- From: Herman Jurjus
- Re: tommy1729 set axioms update
- Prev by Date: Physical proofs
- Next by Date: Re: an important set theory post
- Previous by thread: Re: tommy1729 set axioms update
- Next by thread: Re: tommy1729 set axioms update
- Index(es):
Relevant Pages
|