In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics. The name of the subject contrasts...
31 KB (4,955 words) - 14:23, 21 April 2024
In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk (1995), Palmgren (1998)...
2 KB (160 words) - 09:17, 17 March 2024
Constructivism (philosophy of mathematics) (redirect from Constructive mathematics)
Hilbert and Bernays, the constructive recursive mathematics of Shanin and Markov, and Bishop's program of constructive analysis. Constructivism also includes...
19 KB (2,572 words) - 23:34, 2 June 2024
functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis. A notable...
12 KB (1,598 words) - 19:22, 29 May 2024
of constructive, rather than classical, logic and set theory. Intuitionistic analysis, which is developed from constructive logic like constructive analysis...
45 KB (4,370 words) - 19:09, 13 May 2024
known for his work on analysis. He is best known for developing constructive analysis in his 1967 Foundations of Constructive Analysis, where he proved most...
12 KB (1,388 words) - 06:59, 6 May 2024
In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for...
14 KB (2,073 words) - 11:54, 4 April 2024
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language...
211 KB (34,880 words) - 17:22, 1 June 2024
Markov's principle (section In constructive analysis)
not in intuitionistic constructive mathematics. However, many particular instances of it are nevertheless provable in a constructive context as well. The...
9 KB (1,334 words) - 13:17, 7 May 2024
Reverse mathematics (redirect from Constructive reverse mathematics)
of its definitions and methods are inspired by previous work in constructive analysis and proof theory. The use of second-order arithmetic also allows...
37 KB (4,665 words) - 19:08, 5 June 2024