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

Kleene–Rosser Paradox

Код 950739

Нет в продаже

Аннотация к книге "Kleene–Rosser Paradox"

In mathematics, the Kleene–Rosser paradox is a paradox that shows Church's original lambda calculus is inconsistent. It is similar to Russell's paradox, in that it is a statement that asserts its own falsehood if and only if it is true; that is, it is a self-negating statement. The paradox was developed by Stephen Kleene and J. B. Rosser in 1935, to show that the lambda calculus was inconsistent. The resolution of the paradox is the recognition that recursion is central and fundamental to the...

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

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

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

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