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 : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FConstructive_analysis

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) Analyse constructive (fr) Análise construtiva (pt)
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)
dcterms:subject	Constructivism (mathematics) Intuitionism Mathematical analysis
Wikipage page ID	239851 (xsd:integer)
Wikipage revision ID	1093156484 (xsd:integer)
Link from a Wikipage to another Wikipage	Constructivism (mathematics) Intuitionism Upper bound Cantors theorem Intuitionistic logic Limited principle of omniscience 0 Compact space Continuous function Analytic function Mathematical analysis Mathematics Separable space Cluster point Constructive nonstandard analysis Constructive set theory Approximation Computable analysis Markov's principle Law of excluded middle Absolute value Akihiro Kanamori Errett Bishop Closed interval Logical disjunction Interval (mathematics) Subcountability Mathematical analysis Axiom of dependent choice Positive number Classical logic Classical mathematics Indecomposability (constructive mathematics) Intermediate value theorem Natural number Negative number Cantor's diagonal argument Rational number Real number Logically equivalent Existential quantification Real line Sequentially compact Subset Least-upper-bound principle Least upper bound Infinite sequence Constructive mathematics Compact set
sameAs	Constructive analysis Constructive analysis Constructive analysis Constructive analysis Constructive analysis Constructive analysis
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Portal dbt:Refimprove dbt:Reflist dbt:Non-classical_logic
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) 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)
gold:hypernym	Analysis
prov:wasDerivedFrom	wikipedia-en:Constructive_analysis?oldid=1093156484&ns=0
page length (characters) of wiki page	7810 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Constructive_analysis
is Link from a Wikipage to another Wikipage of	Calculus Modulus of continuity Archimedean property Paul Lorenzen Reverse mathematics Dedekind cut Intuitionism Constructivism (philosophy of mathematics) Mathematical analysis Glossary of areas of mathematics Constructive set theory Computability in Analysis and Physics Computable analysis Markov's principle 1967 in science Actual infinity Errett Bishop History of logic Leave-one-out error

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software