[plt-scheme] Effect of caching using hash-tables vs vectors

From: Joe Marshall (jmarshall at alum.mit.edu)
Date: Tue Mar 20 18:21:13 EDT 2007

Two can play at this game!

On 3/20/07, John David Stone <stone at math.grinnell.edu> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
>        Joe Marshall writes:
>
>  > On 3/20/07, Paulo J. Matos <pocm at soton.ac.uk> wrote:
>  > >
>  > > PS. Just before clicking the send button I had a quick thought about
>  > > the collatz sequence. Isn't it true that solving the halting problem
>  > > would prove the collatz conjecture?
>  >
>  > It would certainly decide it one way or the other.
>
>        On the contrary:  Solving the halting problem would show that the
> current axiomatizations of arithmetic are inconsistent, so that the Collatz
> conjecture could be both proven and disproven.  This, alas, would not
> decide it one way or the other.

Maybe I was using the logical OR, not the colloquial one.


-- 
~jrm


Posted on the users mailing list.