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

Robinson arithmetic

Код 2475834

  • ISBN: 978-5-5121-2617-2

Нет в продаже

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

High Quality Content by WIKIPEDIA articles! In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in R. M. Robinson (1950). Q is essentially PA without the axiom schema of induction. Since Q is weaker than PA, it is incomplete. Q is important and interesting because it is a finitely axiomatized fragment of PA that is recursively incompletable and essentially undecidable.

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

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

ISBN: 978-5-5121-2617-2

Книга находится в категориях

Прикладная философия Отраслевая экономика

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