книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Goedel Numbering

Код 927340

Нет в продаже

Аннотация к книге "Goedel Numbering"

In mathematical logic, a Godel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Godel number. The concept was first used by Kurt Godel for the proof of his incompleteness theorem. A Godel numbering can be interpreted as an encoding in which a number is assigned to each symbol of a mathematical notation, after which a sequence of natural numbers can then represent a sequence of strings. These sequences of...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1300-6872-1
Объём: 132 страниц
Масса: 221 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают