Boolos-style proofs of limitative theorems

Gyorgy Sereny

首页> 外文期刊>Mathematical logic quarterly: MLQ >Boolos-style proofs of limitative theorems

【24h】

Boolos-style proofs of limitative theorems

机译：极限定理的Boolos式证明

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Boolos's proof of incompleteness is extended straightforwardly to yield simple diagonalization-free proofs of some classical limitative theorems of logic.

机译：Boolos的不完全证明被直接扩展以产生一些经典的逻辑极限定理的简单无对角化证明。

著录项

来源
《Mathematical logic quarterly: MLQ》 |2004年第2期|共6页
作者
Gyorgy Sereny;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
Limitative results of logic; Boolos's incompleteness proof; Berry's paradox;

机译：逻辑的局限性结果;Boolos的不完备性证明;Berry的悖论;

相似文献

外文文献
中文文献
专利

1. Boolos-style proofs of limitative theorems [J] . Gyorgy Sereny Mathematical logic quarterly: MLQ . 2004,第2期

机译：极限定理的Boolos式证明
2. ON SOME APPLICATIONS OF THE ARCHIMEDEANCOPULAS IN THE PROOFS OF THE ALMOST SURECENTRAL LIMIT THEOREMS FOR CERTAIN ORDERSTATISTICS [J] . Marcin Dudzinski, Konrad Furmanczyk Bulletin of the Korean Mathematical Society . 2017,第3期

机译：在某些定序统计的几乎绝对极限定理的证明中关于弧菌的某些应用
3. Finiteness theorems for limit cycles: a digest of the revised proof [J] . Ilyashenko Yu. S. Izvestiya. Mathematics . 2016,第1期

机译：极限环的有限性定理：修订证明的摘要
4. COMPUTER PROOFS OF LIMIT THEOREMS [C] . W. W. Bledsoe, Robert S. Boyer, William H. Henneman International Joint Conference on Artificial Intelligence . 2007

机译：限制定理的计算机证明
5. LIMIT THEOREMS FOR INFINITE URN MODELS IN PROBABILITY THEORY (PARTICLES, CENTRAL LIMIT, CELLS). [D] . DUTKO, MICHAEL. 1984

机译：概率理论中无穷大模型的极限定理（粒子，中心极限，单元）。
6. Theorems proofs examples and rules in the practice ofepidemiology [O] . Tyler J. VanderWeele, Elizabeth L. Ogburn -1

机译：定理证明实例和规则的做法流行病学
7. Boolos-style proofs of limitative theorems [O] . Sereny, Gyorgy 2003

机译：限制定理的Boolos式证明

Boolos-style proofs of limitative theorems

摘要

著录项

相似文献

相关主题

期刊订阅