saif的个人博客分享 http://blog.sciencenet.cn/u/saif


    • 数理科学->数学->数理逻辑和与计算机相关的数学

    扫一扫,分享此博客主页
统计信息

已有 40773 人来访过

    现在还没有记录

认识逻辑应当从哪里开始? 2017-09-14
近来,在《科学网博客》发了一些文章,这些文章有些是我过去的讲义,有些是我的读书笔记,没想到得到科学网和许多热心朋友的厚爱和鼓励,在此向所有浏览我的博 ...
(1935)次阅读|(7)个评论
数理逻辑发展的基本动机 2017-09-12
We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic, the math ...
(3670)次阅读|(14)个评论
语言和语言学 2017-09-12
本人从事语言学研究多年,从早期的结构主义语言学到20世纪后半叶的生成语法理论,再到范畴语法及其各种变种、Montague语义论。随着时间的流逝,我对语言、语言 ...
(1975)次阅读|(3)个评论
从逻辑经数学通往计算之路——如何从逻辑走向计算(1) 2017-08-27
逻辑和计算,对许多置身其外的人来说,似乎是两门不相干的学问,学逻辑的,大部分在哲学系,少部分在数学系,对他们来讲,逻辑就是关于“思维”的,是形而上的 ...
(378)次阅读|(1)个评论
组合子逻辑、λ演算的历史背景和产生动机 2017-03-26
函数——是横跨数学、逻辑和计算的最基础概念,也是从逻辑走向计算的基本工具。想象一下,如果一个逻辑系统不再以命题、谓词、量词、变量为基本单位而把函 ...
(677)次阅读|(1)个评论
读《Lisp的本质》(The nature of Lisp)——悼Schönfinkel 2017-03-15
生性不喜造神、不喜造神运动,也不喜欢造神的人。IT社区那些喧嚣无脑的编程语言排行论(不是排行榜)是我避之唯恐不及的。把某个或某些编程语言吹上天,再 ...
(701)次阅读|(0)个评论
卡尔纳普《符号逻辑及其应用导论》读书笔记书评(4) 2017-02-09
上回谈到,在一个逻辑系统中,存在三类元素:个体、谓词和句子,个体是最基本元素,就像几何学中的点和线一样,无法再进一步分析。而谓词,则是一个多棱镜,从 ...
(993)次阅读|(0)个评论
浅谈类型论——阶和结构 2017-01-20
谈到类型论,就不得不谈到一本书,一本计算机程序员狂热推崇的书:《计算机程序的结构与解释》(Structure and Interpretation of Computer Programming,简称 ...
(1222)次阅读|(4)个评论

查看更多

你需要登录后才可以留言 登录 | 注册


LINJIANRONG 2017-9-12 16:57
广义上的语言也是属于信息传递的模型系统,存在信息(甲方)-信息编码语言压缩--传递(甲乙共同存在的语境,包括干扰)-信息解码乙方-  感知信息(乙方)。语言的词法与句法都不能够代表精确的信息模型。因为整个模型系统不完整。案例:汉语单句“你好坏!”是有许多信息解。
hjlf117 2016-12-22 23:16
写得真好,以前读研也有老师讲,但是没讲清楚,赛老师讲清楚了
查看全部

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2017-9-21 04:13

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部