Tuesday, February 07, 2006

"Busy Beaver" doesn't mean what you think it means

The writings of Scott Aaronsson are interesting and frequently humoristic. Take special note of the essay on large numbers, which equips you with new ways of telling your friends just how much better than them you are.

1 comment:

- said...

This sentence demonstrates all that is wrong with mathematics: »This infinite hierarchy of ever more powerful machines was formalized by the logician Stephen Kleene in 1943 (although he didn’t use the term ‘super duper pooper’).«