English | Russian |
formal accommodation | официальная договорённость (bigmaxus) |
formal barriers | официальные барьеры (bigmaxus) |
formal message | сообщение, формат которого жёстко контролируется для облегчения его передачи, обработки и распределения |
formal occasion | официальное событие (bigmaxus) |
Godel numbering of a formal system | нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе) |