SemanticScuttle - klotz.me

Tags: computability*

0 bookmark(s) - Sort by: Date ↓ / Title /

1. Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math

   The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.

   2026-02-04 Tags: computability, computer science, computer-assisted proofs, games, mathematics, turing machines by klotz
2. Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

   2016-05-04 Tags: computability, zfc, scott aaronson by klotz

Top of the page

First / Previous / Next / Last / Page 1 of 0