×
拉尔斯·Löfgren

时间的自主权。 （英语） 兹伯利0566.03003

国际通用系统杂志。 10, 5-14 (1984).
麦克塔加特对时间的自我参照性质的早期直觉洞察被回顾，发现在很大程度上得到了自体结果的支持，即自体的元逻辑（自我应用、自我参照等），随后由哥德尔、塔斯基、图灵、克莱恩、丘奇、冯·诺依曼、斯科特等逻辑学家开发，和其他。有人认为，任何一贯提出的形式化时间理论都是不完整的。物理变化的简单形式，只涉及静态可逆时间，相对容易描述。但总的来说，还有更复杂的情况，甚至在物理学中，比如在广义相对论中，时间强制实施互补性考虑。我们以哥德尔对爱因斯坦引力方程的循环解为例，讨论了物理时空整体公式化的现代趋势，与偏微分方程中的公式形成对比，偏微分方程本质上是局部的。全局和局部表述之间的互补性张力与语言成分、描述和解释之间的互补有关。与玻尔的互补性概念不同，这种语言互补性可能是可超越的，这对时间的方法以及形式语言序列的归纳法都有启示。

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
83二氧化碳 爱因斯坦方程（一般结构、正则形式主义、柯西问题）

关键词：

扭量理论;自治的元逻辑;自我应用;自我参照;形式时间理论;物理变化;爱因斯坦引力方程的哥德尔循环解;物理时空;全球和本地配方;语言互补性;形式语言序列
PDF格式BibTeX公司 XML格式引用
\textit{L.Löfgren}，《国际遗传学》。10、5--14（1984；Zbl 0566.03003）
全文： 内政部

参考文献：

[1] 麦克塔加特E.，《心灵17》第457页–（1908）·doi:10.1093/mind/XVII.4.457
[2] 哥德尔·K。《阿尔伯特·爱因斯坦哲学家-科学家》pp 557–（1949）·Zbl 0038.14804号
[3] 哥德尔·K。《现代物理学评论》21（3）第447页–（1949）·Zbl 0041.56701号 ·doi:10.1103/RevModPhys.21.447
[4] 盖尔·R，《时间的语言》。(1968) ·Zbl 0172.44307号
[5] Gödel K.，Monatsheft fur Mathematik und Physik 38第173页–（1931）·Zbl 0002.00101号 ·文件编号：10.1007/BF01700692
[6] 塔斯基A.，《逻辑、语义、元数学》第152页–（1956年）·Zbl 0075.00702号
[7] 图灵A.，Proc。伦敦数学学院，第42页，230–（1936）
[8] Kleene S.，《元数学导论》。(1952) ·Zbl 0047.00703号
[9] Church A.，《兰帕·康弗斯的演算》（The Calculi of Lambda-Conversion）。(1951)
[10] Neumann J.von，《自复制自动机理论》。(1966)
[11] D.Scott，“连续格”在《拓扑、代数几何和逻辑》中，由F.Lawvere编辑。数学课堂讲稿，274，柏林1972，97-136。
[12] Löfgren L.，《系统与控制百科全书》。(1984)
[13] Beth E.，《数学基础》。(1959) ·Zbl 0085.24104号
[14] Davis M.，可计算性和不可解性。(1958)
[15] Löfgren L.，公牛。数学。《生物物理学》第30页第415页–（1968年）·Zbl 0165.23302号 ·doi:10.1007/BF02476604
[16] Löfgren L.，程序。第五届斯堪的纳维亚逻辑研讨会第205页–（1979）
[17] Löfgren L.，自生。第236页–（1981）
[18] Löfgren L.，《进化的愿景》，美国科学促进会第61届精选研讨会。第129页–（1981）
[19] Pattee H.，《国际通用系统杂志》3，第259页–（1977年）·doi:10.1080/030810777708934771
[20] Reichenbach H.，《伯兰·罗素的哲学》。第23页–（1946）
[21] 林登伯格S.，Synthese 28，第117页–·doi:10.1007/BF00485231
[22] Kripke S.，《哲学杂志》72第690页–（1975年）·Zbl 0952.03513号 ·doi:10.2307/2024634
[23] Bergson H.，《创造性进化》。（1911年）
[24] 爱因斯坦A.，阿尔伯特·爱因斯坦哲学家-科学家。第687页–（1949）
[25] 彭罗斯R.，《关于零件和整体的当前思考》（1983年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。