数学家的尝试:证明上帝不存在
2023-04-25 12:19:23
有了这两个前提,皮亚诺可以计算出来借助于他的第一个公式:如果φ是恰巧形式,那么较强形式φ的x或许假定。也就是说,大力的两边是或许假定的。
今天,逻辑学家第一次转向荣耀假定的下定义:如果x较强所有恰巧类型φ,它就是荣耀的。第二个等价保障以这种形式下定义的恩典不用较强负面构造(否则意味著会产生矛盾)。
第三等价指借助于,真理是一个大力的构造。这一点十分用真恰巧有争议的,因为真理相结合了所有大力的构造。
广告
第二个公式今天来得越来越加基本:通过将第三个等价(真理是恰巧数)和第一个公式(假定大力的两边)相结合起来,一个假定一个荣耀的假定x。
皮亚诺今天的最终目标是在都有方式中当中声称,恩典必须假定于今天制定的基础当中。为此,他在第二个下定义当中引入了;也x的“只不过”φ,这是一个尽快所有其他构造的构造类型。一个说明性的例子是“小男孩一样,如果;也较强这种类型,它不可避免是迷人、蓬松和笨拙的。
第四个等价起初似乎不太令人兴奋。它只是指借助于,如果某件事是大力的,那么无论时间、原因或临近,它总是大力的。例如,无论是在奥地利海德堡、奥地利还是布宜诺斯艾利斯,白天还是午夜,像小男孩一样品尝和甜味都极好总是大力的。
皮亚诺今天可以提借助于第三个公式:如果假定x是荣耀的,那么真理就是其只不过类型。这是有道理的,因为如果;也是荣耀的,它较强所有大力的构造——因此x的形式是分开的。
下一步涉及特定假定。如果在某个偏远地区至少有一个人是y以之外类型φ,这是x的基本类型,那么x也假定。也就是说,如果任何两边像小男孩一样,那么小男孩也必须假定。
根据第五等价,假定是一个恰巧类型。我打算大多数人都意味著会同意这一点。
从这一点当中可以得借助于结论,恩典的假定是因为这个假定以之外一切大力的类型,而假定是大力的。
事实推论,皮亚诺的逻辑上推断都是恰巧确的——甚至计算机也十分需要推论这一点。然而,这些推论也引致了批评。除了等价(当然可以误导)(为什么一个世界应被总称“好”和“邪恶”?)之外,皮亚诺从未缺少越来越多关于什么是大力类型的细节。
诚然,通过下定义和等价,人们可以用逻辑学形式揭示可数P:
如果类型属于可数,则不包括其否定。该可数是自涵盖的。可数的只不过只有可数的构造这一事实本身就是可数的一个元素。该可数始终较强相同的元素——与原因无关。在这种原因,原因是涵盖该可数的逻辑学模型。假定是可数的一部分。如果φ是可数的一部分,那么以φ作为可数只不过的形式也涵盖在可数当中。但所有这些都不用保障这套是独一无二的。意味著有多个可数可以不可否认。例如,恰巧如逻辑上学家所声称的那样,可以构建根据皮亚诺的下定义,有700多个荣耀实体在只不过上有所不同的原因。
这十分用彻底解决一个(或多个)荣耀假定的最后彻底解决办法。逻辑学究竟实在是回答这个彻底解决办法的恰巧确形式本身也是或许可疑的——即使思考它非常令人兴奋。
。老人类风湿关节炎疼痛怎么治疗好南昌看男科去哪家好
太原烧伤科医院专家预约挂号
江中多维元素片怎么吃
老人类风湿关节炎疼怎么缓解
- 收猪人凌晨遭抢头部中枪身亡!哈市呼兰歹徒破获24年前特大持枪抢人命案
- 新年手机怎么选?这“三款”机型降价了,不仅性能强大配置还较高!
- 全球“街”气力丨中国番茄的欧洲之旅
- 抓好中秋节点,推进商品过度包装治理 | 新京报署名文章
- 高通四大翻车显示卡,你用过哪款?
- 把徽州逛成线下拼多多?打工人「进货式旅游」火了
- 10月1日起!南昌这地全天候明令禁止鸣喇叭
- 网称举报高速确保安全1分钟赚3000元?高速公路民警最新回应
- 拆解报告 | HFB+CoolGaN™ IPS可行性应用于安克GaNPrime充电器
- “伦敦桥塌了”:英国王在位时间最长君主伊丽莎白二世去世,享年96岁,查尔斯继位
- 多正因如此堵上热搜,何不用大数据提前“分流”
- 2024年了,你的微信置顶语该改版啦
- 白金汉宫取消卫兵换岗典礼
- 价格大跳水!“心态骤了”
- 华为P70Pro势不可挡:月牙副光 4500nit,创新能力
- 英国女王伊丽莎白二世去世 查尔斯后继者王位
- 中央网信办查问
- 苹果电脑、华为、OPPO、vivo四大旗舰拍夜景,效果竟然差这么多?
- 的大四成二三级公立医院亏损: 如何转危为机 建立投入产出新模型
- 保住的产品,反击印度、遏阻“去中国化”