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 (ordinary) principles of classical mathematics.

Property Value
dbo: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 (ordinary) 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)
  • L'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. (fr)
  • Em matemática, a análise construtiva é a análise matemática feita de acordo com os princípios da matemática construtiva. Isto contrasta com a análise clássica, que (neste contexto), significa simplesmente análise feita de acordo com os princípios (ordinário) de matemática clássica. De um modo geral, a análise construtiva pode reproduzir teoremas da análise clássica, mas apenas em aplicações de espaços separáveis; também, alguns teoremas podem precisar de ser abordados por aproximações. Além disso, muitos teoremas clássicos podem ser feitos de maneiras que são logicamente equivalentes de acordo com a lógica clássica, mas nem todas estas formas serão válidas em análise construtiva, a qual utiliza uma lógica intuicionista. (pt)
dbo:wikiPageID
  • 239851 (xsd:integer)
dbo:wikiPageRevisionID
  • 663217929 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • L'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. (fr)
  • 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 (ordinary) principles of classical mathematics. (en)
  • Em matemática, a análise construtiva é a análise matemática feita de acordo com os princípios da matemática construtiva. Isto contrasta com a análise clássica, que (neste contexto), significa simplesmente análise feita de acordo com os princípios (ordinário) de matemática clássica. (pt)
rdfs:label
  • Constructive analysis (en)
  • Analyse constructive (fr)
  • Análise construtiva (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of