Аннотация к книге "Non- Standard Model of Arithmetic"
High Quality Content by WIKIPEDIA articles! In mathematical logic, a nonstandard model of arithmetic is a model of (first-order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A nonstandard model is one that has additional elements outside this initial...
High Quality Content by WIKIPEDIA articles! In mathematical logic, a nonstandard model of arithmetic is a model of (first-order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A nonstandard model is one that has additional elements outside this initial segment. The existence of such models is due to Thoralf Skolem (1934).The existence of non-standard models of arithmetic can be demonstrated by an application of the compactness theorem. To do this, a set of axioms P* is defined in a language including the language of Peano arithmetic together with a new constant symbol x.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
В основе колоды «Серебряный оракул Ленорман» лежат фотографии, обработанные особым способом. На карточный картон с серебряным покрытием изображения нанесены двумя красками — черной и красной. В колоде 36 листов, карты отпечатаны на плотном картоне, покрыты специальным карточным лаком и упакованы в двусоставную картонную коробочку (футляр + шубер). В комплекте идет брошюра-инструкция, содержащая на 40...
Всех программистов, которые добиваются успеха в мире разработки ПО, отличает один общий признак: они больше всего заботятся о качестве создаваемого программного обеспечения. Это – основа для них. Потому что они являются профессионалами своего дела. В этой книге легендарный эксперт Роберт Мартин (более известный в сообществе как «Дядюшка Боб»), автор бестселлера «Чистый код», рассказывает о том, что...
Оставить комментарий