Re: The meaning of set?
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Fri, 27 Oct 2006 04:03:10 +0300
Rupert wrote:
The good thing about ZFC is that we have an algorithm for generating
all the sentences we accept as theorems.
Really? What is that algorithm?
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: The meaning of set?
- From: Lee Rudolph
- Re: The meaning of set?
- From: Rupert
- Re: The meaning of set?
- From: Rupert
- Re: The meaning of set?
- References:
- The meaning of set?
- From: zuhair
- Re: The meaning of set?
- From: Rupert
- Re: The meaning of set?
- From: zuhair
- Re: The meaning of set?
- From: Rupert
- The meaning of set?
- Prev by Date: Re: probability problem
- Next by Date: Re: FLTMA: A little group theory
- Previous by thread: Re: The meaning of set?
- Next by thread: Re: The meaning of set?
- Index(es):