Results 141 to 150 of about 1,999,260 (196)

Decidability and Specker sequences in intuitionistic mathematics

Mathematical Logic Quarterly, 2009
AbstractA bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's Thesis permits the existence of a Specker sequence. In intuitionistic mathematics, Brouwer's Continuity Principle implies it is false that every bounded monotone sequence of real numbers has a limit.
Rasoul Ramezanian, Mohammad Ardeshir
exaly   +4 more sources

Mathematics of Intuitionistic Fuzzy Sets

Studies in Fuzziness and Soft Computing, 2016
Short firsthand remarks on the history and theory of Intuitionistic Fuzzy Sets (IFSs) are given. Influences of other areas of mathematics for development of the IFSs theory are discussed. On the basis of results in IFSs theory, some ideas for development of other mathematical areas are offered.
Krassimir Atanassov   +1 more
exaly   +3 more sources

Intuitionistic mathematics does not needex falso quodlibet

Topoi, 1994
We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX.
Neil Tennant, Tennant Neil
exaly   +3 more sources

Relational Quantum Mechanics and Intuitionistic Mathematics

Foundations of Physics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
C. B. Crane
openaire   +3 more sources

Intuitionistic mathematics and wittgenstein

History and Philosophy of Logic, 1991
The 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 ...
Wenceslao J. González
openaire   +2 more sources

Home - About - Disclaimer - Privacy