Results 141 to 150 of about 1,082 (177)
Some of the next articles are maybe not open access.
Elementary Intuitionistic Mathematics
2000Abstract The name ‘intuitionism’ is due to Brouwer’s acceptance of the Kantian thesis that our concept of the natural number series is derived from temporal intuition, our apprehension of the passage of time; not, indeed, from any particular details of our experience, but from the a priori form of that experience as involving temporal ...
openaire +1 more source
Models of Mathematical Programming for Intuitionistic Multiplicative Preference Relations
IEEE Transactions on Fuzzy Systems, 2017In order to capture/model uncertainty associated with imprecision or vagueness, a decision maker may express her/his judgments in terms of intuitionistic multiplicative preference relation (IMPR). Two important research topics with this regard are studied in the paper: 1) checking consistency of IMPR and 2) generating weights on the basis of this ...
Zhiming Zhang 0002, Witold Pedrycz
openaire +1 more source
Relational Quantum Mechanics and Intuitionistic Mathematics
Foundations of PhysicszbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Continuum in Constructive and Intuitionistic Mathematics
2019In constructive mathematics, a problem is counted as solved only if an explicit solution can, in principle at least, be produced. Thus, for example, “There is an x such that P(x)” means that, in principle at least, we can explicitly produce an x such that P(x).
openaire +1 more source
Constructive Mathematics and Models of Intuitionistic Theories
1973Publisher Summary This chapter discusses applications of constructive mathematics for investigations of semantic questions and theories of intuitionistic choice sequences. Some general inductive definitions are introduced into constructive mathematics. For example, the suggested conception is applied to the study of Markov's semantics of constructive
openaire +1 more source
What is the philosophical basis of intuitionistic mathematics?
1995Publisher Summary This chapter explores the philosophical basis of intuitionistic mathematics. There are insights in intuitionism that are found nowhere else in the philosophy of mathematics; insights that ought to be preserved, clarified, and extended. Chief among these is the idea that a proof is a mental construction.
openaire +1 more source
The Foundations of Intuitionistic Mathematics.
The American Mathematical Monthly, 1967H. E. Kyburg, S. C. Kleene, R. E. Vesley
openaire +1 more source
Negationless Intuitionistic Mathematics. IVa
Indagationes Mathematicae (Proceedings), 1951openaire +2 more sources
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic
1977Standard formalizations of constructive mathematics (’constructive’ here in the narrow sense of Bishop (1967): choice sequences are regarded as inacceptable, and Church’s thesis is not assumed) can be carried out in formal systems based on intuitionistic logic which become classical formal systems on addition of the principle of the excluded third. The
openaire +1 more source