About: Constructive analysis

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Constructive analysis Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Work, within Data Space : el.dbpedia.org associated with source document(s)

In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.This contrasts with classical analysis, which (in this context) simply means analysis done according to the (more common) principles of classical mathematics.

Attributes	Values
rdf:type	Thing work
rdfs:label	Constructive analysis (en)
rdfs:comment	In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.This contrasts with classical analysis, which (in this context) simply means analysis done according to the (more common) principles of classical mathematics. (en)
sameAs	Constructive analysis Constructive analysis
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Portal dbt:Refimprove dbt:Reflist dbt:Non-classical_logic
Subject	Constructivism (mathematics) Intuitionism Mathematical analysis
gold:hypernym	Analysis
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Constructive_analysis?oldid=1060418186&ns=0
Wikipage page ID	239851 (xsd:integer)
page length (characters) of wiki page	7770 (xsd:nonNegativeInteger)
Wikipage revision ID	1060418186 (xsd:integer)
Link from a Wikipage to another Wikipage	Logical disjunction Logical equivalence 0 Absolute value Akihiro Kanamori Analytic function Approximation Axiom of dependent choice Separable space Sequence Sequentially compact space Upper and lower bounds Cantor's diagonal argument Cantor's theorem Constructivism (mathematics) Intuitionism Mathematical analysis Classical logic Classical mathematics Compact space Computable analysis Constructive set theory Constructivism (philosophy of mathematics) Continuous function Errett Bishop Indecomposability (intuitionistic logic) Existential quantification Infimum and supremum Intermediate value theorem Interval (mathematics) Intuitionistic logic Subcountability Subset Law of excluded middle Infimum and supremum Limit point Limited principle of omniscience Markov's principle Numerical analysis Mathematics History of numbers Negative number Rational number Real line Real number Sign (mathematics)
has abstract	In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.This contrasts with classical analysis, which (in this context) simply means analysis done according to the (more common) principles of classical mathematics. Generally speaking, constructive analysis can reproduce theorems of classical analysis, but only in application to separable spaces; also, some theorems may need to be approached by approximations.Furthermore, many classical theorems can be stated in ways that are logically equivalent according to classical logic, but not all of these forms will be valid in constructive analysis, which uses intuitionistic logic. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Constructive_analysis
is Wikipage redirect of	Intuitionistic analysis Constructivist analysis
is Link from a Wikipage to another Wikipage of	Intuitionistic analysis 1967 in science Actual infinity Analysis Archimedean property Calculus Glossary of areas of mathematics History of logic List of mathematical logic topics Computability in Analysis and Physics Computable analysis Constructive set theory Constructivism (philosophy of mathematics) Effective Polish space Effective descriptive set theory Errett Bishop Indecomposability (intuitionistic logic) Intuitionism Modulus of continuity Leave-one-out error Markov's principle Numerical analysis Constructivist analysis
is known for of	Errett Bishop
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Constructive_analysis

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software