In een cursus die ik dit jaar moest kennen kwam er een techniek aan bod die verschillende getallen in
\(\nn\)
codeert in één getal. Het gaat als volgt:
je hebt een rij getallen:
\(a_1,a_2,a_3,...,a_n\)
vervolgens wordt het resulterende getal berekend door volgende methode:
\(u=\prod_{i=1}^nP_i^{a_i}\)
waarbij
\(P_i\)
het i-de priemgetal is.
In de cursus staat er dat dit de Gödel aftellingstechniek is, op Google vind ik echter enkel een link naar de pdf van de cursus, en 7 links, volgens mij is de naam dus fout
weet iemand hoe deze techniek noemt en of er iets gelijkaardigs in
\(\aleph_1\)
bestaat?