Da ne čitam to sve, jeste li došli do Busy Beaver brojeva?
Nedavno sam čitao kako su Aaronson i neki njegov student dokazali da BB(8000) ili veći ne može biti točno određen koristeći Zermelo Fraenkel aksiome teorije skupova. Kao da je toliko velik da prkosi svemu
Nije baš intuitivno, s obzirom da je jasno da je BB(8000) ili više konačan broj. Nisam čitao pravi dokaz, nego samo informaciju o tome.
Za staviti točku na tu raspravu o velikim brojevima, ili ovdje stože govoreći brzorastućim funkcijama, ja ne znam za 'veći broj' od n-tog Super Busy Beavera, odnosno onog koji je 'oracle' odnosno Super Turingova mašina za BB brojeve..
Veliki brojevi su svakako zanimljiva tema, barem meni, posebno u kontekstu limita našeg znanja. Kako bi Aaronson rekao, komputacijska teorija kompleksnosti je kvantitativna epistemologija
__________________