| 書目名稱 | Logic and Structure | | 編輯 | Dirk Dalen | | 視頻video | http://file.papertrans.cn/588/587992/587992.mp4 | | 叢書名稱 | Universitext | | 圖書封面 |  | | 描述 | Logic appears in a ‘sacred‘ and in a ‘profane‘ form. The sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. For one reason or another, such as the discovery of the set theoretical paradoxes (Cantor, Russell), or the definability paradoxes (Richard, Berry), a subject is treated for some time with the utmost awe and diffidence. As a rule, however, sooner or later people start to treat the matter in a more free and easy way. Being raised in the ‘sacred‘ tradition, I was greatly surprised (and some- what shocked) when I observed Hartley Rogers teaching recursion theory to mathema- ticians as if it were just an ordinary course in, say, linear algebra or algebraic topology. In the course of time I have come to accept his viewpoint as the didac- tically sound one: before going into esoteric niceties one should develop a certain feeling for the subject and obtain a reasonable amount of plain working knowledge. For this reason I have adopted the profane attitude in this introductory text, reserving the more sacred approach for advanced courses. Rea | | 出版日期 | Textbook 19832nd edition | | 關(guān)鍵詞 | Goedel‘s theorem; basic model theory; computability theory; first-order logic with natural deduction; in | | 版次 | 2 | | doi | https://doi.org/10.1007/978-3-662-02382-2 | | isbn_ebook | 978-3-662-02382-2Series ISSN 0172-5939 Series E-ISSN 2191-6675 | | issn_series | 0172-5939 | | copyright | Springer-Verlag Berlin Heidelberg 1983 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 01:34
發(fā)表于 2025-3-21 18:00:18
