Constructive analysis
http://dbpedia.org/resource/Constructive_analysis an entity of type: Thing
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Constructive analysis
rdf:langString
Analyse constructive
rdf:langString
Análise construtiva
xsd:integer
239851
xsd:integer
1093156484
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
7810