Results 181 to 190 of about 1,880 (221)
Some of the next articles are maybe not open access.
Temporal and atemporal truth in intuitionistic mathematics
Topoi, 1994In Sect. 11.2, we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of the classical meaning of the logical constants and consequently is incompatible with the antirealism of orthodox Intuitionism. In Sect.
Martino, Enrico, Usberti, Gabriele
openaire +1 more source
Intuitionistic mathematics and wittgenstein
History and Philosophy of Logic, 1991The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the ...
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
Solipsism and philosophy of mathematics: intuitionists compared
2022This paper will consider L. E. J. Brouwer, A. Heyting and G. F. C. Griss as the first generation of Dutch intuitionists to look at the interrelationship between solipsism and mathematics. In particular, our focus will be on Heyting, on the basis of the existence of some unpublished material (and also some difficult to find published material) revealing
openaire +1 more source
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
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