Największa znana liczba?

Zapraszam na wycieczkę po krainie liczb naturalnych! Cel to zdobycie jak najwyższego szczytu, czyli nazwanie jak największej liczby. Nazwa musi być precyzyjna - musi istnieć dokładnie jedna liczba pasująca do danego opisu. Co nie znaczy, że musimy być w stanie wypisać jej wszystkie cyfry... Zaczniemy od prostych notacji w stylu potęgowania, ale szybko spojrzymy na problem bardziej abstrakcyjnie. I tu przyjdą nam z pomocą formalne modele obliczeń (jak np. maszyny Turinga). Na koniec wycieczki zahaczymy jeszcze o definiowalność w logice. Spacer zakończymy patrząc z satysfakcją na panoramę odwiedzonej krainy.