简体
|
繁体
|
loading...
热点论坛
首页
新闻
读图
财经
教育
家居
健康
美食
时尚
旅游
影视
博客
群吧
论坛
电台
您的位置:
文学城
»
论坛
»
品茶小轩
» 谢谢捧场!Goedel其实用的是二阶模态逻辑。这周末有空去研究一下。:)
全部论坛列表
谢谢捧场!Goedel其实用的是二阶模态逻辑。这周末有空去研究一下。:)
来源:
露重烟微
于
2024-03-27 18:33:00
[
档案
] [
旧帖
] [
给我悄悄话
] 本文已被阅读:
次 (0 bytes)
字体:
调大
/
重置
/
调小
|
加入书签
|
打印
|
所有跟帖
|
加跟贴
|
当前最热讨论主题
回答:
好论:)可以试一下看能不能用在这个歌德尔版本中。他也是用数理逻辑推理:)
由
JSL2023
于
2024-03-27 17:44:19
您的位置:
文学城
»
论坛
»
品茶小轩
» 谢谢捧场!Goedel其实用的是二阶模态逻辑。这周末有空去研究一下。:)
请您先登陆,再发跟帖!
回到顶部