Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Go Deep Blue!
Replies: 334   Last Post: Aug 22, 1997 11:23 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Ilias Kastanas

Posts: 582
Registered: 12/8/04
Re: More on 0-1 Laws (was Re: 0-1 Laws
Posted: Jun 11, 1997 11:54 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



In article <5nn10b$hdb@drn.zippo.com>,
Daryl McCullough <daryl@cogentex.com> wrote:
>kubo@abel.harvard.edu (Tal Kubo) says...
>

>>C is not assumed to be recursively enumerable, so it need not have a code.
>>Instead, C is some definable set of sentences, and for each of its
>>sentences X, the claim is that A proves relative consistency of A+X.
>>As you note, the correct conclusion is only that A proves
>>
>> (Con(A) and (X in C)) --> Con (A+X).

>
>I agree. Therefore, Matt's conclusion that C has no greater consistency
>strength than A doesn't seem warranted (regardless of what 0-1 laws apply
>to C).
>

>>Definability alone in no way limits the consistency strength of C's
>>statements.

>
>Right. That's what I thought.
>

>>For instance, PA can define the set of sentences X that
>>give consistent extensions PA+X, and such X can be arbitrarily strong.




On the other hand, definability bounds on the _elements_ of X
make themselves felt if we aim for more than consistency results. E.g.
if, say, PA + Y is a consistent extension, and all formulas in the set Y are
Sigma-n for some fixed n, then PA + Y cannot prove Reflection for PA
(" phi provable in PA => phi"). Consis() is just Reflection for Pi-1 phi.

So some jobs require arbitrarily complicated formulas. Induction
in PA, or Replacement in ZF, are stronger than any infinite set of their
instances, if the latter has a bound n. (Because PA proves Reflection for
the Predicate Calculus). And sometimes they are not strong enough anyway.


Presumably we are interested in proving more than just Pi-1 sentences.
Otherwise, PA is overkill. No need to invoke it; we can do as well in PRA
(Primitive Recursive Arithmetic) + Consis(PA)... The consistency asser-
tion in a sense carries the full force of the theory for level Pi-1. But
we usually need to go way beyond that.


Ilias







Date Subject Author
5/1/97
Read Go Deep Blue!
harden
5/1/97
Read Re: Go Deep Blue!
Kurt Foster
5/2/97
Read Re: Go Deep Blue!
Fireball
5/2/97
Read Re: Go Deep Blue!
Dann Corbit
5/3/97
Read Re: Go Deep Blue!
jjtom4@imap2.asu.edu
5/4/97
Read Re: Go Deep Blue!
Rodney Small
5/5/97
Read Re: Go Deep Blue!
Tom Johnson
5/5/97
Read Re: Go Deep Blue!
Robert Israel
5/6/97
Read Re: Go Deep Blue!
David Ullrich
5/7/97
Read Re: Go Deep Blue!
Hugh Young
5/7/97
Read Re: Go Deep Blue!
James Tuttle
5/8/97
Read Re: Go Deep Blue!
Dave Seaman
5/8/97
Read Re: Go Deep Blue!
David Kastrup
5/8/97
Read Re: Go Deep Blue!
Operations
5/8/97
Read Re: Go Deep Blue!
Dave Seaman
5/10/97
Read Re: Go Deep Blue!
Operations
5/5/97
Read Re: Go Deep Blue!
Ilias Kastanas
5/6/97
Read Re: Go Deep Blue!
Suresh Kolichala
5/8/97
Read Re: Go Deep Blue!
Rodney Small
5/8/97
Read Re: Go Deep Blue!
Earle D. Jones
5/9/97
Read Re: Go Deep Blue!
La Jolla del Mar
5/8/97
Read Re: Go Deep Blue!
Terry Moore
5/9/97
Read Re: Go Deep Blue!
Jon A Meilstrup
5/10/97
Read Re: Go Deep Blue!
David Ullrich
5/11/97
Read Re: Go Deep Blue!
Terry Moore
5/12/97
Read Re: Go Deep Blue!
Matthew P Wiener
5/13/97
Read Re: Go Deep Blue!
Terry Moore
5/14/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/13/97
Read Re: Go Deep Blue!
dseig
5/13/97
Read Re: Go Deep Blue!
dseig
5/13/97
Read Re: Go Deep Blue!
Pawel Biernacki (LVS-HIWI)
5/13/97
Read Re: Go Deep Blue!
Robert Rodgers
5/13/97
Read Re: Go Deep Blue!
Pawel Biernacki (LVS-HIWI)
5/9/97
Read Re: Go Deep Blue!
Robert Israel
5/11/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/12/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/13/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/13/97
Read Re: Go Deep Blue! (on Lucas)
Douglas J. Zare
5/14/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/14/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/16/97
Read Re: Go Deep Blue! (on Lucas)
Douglas J. Zare
5/18/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Douglas J. Zare
5/23/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/23/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/26/97
Read Re: Go Deep Blue! (on Lucas)
Robert Israel
5/26/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/26/97
Read Re: Go Deep Blue! (on Lucas)
Robert Israel
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Robert Israel
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/28/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/26/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/26/97
Read Re: Go Deep Blue! (on Lucas)
Manfred Jaeger
5/26/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
5/27/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/27/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/1/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/13/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/19/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/19/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/21/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/21/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/25/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/27/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/29/97
Read Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
5/29/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/29/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/1/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Matthew P Wiener
6/3/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Tal Kubo
6/4/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Matthew P Wiener
6/4/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Tal Kubo
6/5/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Matthew P Wiener
6/5/97
Read Re: Wiener's 0-1 Law Goedelian argument (was Re: Go Deep Blue! (on Luc
Tal Kubo
6/10/97
Read Finitized Model Theory for PA (was Re: Wiener's 0-1 Law argument
Tal Kubo
6/17/97
Read Re: Finitized Model Theory for PA (was Re: Wiener's 0-1 Law argument
Matthew P Wiener
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Ilias Kastanas
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/21/97
Read Re: Go Deep Blue! (on Lucas)
Ilias Kastanas
5/21/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/26/97
Read 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
5/29/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/29/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/1/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/3/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/3/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/15/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/15/97
Read Finitized Model Theory for PA (was Re: 0-1 Laws
Tal Kubo
6/16/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Matthew P Wiener
6/23/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Tal Kubo
6/24/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Matthew P Wiener
6/24/97
Read What is "finitized PA"?
Martin Goldstern
6/27/97
Read Re: What is "finitized PA"?
Tal Kubo
7/6/97
Read Re: What is "finitized PA"?
Matthew P Wiener
7/9/97
Read Re: What is "finitized PA"?
Bill Dubuque
5/29/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/5/97
Read More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/5/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/5/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/8/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/9/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/12/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/15/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/16/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/17/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/19/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/22/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/23/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/24/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/16/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/19/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/19/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/24/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/26/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/27/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/27/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/30/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
7/1/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
7/1/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
7/5/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
7/18/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/27/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/19/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/22/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/23/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/27/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/13/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/15/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/15/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/16/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/17/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/7/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/9/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/11/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Ilias Kastanas
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Daryl McCullough
6/5/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/5/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/6/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/7/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/8/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/12/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/15/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/17/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Tal Kubo
6/18/97
Read Re: More on 0-1 Laws (was Re: 0-1 Laws
Matthew P Wiener
6/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/15/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/15/97
Read Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/16/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/17/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/19/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/23/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/24/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Keith Ramsay
6/27/97
Read LOGSPACE & First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/30/97
Read Re: LOGSPACE & First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
7/7/97
Read Re: LOGSPACE & First-Order Graph Theory (was Re: 0-1 Laws
Kenneth Regan
6/24/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/27/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
7/3/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/28/97
Read Re: LOGSPACE & First-Order Graph Theory (was Re: 0-1 Laws
Ilias Kastanas
6/17/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/19/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/23/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/24/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
6/30/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Tal Kubo
6/30/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Matthew P Wiener
7/4/97
Read Re: Weemba on First-Order Graph Theory (was Re: 0-1 Laws
Vinh
6/15/97
Read Finitized Model Theory for PA (was Re: 0-1 Laws
Tal Kubo
6/16/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Matthew P Wiener
6/17/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Tal Kubo
6/17/97
Read Re: Finitized Model Theory for PA (was Re: 0-1 Laws
Matthew P Wiener
6/15/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/16/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/17/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/18/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/18/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Keith Ramsay
6/23/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/23/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/27/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/30/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/30/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
7/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
7/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
7/18/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
7/19/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
7/20/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
7/30/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
7/30/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
7/31/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
7/31/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/1/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/1/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/3/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/12/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/13/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/13/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/15/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/13/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/21/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/22/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Keith Ramsay
8/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Keith Ramsay
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/3/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/13/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/21/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/22/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/8/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/11/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/13/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/21/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/22/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
8/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Bill Taylor
8/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
8/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
8/7/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
7/31/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/30/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/4/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
5/31/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/1/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/2/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
6/5/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
6/6/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Kemoauc@de.ibm.com
6/10/97
Read Re: 0-1 Laws (was Re: Go Deep Blue! (on Lucas)
Tal Kubo
5/13/97
Read Re: Go Deep Blue! (on Lucas)
Robert Israel
5/19/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/19/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Matthew P Wiener
5/20/97
Read Re: Go Deep Blue! (on Lucas)
Daryl McCullough
5/21/97
Read Re: Go Deep Blue! (on Lucas)
Ian Woollard
5/11/97
Read Re: Go Deep Blue!
Matthew P Wiener
5/12/97
Read Re: Go Deep Blue!
Terry Moore
5/13/97
Read Re: Go Deep Blue!
Ian Woollard
5/15/97
Read Re: Go Deep Blue!
rmk
5/16/97
Read Re: Go Deep Blue!
Dave Seaman
5/17/97
Read Re: Go Deep Blue!
Jose Fernando Camoes Mendonca Oliveira Silva
5/16/97
Read Re: Go Deep Blue!
Ian Woollard
5/17/97
Read Re: definition of algorithm
Richard White (CS)
5/22/97
Read Re: definition of algorithm
El Lobo Rojo
5/23/97
Read Re: definition of algorithm
Dave Goggin
5/25/97
Read Re: definition of algorithm
KSG
5/25/97
Read Re: definition of algorithm
Gary Peterson
5/26/97
Read Re: definition of algorithm
Richard White (CS)
5/29/97
Read Re: definition of algorithm
tony richards
5/29/97
Read Re: definition of algorithm
Mike McCarty
5/30/97
Read Re: definition of algorithm
Dann Corbit
5/30/97
Read Re: definition of algorithm
Tony T. Warnock
5/31/97
Read Re: definition of algorithm
Ed Hook
6/2/97
Read Re: definition of algorithm
Mike McCarty
6/3/97
Read Re: definition of algorithm
Rick Decker
5/7/97
Read Re: Go Deep Blue!
James Tuttle
5/9/97
Read Re: Go Deep Blue!
Harold Schmelzer
5/5/97
Read Re: Go Deep Blue!
Dann Corbit
5/7/97
Read Re: Go Deep Blue!
Terry Moore
5/5/97
Read Re: Go Deep Blue! (Now 1-1)
Marzocchi Marco
5/2/97
Read Re: Go Deep Blue!
Steve Dover
5/3/97
Read Re: Go Deep Blue!
TOSIN Karl
5/3/97
Read Re: Go Deep Blue!
Fireball
5/4/97
Read Re: Go Deep Blue!
Julien Loertscher
5/5/97
Read Re: Go Deep Blue!
Fireball
5/5/97
Read Re: Go Deep Blue!
Richard White (CS)
5/6/97
Read Re: Go Deep Blue!
Fireball
5/7/97
Read Re: Go Deep Blue!
Richard White (CS)
5/8/97
Read Re: Go Deep Blue!
Fireball
5/8/97
Read Re: Go Deep Blue!
Brian Hutchings
5/11/97
Read Re: Go Deep Blue!
Hauke Reddmann
5/2/97
Read Re: Go Deep Blue!
Jon A Meilstrup
5/2/97
Read Re: Go Deep Blue!
James Tuttle
5/3/97
Read Re: Go Deep Blue!
William P Hamilton
5/4/97
Read Re: Go Deep Blue!
James Tuttle
5/2/97
Read Re: Go Deep Blue!
Xcott Craver
5/5/97
Read Re: Go Deep Blue!
Sherilyn
5/6/97
Read Re: Go Deep Blue!
Tom Johnson
5/8/97
Read Re: Go Deep Blue!
Suresh Kolichala
5/9/97
Read Re: Go Deep Blue!
David Ullrich
5/10/97
Read Re: Go Deep Blue!
Raphael Maiopoulos

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.