由Paul R. Halmos所著的《Naive Set Theory》是一本不可多得的学习集合论、进而学习其它数学内容的入门好书。说它是好书,有几个标准:第一,内容选取恰当,初学者对集合论应当掌握的内容都包括了,初学者不应当或者不必要的内容完全没有。第二,内容的展示方式不是事实、知识罗列(其它类似书籍的通病)而是直击要害、抓 ...
用精确化的形式语言来严格定义科学理论应当是所有科学领域追求的目标,也是符号逻辑建立的基本动机。其基本方法就是:设定研究对象的范围、边界,然后确定在这个范围内的个体对象。研究对象的范围,我们通常称之为“领域”(domain)或“论域”(universe of discourse)。我们的目标就是为所研究的对象建立形式模型,这 ...