概率和猜想的逻辑 1. 简介 我的目标是开发一种形式逻辑…… 电子书下载

原名:LOGIC OF PROBABILITY AND CONJECTURE 1. Introduction I aim to develop a formal logic of …
作品简介:这里重点关注它通过将“A 中的猜想”视为一种判断，将元数学扩展到除了严格证明之外还包括猜想的潜力。根据证据，“A 是可能的”。 1. 简介。我的目标是发展一种概率和猜想的形式逻辑……