В теории формальных чисел нумерация Гёделя - это функция, которая присваивает каждому символу и формуле некоторого формального языка уникальное натуральное число, называемое числом Гёделя (ЧГ). Впервые это понятие было использовано Куртом Гёделем для доказательства его теоремы о неполноте.
Нумерация Гёделя может быть интерпретирована как кодировка, в которой каждому символу математической нотации присваивается число, и поток натуральных чисел может представлять некоторую форму или функцию. Нумерация множества вычислимых функций может быть представлена потоком чисел Гёделя (также называемых эффективными числами). Теорема эквивалентности Роджерса устанавливает критерии, по которым нумерации множества вычислимых функций являются нумерациями Гёделя.
