Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Mass media
containing
A formal
|
all forms
|
exact matches only
|
in specified order only
English
Russian
Godel numbering of
a formal
system
нумерация Гёделя для формальных систем
(т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе)
Get short URL