《In the Light of Logic (Logic and Computation in Philosophy)》是1998年Oxford University Press, USA出版的圖書，作者是Solomon Feferman。
基本介紹
- 外文名：In the Light of Logic (Logic and Computation in Philosophy)
- 作者：Solomon Feferman
- 出版社：Oxford University Press, USA
- 頁數：352 頁
- ISBN：9780195080308
- 裝幀：Hardcover
內容簡介
Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date.
