思想的形式化 形式化的思想——读《数理逻辑的思想和方法》

读了复旦大学出版社新近出版的昂扬先生的《数理逻辑的思想和方法》,顿觉耳目一新.全书克服了一种不良倾向,不受流行习惯的束缚,选择最能揭示数理逻辑的本质的方式,既包括形式化的数理逻辑,又包括逻辑是怎样形式化的;既包括数理逻辑的基本内容,又包括表现这些内容的方法;既包括基本理论,又包括实际应用,交融着思想的形式化和形式化的思想。