科学网

 找回密码
  注册
置顶 · [转载]前言2
2022-12-31 15:42
为什么会有数学这样一门学科?数学里为什么都是奇奇怪怪的符号?化学里为什么又是另一些奇怪的符号?这些通常不会看作问题。口语与文字是什么关系?这是一个问题,传统语言学里的一个正式问题。对此问题主流的观点是:文字只是口语另一形式的表现。然而常识告诉作者,情况可能并非如此。对这些问题以及更多相关问题,作者 ...
915 次阅读|没有评论
[转载]8.1图灵机2
郑向东 2023-2-26 10:53
历史上,伴随数学的发展,计算工具也不断推陈出新。在上世纪的中叶,计算工具的发展迎来了历史性的突破,现代计算机出现了。 上世纪三十年代,英国数学家图灵( Alan Mathison Turing , 1912.6-1954.6 )提出了图灵机的概念,其基本原理如下。   ...
个人分类: 人类语言的新可能|1635 次阅读|没有评论
[转载]5.1一阶谓词逻辑简述2
郑向东 2023-1-18 13:40
一般说法,逻辑是有效推理的形式。逻辑学可追溯至亚里士多德( Aristotle ,公元前 384 ~前 322 ,古希腊的哲学家、科学家、逻辑学家、教育家),他创立的三段论标志着古典逻辑阶段的形成。我们通过例子来说明。 所有吃草且会奔跑的都是动物 马是吃草且会奔跑 所以,马是动物 在这个例子中,替换“马 ...
个人分类: 人类语言的新可能|1167 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-22 11:08

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部