Search results

...n the [[antecedent (logic)|antecedent]] of implication), [[Constructivism (mathematics)|non-constructive]] predicates are avoided, which has benefits for computer ...used in different branches of [[Constructivism (mathematics)|constructive mathematics]] and [[logic programming]]. ...

...[[completed infinity]], in order to use a sequence (which is, in classical mathematics, an infinite object), we must have a formulation of a finite, constructible ...ral numbers will be the number <math>i-1</math>. Similarly, a [[function (mathematics)|function]] <math> f : \mathbb N \mapsto \mathbb N</math> mapping from the ...

...often employed in the study of [[computable analysis]] and [[constructive mathematics]]. [[Category:Constructivism (mathematics)]] ...

...matics]] to capture the [[classical logic|classical]] notion of a [[field (mathematics)|field]]. It is essentially a field with an [[apartness relation]]. [[Category:Constructivism (mathematics)]] ...

In [[constructivism (mathematics)|constructive mathematics]], '''pseudo-order''' is a name given to certain [[binary relation]]s appro In classical mathematics, its axioms constitute a formulation of a [[strict total order]] (also call ...

...lassical logic|classical mathematics]] are also theorems of intuitionistic mathematics. It is named after its discoverer, [[Harvey Friedman (mathematician)|Harvey ...d Muller, G. H. Editors, Higher Set Theory, Volume 699 of Lecture Notes in Mathematics, Springer Verlag (1978), pp. 21–28. {{doi|10.1007/BFb0103100}}</ref> Moreov ...

[[Category:Constructivism (mathematics)]] ...

| url = https://archive.org/details/the-mathematics-of-peter-lowes-spiral-works | title = The Mathematics of Peter Lowe's "Spiral" Works ...

...f nonconstructivity required for an argument, as in [[constructive reverse mathematics]]. These principles are also related to [[weak counterexample]]s in the sen ...uded middle.<ref>{{Cite arXiv|eprint=1804.05495|title=Constructive Reverse Mathematics|class=math.LO|last1=Diener|first1=Hannes|year=2020}}</ref> ...

Assemblies are equipped with a [[category (mathematics)|categorical]] structure as follows. A morphism <math>f : S \to T</math> be [[Category:Constructivism (mathematics)]] ...

In mathematics, the '''effective topos''' <math>{\mathsf{Eff}}</math> introduced by {{harv Analysis here corresponds to the [[Andrey Markov Jr.|recursive school]] of constructivism. ...

[[Category:Constructivism (mathematics)]] ...

In [[mathematics]] and [[computer science]], '''computable analysis''' is the study of [[mat * While the [[Equality (mathematics)|equality]] relation is not [[Decidability (logic)|decidable]], the greater ...

{{Short description|Foundational controversy in twentieth-century mathematics}} ...f [[intuitionism]], opposed [[David Hilbert]], a proponent of [[formalism (mathematics)|formalism]]. Much of the controversy took place while both were involved w ...

[[Category:Constructivism (mathematics)]] ...

...singular term]]s and [[existential quantifier]]s. An important question in mathematics is whether all mathematical truths can be grounded in the axioms of logic t ...arify the relation between logic and other fields, such as [[ontology]], [[mathematics]], and [[psychology]].<ref name="Britannica"/><ref name="Routledge">{{cite ...

In [[mathematics]], a '''real number''' is a [[number]] that can be used to [[measurement|me ...ics), in particular by their role in the classical definitions of [[limit (mathematics)|limits]], [[continuous function|continuity]] and [[derivative]]s.{{efn|Lim ...

...ory]], the '''crossing number''' {{math|cr(''G'')}} of a [[Graph (discrete mathematics)|graph]] {{mvar|G}} is the lowest number of edge crossings of a plane [[gra ...aph theory)|vertices]], the crossing number is at least [[Proportionality (mathematics)|proportional]] to {{math|''e''{{sup|3}}/''n''{{sup|2}}}}. It has applicati ...

...=https://www.worldcat.org/oclc/659590835 |title=The Princeton companion to mathematics |last2=Barrow-Green |first2=June |publisher=Princeton University Press |oth ...ncept of infinity and the manipulation of infinite sets are widely used in mathematics, even in areas such as [[combinatorics]] that may seem to have nothing to d ...

...matics)|sets]] on a [[topological space]] (or more generally, on a [[Site (mathematics)|site]]). Topoi behave much like the [[category of sets]] and possess a not ...rst=Olivia |date=2016 |title=Grothendieck toposes as unifying 'bridges' in Mathematics |publisher=Paris Diderot University (Paris 7) | url = https://www.oliviacar ...