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

-----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.



-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.8+ <http://mailcrypt.sourceforge.net/>

iD8DBQFGAF0LbBGsCPR0ElQRArJAAKCjSOEbUYoWlSp+nzi6JInTj029QACggz89
l/1REthav0FtAKgL7Fbc4Xg=
=wlej
-----END PGP SIGNATURE-----