separable logic
Смотреть что такое "separable logic" в других словарях:
Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Effectively separable — In computability theory, two sets of natural numbers are effectively separable if it is possible to separate the sets with a computable set, and effectively inseparable otherwise. Formal definitionLet A and B be disjoint sets of natural numbers.… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Aristotle — /ar euh stot l/, n. 384 322 B.C., Greek philosopher: pupil of Plato; tutor of Alexander the Great. * * * born 384, Stagira died 322 BC, Chalcis Greek philosopher and scientist whose thought determined the course of Western intellectual history… … Universalium
Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers … Wikipedia
Quantum entanglement — Quantum mechanics Uncertainty principle … Wikipedia
Aristotelianism — /ar euh steuh teel yeuh niz euhm, tee lee euh , euh ris teuh /, n. 1. the philosophy of Aristotle. 2. emphasis upon deduction and upon investigation of concrete and particular things and situations. [1835 45; ARISTOTELIAN + ISM] * * *… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
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
