paperbot · PL 论文追踪

全部论文 待读 收藏

P2 From Logic to Biology via Physics: a survey

从逻辑经物理到生物学:一项综述
LMCS vol.Volume 13, Issue 42017匹配度 0/10 · 该论文是关于生物有机体、不完备性与随机性的理论综述,属于逻辑与生物学/科学哲学交叉,与用户关注的程序静态分析、Agentic 程序、浮点程序分析、贝叶斯程序分析及 LLM 与 PL 交叉均无直接关系。引用 5 inbox
Giuseppe Longo, Maël Montévil
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话:综述从逻辑与物理视角理解生物有机体,强调不完备性、随机性和理论对称性在生物动力学中的作用。

本文是对《Perspectives on Organisms》一书相关工作的短篇综述,旨在从不同视角分析生物有机体自身的统一性。作者讨论生物时间、复杂性、理论对称性、奇点与临界转变等概念的理论角色,并借用书中若干关键章节的结论,以对“不完备性”的反思作为引入。作者认为不完备性是理解知识建构方式的基础概念,进而提出一种以随机性为中心的生物动力学进路:随机性并不与生物稳定性相矛盾,反而通过变异、适应和多样性对稳定性作出贡献。最后,演化与个体发育轨迹被理解为连贯结构的持续变化,其中包含在不断变化的全局稳定内的对称性变化。

问题
论文关注如何理解生物有机体特有的统一性,以及生物时间、复杂性、理论对称性、奇点和临界转变等概念在理论生物学中的角色。
方法
作为综述,它整合并借用《Perspectives on Organisms》中若干关键章节的结论,从逻辑、物理到生物的跨视角反思不完备性,并引入以随机性为核心的生物动力学框架。
评估
摘要未报告计算实验或实证评估;文本属于概念性与综述性工作,通过跨学科论证提出理论主张。
原文摘要(Abstract)

This short text summarizes the work in biology proposed in our book, Perspectives on Organisms, where we analyse the unity proper to organisms by looking at it from different viewpoints. We discuss the theoretical roles of biological time, complexity, theoretical symmetries, singularities and critical transitions. We explicitly borrow from the conclusions in some key chapters and introduce them by a reflection on "incompleteness", also proposed in the book. We consider that incompleteness is a fundamental notion to understand the way in which we construct knowledge. Then we will introduce an approach to biological dynamics where randomness is central to the theoretical determination: randomness does not oppose biological stability but contributes to it by variability, adaptation, and diversity. Then, evolutionary and ontogenetic trajectories are continual changes of coherence structures involving symmetry changes within an ever-changing global stability.Comment: accepted for publication in Logical Methods in Computer Science

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@article{abs-1709-06001,
  title = {From Logic to Biology via Physics: a survey},
  author = {Giuseppe Longo and Maël Montévil},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 13, Issue 4},
  year = {2017},
  doi = {10.23638/lmcs-13(4:21)2017}
}