Quantifiers for Tony Orlow
- From: stevendaryl3016@xxxxxxxxx (Daryl McCullough)
- Date: 27 Jul 2005 14:02:21 -0700
Tony Orlow claims not to be confused by quantifiers. Maybe he would
like to consider the following situation
We have a process for generating the elements of some set A, one at
a time (say, one per second). What is the difference in meaning
between the following two statements:
1. For all a in A, there exists a time t such that a is generated
at time t or earlier.
2. There exists a time t such that for all a in A, a is generated
at time t or earlier.
Do you believe that these two statement mean the same thing?
If not, can you describe a situation in which 1 is true, but
2 is false?
--
Daryl McCullough
Ithaca, NY
.
- Prev by Date: Re: Obections to Cantor's Theory (Wikipedia article)
- Next by Date: Re: Logic in Schools
- Previous by thread: predicate logic encoding of Post's Correspondence Problem
- Next by thread: Cardinals for Tony
- Index(es):
Relevant Pages
|
|
