Results 151 to 160 of about 1,999,260 (196)

What is the philosophical basis of intuitionistic mathematics?

1995
Publisher 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.
R. Tieszen
openaire   +2 more sources

The Foundations of Intuitionistic Mathematics.

The American Mathematical Monthly, 1967
H. E. Kyburg, S. C. Kleene, R. E. Vesley
openaire   +2 more sources

Logic of Negationless Intuitionistic Mathematics

Indagationes Mathematicae (Proceedings), 1951
G. Griss
openaire   +3 more sources

The Foundations of Intuitionistic Mathematics

Mathematical Gazette, 1965
R. Goodstein
openaire   +2 more sources

Recent Advances in Intuitionistic Fuzzy Logic Systems and Mathematics

Studies in Fuzziness and Soft Computing, 2021
exaly   +2 more sources

Negationless Intuitionistic Mathematics. IVa

Indagationes Mathematicae (Proceedings), 1951
G. Griss
openaire   +3 more sources

Intuitionistic views on the nature of mathematics

SynthÈse, 1974
exaly   +4 more sources

Intuitionistic Mathematics and Human Creativity

2017
K. Mainzer
openaire   +2 more sources

Intuitionistic fuzzy evaluations for analysis of a student's knowledge of mathematics in university e-learning courses

IEEE International Conference on Intelligent Systems, 2016
Krassimir Atanassov, Pedro Melo-Pinto, Maciej Krawczak   +2 more
exaly   +2 more sources

Intuitionistic Mathematics and Realizability in the Physical World

2012
Andrej Bauer
openaire   +2 more sources