intuitionistic
51Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… …
52Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …
53Calculus of constructions — The calculus of constructions (CoC) is a higher order typed lambda calculus, initially developed by Thierry Coquand, where types are first class values. It is thus possible, within the CoC, to define functions from, say, integers to types, types… …
54Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… …
55Per Martin-Löf — in 2004 Born May 8, 1942 (194 …
56Heyting arithmetic — In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.Heyting arithmetic adopts the axioms of Peano arithmetic, but… …
57Glivenko's theorem — In logic, Glivenko s theorem states that whenever P rarr; Q is a theorem of classical propositional logic, not; not;P rarr; not; not;Q is a theorem of intuitionistic propositional logic. Similarly, not; not;P is a theorem of intuitionistic… …
58Indecomposability — In constructive mathematics, indecomposability or indivisibility ( de. unzerlegbarkeit, from the adjective unzerlegbar ) is the principle that the continuum cannot be partitioned into two nonempty pieces. This principle was established by Brouwer …
59Intuitionistische Logik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …
60Intuitionistische Mathematik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …
