Results 81 to 90 of about 150 (91)

Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem

Journal of Philosophical Logic, 1993
Hellman Geoffrey
exaly  

Non-existence of the Algorithm that can Obtain the Optimal Solution for a Few Given Options of Investment in Constructive Mathematics

2022
exaly  

Constructive Mathematics

Lecture Notes in Mathematics, 1981
exaly  

Tietze-Urysohn theorem fails in constructive mathematics

2022
exaly  

Constructive mathematics: left numbers and comparison

2022
exaly  

Foundational Theories of Classical and Constructive Mathematics

The Western Ontario Series in Philosophy of Science, 2011
exaly  

Douglas Bridges: Constructive Mathematics

Advances in Computer Science and Engineering, 2015
exaly  

The intermediate value theorem in constructive mathematics without choice

Annals of Pure and Applied Logic, 2012
exaly  

Generalized functions with pseudobounded support in constructive mathematics

Journal of Complexity, 2006
exaly  

AN INTRODUCTION TO THE THEORY OF C*-ALGEBRAS IN CONSTRUCTIVE MATHEMATICS

2005
exaly