Gödel numbering
danh từ (noun)
Nghĩa chính
- Hàm gán số Gödel cho mỗi công thức được định dạng đúng của một số ngôn ngữ hình thứcdanh từA function assigning a Gödel number to each well-formed formula of some formal language.
Dạng từ (word form)
theo quy tắc (regular)- Gödel numberingDạng gốc (base form)
- Gödel numberingsSố nhiều (plural)