Constructive analysis (original) (raw)
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.
| 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 (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) 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:wikiPageLength | 7810 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093156484 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Constructivism_(mathematics) dbc:Intuitionism dbr:Upper_bound dbr:Cantors_theorem dbr:Intuitionistic_logic dbr:Limited_principle_of_omniscience dbr:0_(number) dbr:Compact_space dbr:Continuous_function dbr:Analytic_function dbr:Mathematical_analysis dbr:Mathematics dbr:Separable_space dbr:Cluster_point dbr:Constructive_nonstandard_analysis dbr:Constructive_set_theory dbr:Approximation dbr:Computable_analysis dbr:Markov's_principle dbr:Law_of_excluded_middle dbr:Absolute_value dbr:Akihiro_Kanamori dbr:Errett_Bishop dbr:Closed_interval dbr:Logical_disjunction dbr:Interval_(mathematics) dbr:Subcountability dbc:Mathematical_analysis dbr:Axiom_of_dependent_choice dbr:Positive_number dbr:Classical_logic dbr:Classical_mathematics dbr:Indecomposability_(constructive_mathematics) dbr:Intermediate_value_theorem dbr:Natural_number dbr:Negative_number dbr:Cantor's_diagonal_argument dbr:Rational_number dbr:Real_number dbr:Logically_equivalent dbr:Existential_quantification dbr:Real_line dbr:Sequentially_compact dbr:Subset dbr:Least-upper-bound_principle dbr:Least_upper_bound dbr:Infinite_sequence dbr:Constructive_mathematics dbr:Compact_set |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cite_book dbt:Portal dbt:Refimprove dbt:Reflist dbt:Non-classical_logic |
| dct:subject | dbc:Constructivism_(mathematics) dbc:Intuitionism dbc:Mathematical_analysis |
| gold:hypernym | dbr:Analysis |
| rdf:type | owl:Thing dbo:Work |
| 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 (more common) 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 | freebase:Constructive analysis wikidata:Constructive analysis dbpedia-fr:Constructive analysis dbpedia-pt:Constructive analysis https://global.dbpedia.org/id/2eNRX http://d-nb.info/gnd/4473957-6 |
| prov:wasDerivedFrom | wikipedia-en:Constructive_analysis?oldid=1093156484&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Constructive_analysis |
| is dbo:knownFor of | dbr:Errett_Bishop |
| is dbo:wikiPageRedirects of | dbr:Intuitionistic_analysis dbr:Constructivist_analysis |
| is dbo:wikiPageWikiLink of | dbr:Calculus dbr:Modulus_of_continuity dbr:Archimedean_property dbr:Paul_Lorenzen dbr:Reverse_mathematics dbr:Dedekind_cut dbr:Intuitionism dbr:Constructivism_(philosophy_of_mathematics) dbr:Mathematical_analysis dbr:Glossary_of_areas_of_mathematics dbr:Constructive_set_theory dbr:Computability_in_Analysis_and_Physics dbr:Computable_analysis dbr:Markov's_principle dbr:1967_in_science dbr:Actual_infinity dbr:Errett_Bishop dbr:History_of_logic dbr:Leave-one-out_error dbr:Effective_Polish_space dbr:Effective_descriptive_set_theory dbr:Heyting_arithmetic dbr:Philosophy_of_mathematics dbr:Sergei_P._Kurdyumov dbr:Sylvester–Gallai_theorem dbr:Intuitionistic_analysis dbr:Constructivist_analysis |
| is dbp:knownFor of | dbr:Errett_Bishop |
| is foaf:primaryTopic of | wikipedia-en:Constructive_analysis |