科研路上
18
来自:豆瓣日记
缓慢建设中。点击查看 原文 第一部分,逻辑主义:从起源到定型 早在1837年,Bolzano即已提出了一种“科学哲学”理论,称为 Wissenschaftslehre。该理论的一大创见是对判断和命题进行了区分。1879年的Frege所作的工作实为为Bolzano的远见开发了一个实用系统,即熟知的Begriffsschrift,它是今日谓词逻辑的前体,也是谓词逻辑的第一个成熟的形式化/公理化系统。在这个系统中,人们可以对判断和命题进行演算。 疏:关于Bolzano的学说,详参 Sandra Lap...
什么是豆列 · · · · · ·
豆列是收集好东西的工具。
在豆瓣上看到喜欢的内容,都可以收到你自己的豆列里,方便以后找到。
你还可以关注感兴趣的豆列,看看其他人收集的好东西。

