由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - --Philosophy writing of C.S.Peirce--
相关主题
最近在看《python源码剖析》人都是喜欢扯淡,多于喜欢做研究
这个warning什么原因准备用Coffee实现一些monad
凡是学过点数理逻辑的,80%会觉得functional programming有意思替朋友的公司帮找两位资深Java Server端高手 (转载)
简述一下常见语言的缺点其实王垠严肃文章写的不错
看本版的Java和C++之争计算机行业拜图灵为鼻祖是为了自己高大上
推荐下FOM吧谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别
在并发上haskell可以秒go吗有谁懂这个: example(data.table) ; dt.tbl> DT[X, on=.(y<=foo)]
现在国内几大IT公司非常猖狂1 .中国往事
相关话题的讨论汇总
话题: peirce话题: br话题: philosophy话题: 杜威话题: 数理逻辑
进入Programming版参与讨论
1 (共1页)
g****t
发帖数: 31659
1
我个人认为,C.S.Peirce乃是美国国学之首,当之无愧的美国亚里斯多德。
他开创了数理逻辑,符号学这两门学问。科学心理学,概率的频率解释也跟他大有关系。
当化学家谋生,似乎勘测过很久的美国地理。
但这些实用技术是附带的。
他毕生志向乃是用概率的思路,结合现代科学进展,重演地水火风,“证明”一种连续
性的哲学:pragmatism(他自己发明的词).
把几千年来的原子论彻底消灭掉,来解决逻辑原子不能“生成”以及“growing”
这个问题。
(二者的区别,简而言之,你认为Pi是一个数,还是一段产生这个数的C代码?)

辑。
在符号学方面,发明了一套和索绪尔不同的系统。
但是一来他的逻辑系统,是从韦恩,布尔,德莫根之类的代数传统来。这个分歧在今天
学术圈仍然存在。二来美国在当时是lower culture。所以罗素等欧洲学霸,刻意贬低
了他的贡献。
他使用一套圆圈直线图标识逻辑关系。这套图后来只有人偶然研究。前几年有个韩国女
,说她因为软件做过知识标识什么的。在韦恩原来的图系统基础上,博士论文开发了一
套图系统。近来出了本新书,专门讲解Peirce的图系统。】
哲学方面,我觉得他的主要思路之一是把概率加入亚里斯多德等古代系统。飞矢不动,
阿基里斯和乌龟悖论怎么理解?这里有条新路。
Peirce认为克劳修斯,麦克斯韦在气体论中成功运用了概率,达尔文在生物中成功运用
了概率。那么传统哲学上的第一存在,因果等等,都可用概率演化的方法重新论证。
(这几位相差20,30年。这就好比现在有人认为应该把哲学AI化,而不是搞什么
AI哲学一样)
他有个奇特的观点,就是认为自然律不是固定的,是无限远时间自然界演化的后果。例
如万有引力定律,看上去有多确定,那就是多长时间演化而来的结果。这里不是说的唯
名论意义上的,“可以认为无理数是有理数的集合”之类的东西。他研究的是地水火风
,第一存在。就是认为宇宙就是这样的。(此说不可轻易否定,我查了下,现在的测定
发现,万有引力常数有周期波动)
他认为reality是一种演化的结果,乃是从无规则到有规则演化出来的一种稳定的
rational regularity。这种rational regularity surroundings给予人的意识的持续
的force。
但是人的意识,乃是非常不稳定的,可以接纳各种东西。这些论题可以用实验验证。他
对后来的美国心理学影响巨大。
Peirce生前发表很少,但是著作太多,难以尽数。据说哈佛图书馆收集了几万页手稿。
本来Peirce曾经在JHU,Yale任教,后来被Yale解雇,据说长期是他的朋友James给他生
活费。
(似乎Gibbs也在同时代在Yale担任没有薪水的教师?Lower Culture的学者真不容易啊
)。
======
在中国,多数人应该听闻过所谓的“实用主义”。这就是Peirce发明的pragmatism,实
际应该翻译成“实战主义”。
Peirce在JHU时候教过杜威,杜威是1900-1950年美国最重要的知识分子。Peirce,James
,杜威是为美国实证主义三巨头。
1919年4月底杜威到中国,立即就发生了五四运动,5月12日杜威会见孙中山。胡适,蒋
梦麟,陶行知是杜威的三个学生。有句话我觉得是恰当的:
杜威批量教育了民国”大师”。
N*****r
发帖数: 94
2
很文科的写作手法
很low
你这 堕落的不行啊
1919年4月底杜威到中国,立即就发生了五四运动,(暗示某种因果性?)
g****t
发帖数: 31659
3
发言之前多读书。杜威去中国大大鼓舞革命党人,这是孙中山明确讲过的。
当时的敌对一方乃是北洋军阀。日本人给杜威一个勋章,被拒。杜威作为第一代有世界
声誉的美国学术领袖,美式公共知识分子的祖先,这点事情弄不明白,是不可想象的。


: 很文科的写作手法

: 很low

: 你这 堕落的不行啊

: 1919年4月底杜威到中国,立即就发生了五四运动,(暗示某种因果性?)



【在 N*****r 的大作中提到】
: 很文科的写作手法
: 很low
: 你这 堕落的不行啊
: 1919年4月底杜威到中国,立即就发生了五四运动,(暗示某种因果性?)

N*****r
发帖数: 94
4

呵呵
看你发言看多了 大概就知道你什么水平了
1919年4月30日中午,杜威夫妇从日本乘船抵达上海,胡适、蒋梦麟和陶行知在码头迎
接,三天后,震惊世界的“五四”运动在北京爆发。
你告诉我这是因果?
还告诉别人多读读书?
一个人连基本的强弱因果关系都不明白,成天在这里教导他人, 难怪混的。。。

【在 g****t 的大作中提到】
: 发言之前多读书。杜威去中国大大鼓舞革命党人,这是孙中山明确讲过的。
: 当时的敌对一方乃是北洋军阀。日本人给杜威一个勋章,被拒。杜威作为第一代有世界
: 声誉的美国学术领袖,美式公共知识分子的祖先,这点事情弄不明白,是不可想象的。
:
:
: 很文科的写作手法
:
: 很low
:
: 你这 堕落的不行啊
:
: 1919年4月底杜威到中国,立即就发生了五四运动,(暗示某种因果性?)
:

g****t
发帖数: 31659
5
我贴的乃是书名和读后感。老邢这个破站有bug,尖括号打不出来。之前我讲,读书可以
解决问题。有人说你从不推荐书,所以这是空话废话。所以现在
不时推荐一下。没有教导谁的意思。
这位高人看来“混的”不错。现在哪家公司,担任什么职位?技术上来说,
带领过有几多专
利,书,产品?tech ladder走到哪里了?不如说来听听,可以让年轻的朋友尊重一下。


: 呵呵

: 看你发言看多了 大概就知道你什么水平了

: 1919年4月30日中午,杜威夫妇从日本乘船抵达上海,胡适、蒋梦麟和陶
行知在
码头迎

: 接,三天后,震惊世界的“五四”运动在北京爆发。

: 你告诉我这是因果?

: 还告诉别人多读读书?

: 一个人连基本的强弱因果关系都不明白,成天在这里教导他人, 难怪混
的。。。



【在 N*****r 的大作中提到】
:
: 呵呵
: 看你发言看多了 大概就知道你什么水平了
: 1919年4月30日中午,杜威夫妇从日本乘船抵达上海,胡适、蒋梦麟和陶行知在码头迎
: 接,三天后,震惊世界的“五四”运动在北京爆发。
: 你告诉我这是因果?
: 还告诉别人多读读书?
: 一个人连基本的强弱因果关系都不明白,成天在这里教导他人, 难怪混的。。。

m******r
发帖数: 1033
6
你老说什么deep state派人到中国捣乱/革命/搞简化字, 很有阴谋论的味道。 我一直
没搞懂。 老将后面是孙中山支持, 孙中山后面是谁支持 ? 美国人,还是苏联人? 动
机是什么?
马克思列宁搞共产主义, 动机很明显。 犹太人常年遭迫害,害怕民族主义,所以要搞
个超越民族的东西. 搞简化字,有什么动机?
m******r
发帖数: 1033
7
另外 c.s.peirce我还真不知道。 我只知道卡罗莱纳有个c.s.路易斯,一口白牙,长脸
, 脸上发着金光,总是滔滔不绝,好像神仙下凡似的.
c*******v
发帖数: 2599
8
首先第一点,袁世凯政府是合法的。这叫逊清伟业。
你先花两个月时间,把这事的资料查考清楚。
其他的慢慢再理解。

【在 m******r 的大作中提到】
: 你老说什么deep state派人到中国捣乱/革命/搞简化字, 很有阴谋论的味道。 我一直
: 没搞懂。 老将后面是孙中山支持, 孙中山后面是谁支持 ? 美国人,还是苏联人? 动
: 机是什么?
: 马克思列宁搞共产主义, 动机很明显。 犹太人常年遭迫害,害怕民族主义,所以要搞
: 个超越民族的东西. 搞简化字,有什么动机?

R******e
发帖数: 623
9
好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬低,不贬低也
搞不了。过时的东西。
Pragmatism本来就是实用主义或者语用主义。
结构主义符号化有两个鼻祖,德 索绪尔是其中之一。更合适的称呼应该是结构主义而
非符号学。晕死。

系。

【在 g****t 的大作中提到】
: 我个人认为,C.S.Peirce乃是美国国学之首,当之无愧的美国亚里斯多德。
: 他开创了数理逻辑,符号学这两门学问。科学心理学,概率的频率解释也跟他大有关系。
: 当化学家谋生,似乎勘测过很久的美国地理。
: 但这些实用技术是附带的。
: 他毕生志向乃是用概率的思路,结合现代科学进展,重演地水火风,“证明”一种连续
: 性的哲学:pragmatism(他自己发明的词).
: 把几千年来的原子论彻底消灭掉,来解决逻辑原子不能“生成”以及“growing”
: 这个问题。
: (二者的区别,简而言之,你认为Pi是一个数,还是一段产生这个数的C代码?)
:

g****t
发帖数: 31659
10
Peirce图算系统的文献比比皆是。书也有好多本。
谁发明的一阶逻辑,谁证明的康托定理,等等。
這些历史事实,跟現在常用什麼系統毫無關係。你是不是不知道弗雷格,康托,达尔文
,Peirce,罗素分
别是哪个年代的人。
再说了,哪天说不定三值逻辑的真值表就进入工程系统了也未可知。这也是Peirce最早
搞出來的。


: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬
低,不
贬低也

: 搞不了。过时的东西。

: Pragmatism本来就是实用主义或者语用主义。

: 结构主义符号化有两个鼻祖,德 索绪尔是其中之一。更合适的称呼应该
是结构
主义而

: 非符号学。晕死。

: 系。



【在 R******e 的大作中提到】
: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬低,不贬低也
: 搞不了。过时的东西。
: Pragmatism本来就是实用主义或者语用主义。
: 结构主义符号化有两个鼻祖,德 索绪尔是其中之一。更合适的称呼应该是结构主义而
: 非符号学。晕死。
:
: 系。

相关主题
在并发上haskell可以秒go吗准备用Coffee实现一些monad
现在国内几大IT公司非常猖狂替朋友的公司帮找两位资深Java Server端高手 (转载)
人都是喜欢扯淡,多于喜欢做研究其实王垠严肃文章写的不错
进入Programming版参与讨论
g****t
发帖数: 31659
11
另外你是不是百度都不会用?
https://baike.baidu.com/item/符号学
文献比比皆是。
http://semiotics.net.cn/userfiles/images/66e2f9079b1a95601ca9ce0d119ce502.pdf


: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬
低,不
贬低也

: 搞不了。过时的东西。

: Pragmatism本来就是实用主义或者语用主义。

: 结构主义符号化有两个鼻祖,德 索绪尔是其中之一。更合适的称呼应该
是结构
主义而

: 非符号学。晕死。

: 系。



【在 R******e 的大作中提到】
: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬低,不贬低也
: 搞不了。过时的东西。
: Pragmatism本来就是实用主义或者语用主义。
: 结构主义符号化有两个鼻祖,德 索绪尔是其中之一。更合适的称呼应该是结构主义而
: 非符号学。晕死。
:
: 系。

R******e
发帖数: 623
12
做mathematical logic不是考古,你吹Peirce就是文科生的做派,没意思。我不喜欢人
身评价,可不得不这么说。你数理逻辑没有入门。

【在 g****t 的大作中提到】
: Peirce图算系统的文献比比皆是。书也有好多本。
: 谁发明的一阶逻辑,谁证明的康托定理,等等。
: 這些历史事实,跟現在常用什麼系統毫無關係。你是不是不知道弗雷格,康托,达尔文
: ,Peirce,罗素分
: 别是哪个年代的人。
: 再说了,哪天说不定三值逻辑的真值表就进入工程系统了也未可知。这也是Peirce最早
: 搞出來的。
:
:
: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬
: 低,不

R******e
发帖数: 623
13
用百度百科学习,研究?你说相声的吧?
符号学是社科人文的东西,你也不懂,用不着给链接。
计算机科学中的语法,语义与语用,前两者研究基本明确而确定,后者为几乎无人涉及
的领域。你别瞎瞎扯了。

【在 g****t 的大作中提到】
: 另外你是不是百度都不会用?
: https://baike.baidu.com/item/符号学
: 文献比比皆是。
: http://semiotics.net.cn/userfiles/images/66e2f9079b1a95601ca9ce0d119ce502.pdf
:
:
: 好了。Peirce的逻辑除了符号化而外没啥,别吹过头了,什么欧洲刻意贬
: 低,不
: 贬低也
:
: 搞不了。过时的东西。
:
: Pragmatism本来就是实用主义或者语用主义。

g****t
发帖数: 31659
14
我前面提到的书,作者乃是耶鲁大学的数理逻辑教授。人从博士论文起,就是吃图算数
理逻辑这碗饭的。你是不是精神分裂了。

【在 R******e 的大作中提到】
: 做mathematical logic不是考古,你吹Peirce就是文科生的做派,没意思。我不喜欢人
: 身评价,可不得不这么说。你数理逻辑没有入门。

s*********2
发帖数: 1
15
老loser,在这里你更吃不开。赶快到古板发装逼贴。

【在 g****t 的大作中提到】
: 我前面提到的书,作者乃是耶鲁大学的数理逻辑教授。人从博士论文起,就是吃图算数
: 理逻辑这碗饭的。你是不是精神分裂了。

g****t
发帖数: 31659
16
你俩凑一下。你卖个微信群给他吧。智力刚好匹配。

【在 s*********2 的大作中提到】
: 老loser,在这里你更吃不开。赶快到古板发装逼贴。
s*********2
发帖数: 1
17
老loser, 整天就知道臆想,赶紧到古板发装逼贴,让大爷乐呵乐呵。

【在 g****t 的大作中提到】
: 你俩凑一下。你卖个微信群给他吧。智力刚好匹配。
g****t
发帖数: 31659
18
装嫩是潮流了吗?你几十岁的人了……


: 老loser, 整天就知道臆想,赶紧到古板发装逼贴,让大爷乐呵乐呵。



【在 s*********2 的大作中提到】
: 老loser, 整天就知道臆想,赶紧到古板发装逼贴,让大爷乐呵乐呵。
R******e
发帖数: 623
19
Peirce是啥时候的Yale大学教授?那时候美国学术尤其数理逻辑如何?
你不仅数理逻辑没入门,连数理逻辑史也全然不明白。别说什么耶鲁大学的数理逻辑教
授了,正经听过当今数理逻辑领军学者的课程没有?给你推荐一本书吧:
Logic for Application, Nerode, Shore师徒两人写的,附录A是数理逻辑简史,
Peirce至多算独立构建了一些Frege时期的逻辑学的东西。现代逻辑最早应该开始于罗
素,希尔伯特时代。一阶逻辑的突破性贡献有哥德尔的完全性定理,哥德尔的不完全性
定理等。与哥德尔同时代的美国本土数理逻辑学家有大贡献者是 Emil Post,因为躁郁
症而备受折磨。他独立甚至比哥德尔更早地提出并解决了不完备性定理,还有著名的
Post correspondence问题。Post才是一个没有得到相应名声的人。
好了,不跟你这大老外行讨论了,原以为你入门了,原来如此。

【在 g****t 的大作中提到】
: 我前面提到的书,作者乃是耶鲁大学的数理逻辑教授。人从博士论文起,就是吃图算数
: 理逻辑这碗饭的。你是不是精神分裂了。

d******c
发帖数: 2407
20
Pi是一个数,还是一段产生这个数的C代码?
两者未必是冲突的。过程是结果的来源,结果是凝结的过程。一般容易从过程得到结果
,反过来从结果倒推所有过程也是可能的,只不过更难得多而已。
假设有一个尺寸无限精确的棍子长度正好是Pi,这就是Pi概念的实体化,产生Pi就是测
量这个长度的过程。
当然在尺度的精确性和测量过程中可能有量子问题,但概念上的长度还是存在的,而且
从这个角度Pi概念优先于测量/生成过程。
相关主题
计算机行业拜图灵为鼻祖是为了自己高大上1 .中国往事
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别[bssd]Continuation....
有谁懂这个: example(data.table) ; dt.tbl> DT[X, on=.(y<=foo)]有没有8岁儿童学习编程的方法推荐?
进入Programming版参与讨论
g****t
发帖数: 31659
21
发明关系数据库代数那哥们,他老板之前是ENIAC的designer。同时负责过Peirce年谱
,作品的整理。担任过Peirce协会的会长。有专门的Peirce协会,有杂志。你跟我歪嘴
有个屁用。
我说pragmatism是国学,不是没道理的。其不是小众学说。
另外你把符号学那条先认了。不然我不看lier的帖。


: Peirce是啥时候的Yale大学教授?那时候美国学术尤其数理逻辑如何?

: 你不仅数理逻辑没入门,连数理逻辑史也全然不明白。别说什么耶鲁大学
的数理
逻辑教

: 授了,正经听过当今数理逻辑领军学者的课程没有?给你推荐一本书吧:

: Logic for Application, Nerode, Shore师徒两人写的,附录A是数理
逻辑简
史,

: Peirce至多算独立构建了一些Frege时期的逻辑学的东西。现代逻辑最早
应该开
始于罗

: 素,希尔伯特时代。一阶逻辑的突破性贡献有哥德尔的完全性定理,哥德
尔的不
完全性

: 定理等。与哥德尔同时代的美国本土数理逻辑学家有大贡献者是 Emil
Post,因
为躁郁

: 症而备受折磨。他独立甚至比哥德尔更早地提出并解决了不完备性定理,
还有著
名的

: Post correspondence问题。Post才是一个没有得到相应名声的人。

: 好了,不跟你这大老外行讨论了,原以为你入门了,原来如此。



【在 R******e 的大作中提到】
: Peirce是啥时候的Yale大学教授?那时候美国学术尤其数理逻辑如何?
: 你不仅数理逻辑没入门,连数理逻辑史也全然不明白。别说什么耶鲁大学的数理逻辑教
: 授了,正经听过当今数理逻辑领军学者的课程没有?给你推荐一本书吧:
: Logic for Application, Nerode, Shore师徒两人写的,附录A是数理逻辑简史,
: Peirce至多算独立构建了一些Frege时期的逻辑学的东西。现代逻辑最早应该开始于罗
: 素,希尔伯特时代。一阶逻辑的突破性贡献有哥德尔的完全性定理,哥德尔的不完全性
: 定理等。与哥德尔同时代的美国本土数理逻辑学家有大贡献者是 Emil Post,因为躁郁
: 症而备受折磨。他独立甚至比哥德尔更早地提出并解决了不完备性定理,还有著名的
: Post correspondence问题。Post才是一个没有得到相应名声的人。
: 好了,不跟你这大老外行讨论了,原以为你入门了,原来如此。

g****t
发帖数: 31659
22
按现在的理论。无理数一般是从贝恩斯坦定理,迪得金分划出发来定义。就是说Pi乃是
无限多有理数的集合。Peirce相信实无穷。他对康托的看法很有意思。你可查考原始文
献。
无理数是一段代码,这是我创造的说法。据我所见,在用到无理数的地方,能换成代码
的,都换成代码,(未来人人都会写码)世界不变。一者生成发生。二来,更重要的是
,我个人认为Peirce 的学说,和不可计算数不兼容。——poincare也不承
认不可计算数的存在。
如果遵从Peirce说的pragamtism Maxim。那么如果
一个数不是任何conceivable的计算机程序的后果,也不可测量。就必要假设其存在。
这实际上是所有马工的实用protocol。别的东西都当玄学看待,没什么问题。也不会出
什么问题。


: Pi是一个数,还是一段产生这个数的C代码?

: 两者未必是冲突的。过程是结果的来源,结果是凝结的过程。一般容易从
过程得
到结果

: ,反过来从结果倒推所有过程也是可能的,只不过更难得多而已。

: 假设有一个尺寸无限精确的棍子长度正好是Pi,这就是Pi概念的实体化,
产生Pi
就是测

: 量这个长度的过程。

: 当然在尺度的精确性和测量过程中可能有量子问题,但概念上的长度还是
存在的
,而且

: 从这个角度Pi概念优先于测量/生成过程。



【在 d******c 的大作中提到】
: Pi是一个数,还是一段产生这个数的C代码?
: 两者未必是冲突的。过程是结果的来源,结果是凝结的过程。一般容易从过程得到结果
: ,反过来从结果倒推所有过程也是可能的,只不过更难得多而已。
: 假设有一个尺寸无限精确的棍子长度正好是Pi,这就是Pi概念的实体化,产生Pi就是测
: 量这个长度的过程。
: 当然在尺度的精确性和测量过程中可能有量子问题,但概念上的长度还是存在的,而且
: 从这个角度Pi概念优先于测量/生成过程。

R******e
发帖数: 623
23
大外行,符号学里的所指是数理逻辑里的啥东西?能指呢?
算了,你冥顽不化,不过是这个版的笑话。

【在 g****t 的大作中提到】
: 发明关系数据库代数那哥们,他老板之前是ENIAC的designer。同时负责过Peirce年谱
: ,作品的整理。担任过Peirce协会的会长。有专门的Peirce协会,有杂志。你跟我歪嘴
: 有个屁用。
: 我说pragmatism是国学,不是没道理的。其不是小众学说。
: 另外你把符号学那条先认了。不然我不看lier的帖。
:
:
: Peirce是啥时候的Yale大学教授?那时候美国学术尤其数理逻辑如何?
:
: 你不仅数理逻辑没入门,连数理逻辑史也全然不明白。别说什么耶鲁大学
: 的数理
: 逻辑教

R******e
发帖数: 623
24
数都是基于集合操作而来的,如果限于可计算操作,当然可以定义为一段代码,你可以
看algorithmic information。
一定联系实体就是找模型或者例子。但数学是理想国里的东西,不是基于实体而来的。
如果实体系统及其操作正好可以同构于或者同态于数学结构,你就可以用那数学结构代
替实体演绎。

【在 d******c 的大作中提到】
: Pi是一个数,还是一段产生这个数的C代码?
: 两者未必是冲突的。过程是结果的来源,结果是凝结的过程。一般容易从过程得到结果
: ,反过来从结果倒推所有过程也是可能的,只不过更难得多而已。
: 假设有一个尺寸无限精确的棍子长度正好是Pi,这就是Pi概念的实体化,产生Pi就是测
: 量这个长度的过程。
: 当然在尺度的精确性和测量过程中可能有量子问题,但概念上的长度还是存在的,而且
: 从这个角度Pi概念优先于测量/生成过程。

g****t
发帖数: 31659
25
你先说清楚,我之前讲的,Peirce乃是符号学创始人,
这条对不对。你说的什么结构主义都是什么东西?

【在 R******e 的大作中提到】
: 大外行,符号学里的所指是数理逻辑里的啥东西?能指呢?
: 算了,你冥顽不化,不过是这个版的笑话。

1 (共1页)
进入Programming版参与讨论
相关主题
[bssd]Continuation....看本版的Java和C++之争
有没有8岁儿童学习编程的方法推荐?推荐下FOM吧
关于regular expression在并发上haskell可以秒go吗
Need a regular expression for password现在国内几大IT公司非常猖狂
最近在看《python源码剖析》人都是喜欢扯淡,多于喜欢做研究
这个warning什么原因准备用Coffee实现一些monad
凡是学过点数理逻辑的,80%会觉得functional programming有意思替朋友的公司帮找两位资深Java Server端高手 (转载)
简述一下常见语言的缺点其实王垠严肃文章写的不错
相关话题的讨论汇总
话题: peirce话题: br话题: philosophy话题: 杜威话题: 数理逻辑