denumerable class
11Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as …
12List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… …
13Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 …
14Quantity — is a kind of property which exists as magnitude or multitude. It is among the basic classes of things along with quality, substance, change, and relation. Quantity was first introduced as quantum, an entity having quantity. Being a fundamental… …
15Automorphic form — In mathematics, the general notion of automorphic form is the extension to analytic functions, perhaps of several complex variables, of the theory of modular forms. It is in terms of a Lie group G, to generalise the groups SL2(R) or PSL2 (R) of… …
16Graduate Texts in Mathematics — (GTM) is a series of graduate level textbooks in mathematics published by Springer Verlag. The books in this series, like the other Springer Verlag mathematics series, are small yellow books of a standard size. This particular series is easily… …
17Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …
18Skolem–Löwenheim theorem — Any class of well formed formulae of the predicate calculus that has a model, has a model with a denumerable domain. See also Skolem paradox …
- 1
- 2
