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

Realizability

Код 1005398

Нет в продаже

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

High Quality Content by WIKIPEDIA articles! Realizability is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other logical and mathematical statements are also realizable, providing a method for interpreting well formed formulas without resorting to proofs for arriving at those formulas. Kleene introduced the concept of...

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

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

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

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

Просмотренные товары