| http://dbpedia.org/ontology/abstract
|
In mathematics and computer science, compu … In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis. A notable result is that integration (in the sense of the Riemann integral) is computable. This might be considered surprising as an integral is (loosely speaking) an infinite sum. While this result could be explained by the fact that every computable function from to is uniformly continuous, the notable thing is that the modulus of continuity can always be computed without being explicitly given. A similarly surprising fact is that differentiation of complex functions is also computable, while the same result is false for real functions. The above motivating results have no counterpart in Bishop's constructive analysis. Instead, it is the stronger form of constructive analysis developed by Brouwer that provides a counterpart in constructive logic.vides a counterpart in constructive logic.
, 数学ならびに計算機科学において、計算可能解析学（けいさんかのうかいせきがく、英語: computable analysis）とは、計算可能性理論の観点から解析学を研究する分野である。これは計算可能な仕方で展開可能な実解析学や関数解析学の部分と関わる。この分野はや数値解析と密接に関係する。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://cca-net.de/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
21535996
|
| http://dbpedia.org/ontology/wikiPageLength
|
7779
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119014469
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Equality_%28mathematics%29 +
, http://dbpedia.org/resource/Errett_Bishop +
, http://dbpedia.org/resource/Real_closed_field +
, http://dbpedia.org/resource/Continuous_function +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Numerical_analysis +
, http://dbpedia.org/resource/Riemann_integral +
, http://dbpedia.org/resource/General_topology +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Integral +
, http://dbpedia.org/resource/Topos +
, http://dbpedia.org/resource/Semidecidable +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Functional_analysis +
, http://dbpedia.org/resource/Uniformly_continuous +
, http://dbpedia.org/resource/Extreme_value_theorem +
, http://dbpedia.org/resource/Numerical_differentiation +
, http://dbpedia.org/resource/Heine%E2%80%93Borel_theorem +
, http://dbpedia.org/resource/Total_function +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Cauchy%27s_integral_formula +
, http://dbpedia.org/resource/Complex_analysis +
, http://dbpedia.org/resource/Specker_sequence +
, http://dbpedia.org/resource/Partial_function +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Closed_sets +
, http://dbpedia.org/resource/Complex_functions +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Discontinuous_linear_map +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Constructive_logic +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Compactness +
, http://dbpedia.org/resource/Differential_calculus +
, http://dbpedia.org/resource/L._E._J._Brouwer +
, http://dbpedia.org/resource/Real_analysis +
, http://dbpedia.org/resource/McGraw-Hill +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Category:Computable_analysis +
, http://dbpedia.org/resource/Marian_Pour-El +
, http://dbpedia.org/resource/Modulus_of_continuity +
, http://dbpedia.org/resource/Steve_Simpson_%28mathematician%29 +
, http://dbpedia.org/resource/Open_sets +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Computability_in_Analysis_and_Physics +
, http://dbpedia.org/resource/Constructive_analysis +
, http://dbpedia.org/resource/Uniform_norm +
, http://dbpedia.org/resource/Hausdorff_space +
, http://dbpedia.org/resource/Real_functions +
, http://dbpedia.org/resource/Discrete_space +
, http://dbpedia.org/resource/Computability +
, http://dbpedia.org/resource/Computable_numbers +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:No_footnotes +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Computable_analysis +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Study +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Computable_analysis?oldid=1119014469&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Computable_analysis +
|
| owl:sameAs |
http://dbpedia.org/resource/Computable_analysis +
, http://www.wikidata.org/entity/Q5157264 +
, https://global.dbpedia.org/id/4iHiF +
, http://ja.dbpedia.org/resource/%E8%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E8%A7%A3%E6%9E%90%E5%AD%A6 +
, http://rdf.freebase.com/ns/m.05h37hf +
|
| rdf:type |
http://dbpedia.org/ontology/Book +
|
| rdfs:comment |
In mathematics and computer science, compu … In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis. The above motivating results have no counterpart in Bishop's constructive analysis. Instead, it is the stronger form of constructive analysis developed by Brouwer that provides a counterpart in constructive logic.vides a counterpart in constructive logic.
, 数学ならびに計算機科学において、計算可能解析学（けいさんかのうかいせきがく、英語: computable analysis）とは、計算可能性理論の観点から解析学を研究する分野である。これは計算可能な仕方で展開可能な実解析学や関数解析学の部分と関わる。この分野はや数値解析と密接に関係する。
|
| rdfs:label |
計算可能解析学
, Computable analysis
|
