Negli ultimi due anni sono state ottenute stime inferiori sempre più grandi per il numero di Busy Beaver BB(6).
Nel 2022 Pavel Kropitz ha dimostrato che BB(6) supera ^15 10 (tetration).
Successivamente il collaboratore “mxdys” ha dimostrato che BB(6) > ^10000000 10 con una prova in Coq.
Recentemente “mxdys” ha ulteriormente migliorato il limite a BB(6) ≥ 2 tetrato a (2 tetrato a (2 tetrato a 9)), cioè almeno 2 pentato a 5.
Il risultato evidenzia la crescita straordinaria della funzione di Busy Beaver e spinge a riconsiderare a quale n diventi indipendente dagli assiomi ZFC.
Get notified when new stories are published for "🇮🇹 Hacker News Italiano"