Search results

...belianCategory3/|non-Abelian]]) [[../QuantumFundamentalGroupoid3/|category of quantum groupoids]], <math>[Q_{\grp}]_i</math>, ''and quantum groupoid homo ...f quantum groupoids, <math>[Q_{\grp}]_i</math>, is trivially a subcategory of the [[../GroupoidCategory3/|groupoid category]], that can also be regarded ...

...ath> in the '''parameter set''' <math>\Alpha\!</math> is an indexed family of operators <math>(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp * [[Universe of discourse]] ...

...' with ''parameter'' <math>k\!</math> in the set <math>\mathbb{N}\!</math> of non-negative integers. ...math> left tacit, as the appropriate application is implicit in the number of operands listed. Thus <math>\Omega (x_1, \ldots, x_k)\!</math> may be take ...

...f two propositions, that produces a value of ''false'' if and only if both of its operands are false. The [[truth table]] of <math>p ~\operatorname{OR}~ q,</math> also written <math>p \lor q,\!</math> ...

...al values, typically the values of two propositions, that produces a value of ''true'' if and only if both operands are false or both operands are true. The [[truth table]] of <math>p ~\operatorname{EQ}~ q,</math> also written <math>p = q,\!</math> <m ...

...other words, it produces a value of ''false'' if and only if at least one of its operands is true. The [[truth table]] of <math>p ~\operatorname{NNOR}~ q,</math> also written <math>p \curlywedge q, ...

...the concept of temperature. The most common enunciation of the zeroth law of thermodynamics is: ...struct a thermometer'. Whether this is true is a subject in the philosophy of thermal and statistical physics. ...

...n other words, it produces a value of ''true'' if and only if at least one of its operands is false. The [[truth table]] of <math>p ~\operatorname{NAND}~ q,</math> also written <math>p \stackrel{\cir ...

...o propositions, that produces a value of ''true'' just in case exactly one of its operands is true. The [[truth table]] of <math>p~\text{XOR}~q</math> , also written <math>p+q</math> or <math>p\ne q ...

...n, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true. The [[truth table]] of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> ap ...

This is a contributed topic entry on the axiomatic foundations of mathematics. ===Axiomatic Theories and Categorical Foundations of Mathematical Physics and Mathematics=== ...

mathematical [[../PreciseIdea/|concepts]] of QAT based on [[../ModuleAlgebraic/|algebraic topology]] (AT), [[../TrivialG ...of algebraic topology, category theory, as well as non-Abelian extensions of AT and CT in higher dimensional algebra and supercategories. ...

...importance for axiomatic approaches to many areas of science besides those of mathematics and metamathematics , such as: general [[../NewtonianMechanics/ A ''metalogic'' is a meta-theory of various [[../Bijective/|types]] of logic. ...

This is a new topic on the [[../CoIntersections/|algebraic]] foundations of mathematics. ...algebraic structures]]} rather than the study of specific cases, or models of algebraic structures. ...

...ware framework for quantitative finance. QuantLib is a [http://www.gnu.org/philosophy/free-sw.html free], [http://www.opensource.org/ open-source] library for mo ...g their time writing C++ classes which have been already written thousands of times. ...

...cation'', ''reification'', and ''subjectal abstraction''.&nbsp; The object of discussion or thought thus introduced is termed a ''[[hypostatic object]]'' ...into an extra subject, upping the ''arity'', also called the ''adicity'', of the main predicate in the process. ...

==topic on the Algebraic Foundations of Quantum Algebraic Topology== ...s a contributed topic on the [[../CoIntersections/|algebraic]] foundations of [[../TriangulationMethodsForQuantizedSpacetimes2/|Quantum Algebraic Topolog ...

Here is Peirce's own statement and proof of the law: ...le and other propositions connected with it. One of the simplest formulae of this kind is:</p> ...

...the base of the [[w:International System of Units|SI International System of Units]]. As [[w:Planck units |Planck units]] these would constitute [[w:Pla ...her [sic] <ref>Lloyd, G. E. R. (1968), Aristotle: The Growth and Structure of his Thought, Cambridge: Cambridge Univ. Pr., pp. 133–139, {{ISBN|0-521-0945 ...

The concept of '''logical implication''' encompasses a specific logical function, a specif ...concept of logical implication are expressed in ordinary language by means of linguistic forms like the following: ...