Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Constructive_analysis> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Constructive_analysis 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.".
- Constructive_analysis wikiPageID "239851".
- Constructive_analysis wikiPageLength "7142".
- Constructive_analysis wikiPageOutDegree "41".
- Constructive_analysis wikiPageRevisionID "663217929".
- Constructive_analysis wikiPageWikiLink 0_(number).
- Constructive_analysis wikiPageWikiLink Absolute_value.
- Constructive_analysis wikiPageWikiLink Analytic_function.
- Constructive_analysis wikiPageWikiLink Approximation.
- Constructive_analysis wikiPageWikiLink Cantors_diagonal_argument.
- Constructive_analysis wikiPageWikiLink Category:Constructivism_(mathematics).
- Constructive_analysis wikiPageWikiLink Category:Intuitionism.
- Constructive_analysis wikiPageWikiLink Category:Mathematical_analysis.
- Constructive_analysis wikiPageWikiLink Classical_logic.
- Constructive_analysis wikiPageWikiLink Classical_mathematics.
- Constructive_analysis wikiPageWikiLink Compact_space.
- Constructive_analysis wikiPageWikiLink Computable_analysis.
- Constructive_analysis wikiPageWikiLink Constructivism_(mathematics).
- Constructive_analysis wikiPageWikiLink Continuous_function.
- Constructive_analysis wikiPageWikiLink Errett_Bishop.
- Constructive_analysis wikiPageWikiLink Existential_quantification.
- Constructive_analysis wikiPageWikiLink Indecomposability.
- Constructive_analysis wikiPageWikiLink Infimum_and_supremum.
- Constructive_analysis wikiPageWikiLink Intermediate_value_theorem.
- Constructive_analysis wikiPageWikiLink Interval_(mathematics).
- Constructive_analysis wikiPageWikiLink Intuitionistic_logic.
- Constructive_analysis wikiPageWikiLink Least-upper-bound_property.
- Constructive_analysis wikiPageWikiLink Limit_point.
- Constructive_analysis wikiPageWikiLink Logical_disjunction.
- Constructive_analysis wikiPageWikiLink Logical_equivalence.
- Constructive_analysis wikiPageWikiLink Mathematical_analysis.
- Constructive_analysis wikiPageWikiLink Mathematics.
- Constructive_analysis wikiPageWikiLink Natural_number.
- Constructive_analysis wikiPageWikiLink Negative_number.
- Constructive_analysis wikiPageWikiLink Rational_number.
- Constructive_analysis wikiPageWikiLink Real_line.
- Constructive_analysis wikiPageWikiLink Real_number.
- Constructive_analysis wikiPageWikiLink Separable_space.
- Constructive_analysis wikiPageWikiLink Sequence.
- Constructive_analysis wikiPageWikiLink Sequentially_compact_space.
- Constructive_analysis wikiPageWikiLink Sign_(mathematics).
- Constructive_analysis wikiPageWikiLink Subset.
- Constructive_analysis wikiPageWikiLink Upper_and_lower_bounds.
- Constructive_analysis wikiPageWikiLinkText "Constructive analysis".
- Constructive_analysis wikiPageWikiLinkText "constructive analysis".
- Constructive_analysis wikiPageUsesTemplate Template:Authority_control.
- Constructive_analysis wikiPageUsesTemplate Template:Cite_book.
- Constructive_analysis wikiPageUsesTemplate Template:Non-classical_logic.
- Constructive_analysis wikiPageUsesTemplate Template:Reflist.
- Constructive_analysis wikiPageUsesTemplate Template:Unreferenced.
- Constructive_analysis subject Category:Constructivism_(mathematics).
- Constructive_analysis subject Category:Intuitionism.
- Constructive_analysis subject Category:Mathematical_analysis.
- Constructive_analysis hypernym Analysis.
- Constructive_analysis type Work.
- Constructive_analysis type Field.
- Constructive_analysis type Theory.
- Constructive_analysis type Thing.
- Constructive_analysis 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 (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.".
- Constructive_analysis label "Constructive analysis".
- Constructive_analysis sameAs Q2845197.
- Constructive_analysis sameAs Analyse_constructive.
- Constructive_analysis sameAs Análise_construtiva.
- Constructive_analysis sameAs m.01jsp8.
- Constructive_analysis sameAs Q2845197.
- Constructive_analysis wasDerivedFrom Constructive_analysis?oldid=663217929.
- Constructive_analysis isPrimaryTopicOf Constructive_analysis.