Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be 'not yet proved wrong'

Burke Kevin

首页> 外文期刊>Canadian journal of earth sciences >Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be 'not yet proved wrong'

【24h】

Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be 'not yet proved wrong'

机译：纯数学的定理可以得到证明，但应用数学，自然和社会科学以及工程中的模型最多可以“尚未证明是错误”

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Canadian journal of earth sciences》 |2016年第11期|共3页
作者
Burke Kevin;
展开▼
作者单位

Univ Houston Dept Earth &

Atmospher Sci Houston TX 77204 USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类天文学、地球科学;
关键词

相似文献

外文文献
中文文献
专利

1. Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be "not yet proved wrong" [J] . Burke Kevin Canadian journal of earth sciences . 2016,第11期

机译：纯粹数学定理可以证明是正确的，但应用数学，自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
2. A prospective on mathematics and artificial intelligence: Problem solving = Modeling + Theorem proving [J] . Harvey J. Greenberg Annals of Mathematics and Artificial Intelligence . 2000,第1a4期

机译：数学和人工智能的前瞻者：问题解决=建模+定理证明
3. Real Numbers: Maplesoft mathematic modeling software proves pivotal in leading engineering research [J] . Mike McLeod Design Engineering . 2011,第5期

机译：实数：Maplesoft数学建模软件被证明在领先的工程研究中至关重要
4. An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem [C] . Jean-Raymond Abrial International colloquium on theoretical aspects of computing . 2015

机译：数学工程中的练习：Kuratowski定理的证明和证明
5. Using experimental mathematics to conjecture and prove theorems in the theory of partitions and commutative and non-commutative recurrences. [D] . Russell, Matthew Christopher. 2016

机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
6. Proving of a Mathematical Model of Cell Calculation Based on Apparent Diffusion Coefficient [O] . Alexey Surov, Nikita Garnov 2017

机译：基于表观扩散系数的细胞计算数学模型的证明
7. Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering) [O] . HONDA MICHIO, NAKAJIMA REIJI 1979

机译：在许多公理的分层和模块化结构集上的交互式定理证明（软件科学和工程学中的数学方法）
8. Study of QCD (Quantum Chromodynamics) Heavy Flavour Production in the UA1 Muon + One Jet and Muon + Two Jet Data Using the Eurojet Monte Carlo. A Scientific Prove in the Field of Mathematics and Natural Sciences. [R] . Have, I. 1989

机译：使用Eurojet monte Carlo研究Ua1 muon + One Jet和muon + Two Jet数据中的QCD（量子色动力学）重质风味产生。数学与自然科学领域的科学证明。

Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be 'not yet proved wrong'

著录项

相似文献

相关主题

期刊订阅