祝融说
zhurongshuo.com
摘要 关于观察的哲学论述，常在已记录的事件、获接受的结果、稳定的判断，以及对这些现象如何产生的解释之间转换。形式化处理必须明确这些转换。本文报告一项在 Isabelle/HOL 中展开的 RC 条件接口开发；RC 即《过程实在论：观察收敛与确定性生成（RC）》，是一个以观察收敛为中心的过程实在论研究纲领 [9]。该开发区分了语境内容、已实现主体、行动、历史记录、当前有效性、分类与延续。它提供了从有…
讨论
登录后参与讨论
还没有评论，来说第一句吧。