Книга: Christie James A «The Constructive Arithmetic»
![]() |
Серия: "-" Книга представляет собой репринтное издание. Несмотря на то, что была проведена серьезная работа по восстановлению первоначального качества издания, на некоторых страницах могут обнаружиться небольшие "огрехи" :помарки, кляксы и т. п. Издательство: "Книга по Требованию" (2011)
Купить за 1317 руб в My-shop |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|
См. также в других словарях:
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
The Seven Liberal Arts — The Seven Liberal Arts † Catholic Encyclopedia ► The Seven Liberal Arts The expression artes liberales, chiefly used during the Middle Ages, does not mean arts as we understand the word at this present day, but those branches of… … Catholic encyclopedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia
The Foundations of Arithmetic — Die Grundlagen der Arithmetik (The Foundations of Arithmetic) is a book by Gottlob Frege, published in 1884, in which he investigates the philosophical foundations of arithmetic. In a tour de force of literary and philosophical merit, Frege… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia