手机版
网站地图
美文美图
最新动态
你好,欢迎访问
好美文阅读网
个性皮肤
搜索
网站首页
美文
文章
散文
日记
诗歌
小说
故事
句子
作文
签名
祝福语
情书
范文
读后感
文学百科
美文摘抄
节日文章
名家散文
网名大全
座右铭
口号大全
面试技巧
说说大全
阅读答案
诗词默写
流言蜚语
节日祝福
好句子
经典台词
谚语大全
亲情故事
友情故事
表白情书
工作报告
活动总结
心得体会
专题汇总
美文网首页
理科生的果壳
有意思的文章
虚构之理(二):一个二阶命题有多重呢?
虚构之理(二):一个二阶命题有多重呢?
作者:
十酒三
| 来源:发表于
2017-11-29 22:03 被阅读143次
相关文章
网友评论
219e16238b75
:那拉约数什么情况?
后来它被重新定义为“符合‘大于任何使用一阶逻辑语言,并用不超过古戈尔个符号所能表示的数’的最小数”。
这个数的正式定义使用了二阶逻辑,在下式中,[φ]为哥德尔编号,而s则代表一个可被赋值的变数:
&forall R {
{for any (coded) formula [ψ] and any variable assignment t
(R( [ψ],t) ↔
( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨
([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨
([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨
([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨
([ψ] = `∃x_i (&theta)' and, for some an xi-variant t' of t, R([θ],t'))
)} →
R([φ],s)}
满足这个式子的集合不是可判定的
理科生的果壳
有意思的文章
本文标题:
虚构之理(二):一个二阶命题有多重呢?
本文链接:
https://www.haomeiwen.com/subject/ivtmbxtx.html
延伸阅读
那年盛夏诗歌
环境监察队工作总结范文
优秀教师学习心得范文
华胥引的读后感300字
《Its red》教学反思范文
农资购销的合同范本
竞选中队委优秀演讲稿
辞金蹈海的成语解释
《世纪宝鼎》公开课教案设计
因为爱你,所以牵挂
今生今世红尘醉——美到
一个90后的内心独白
致已逝去的高中年华
深度阅读
您也可以注册成为美文阅读网的作者,发表您的原创作品、分享您的心情!
情人节
母亲节
重阳节
清明节
端午节
植树节
元宵节
妇女节
愚人节
圣诞节
父亲节
教师节
儿童节
劳动节
青年节
建军节
万圣节
平安夜
光棍节
中秋节
国庆节
感恩节
腊八节
更多话题
栏目导航
理科生的果壳
有意思的文章
摄影
故事
互联网
读书
旅行
热点阅读
今日辅食推荐:熊熊牛肉饼。参考月龄:12个月。
焦虑感在扼杀灵感!
【拆书学习】《管理技能开发(第8版)》
马云的“艺术天赋”OK
1129-2017 【奇妙的魔豆】
(十)火上浇油
丽江,没有艳遇没有酒
建设东路我和你(11)——两块钱引发的维权
这五个黑洞是否吃掉了你学校的利润?
建设东路我和你(13)——没吃到的枇杷果
理科生的果壳
古老大脑在科技时代
《三体》,三体【读后感1】
《三体》,三体【读后感2】
文明模拟
有多少癌,可以不来?
从场的意义说开去
软科学常常比硬科学更难搞
社交密集恐惧症
名侦探的守则
少年子弟,学术江湖老
有意思的文章
公关们!这里是5个让科技记者更喜欢你的方法
设计、艺术、技术、科学和其他--读原研哉《设计中的设计》
老蔡
中国文人弱智现象面面观
闲话畅销小说取名的艺术
不完全爆炸
穷的只剩逻辑的穷逼
写好小说:抓住十三个关键
推理小说生存指南(一)
推理小说生存指南(二)
网友评论
后来它被重新定义为“符合‘大于任何使用一阶逻辑语言,并用不超过古戈尔个符号所能表示的数’的最小数”。
这个数的正式定义使用了二阶逻辑,在下式中,[φ]为哥德尔编号,而s则代表一个可被赋值的变数:
&forall R {
{for any (coded) formula [ψ] and any variable assignment t
(R( [ψ],t) ↔
( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨
([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨
([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨
([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨
([ψ] = `∃x_i (&theta)' and, for some an xi-variant t' of t, R([θ],t'))
)} →
R([φ],s)}
满足这个式子的集合不是可判定的