Grahams tal, Rayos tal och gränsen för kompressibilitet
Grahams tal, Rayos tal och gränsen för kompressibilitet Det är frestande att föreställa sig mycket stora tal som en tävling i ren storlek. Först kommer exponenter, sedan exponenttorn, sedan Knuths pilar, sedan Grahams tal, och därefter något ännu större. Men den bilden är missvisande. Den antyder att alla dessa konstruktioner ligger i samma landskap, bara allt högre upp. I själva verket rör det sig om olika regimer. Vissa konstruktioner trappar upp operationer inom ett givet språk. Andra utgår från språket självt, dess uttryckskraft och dess gränser, och diagonaliserar sedan över det som kan definieras inom dessa gränser. Det är denna skillnad som visar sig vara avgörande. Detta blir tydligt så snart man börjar tänka i termer av symbolbudget. Om man får använda högst ett visst antal symboler, är frågan inte längre bara vilket tal som är störst, utan hur mycket struktur som kan packas in i en begränsad formel. Därmed förskjuts uppmärksamheten från talen som sådana till språket so...