ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

timtyler comments on Metaphilosophical Mysteries

timtyler 31 Jul 2010 22:13 UTC
−1 points
BB(100) is computable—and BB(2^100) is computable too :-(