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) - 11:02, 6 August 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,575 words) - 12:46, 16 September 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,591 words) - 21:45, 26 July 2024
of constructive, rather than classical, logic and set theory. Intuitionistic analysis, which is developed from constructive logic like constructive analysis...
45 KB (4,365 words) - 05:22, 4 October 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
constructive mathematical theories tend to prove classically equivalent reformulations of classical theorems. For example, in constructive analysis,...
212 KB (35,132 words) - 08:17, 17 October 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,349 words) - 20:11, 1 July 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,742 words) - 00:14, 14 October 2024