桑叶韩国 下载剧情介绍:，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。《字问题，及一个案例——关于半群字问题的不可判定性》。由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。而判定性问题，则牵涉到最近论战的核心。所以，这一篇论文，确实引发了广泛关注。但这却让许多离宗修士一口血吐了出来。第九十章怪现象半群字问题的不可判定性，是人类发现的第一个并非有数学家制造，而是天然存在的不可判定性问题。它也就意味着另一重真实。“不可判定性，并不仅仅是局限于纯粹算理之中那么简单”。它就好像...