熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 21 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness
|
||
|
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
|
||
|
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
Preface.- Dedication.- Part I: Gödel’s "Own Book on Foundations".- Chapter 1. A Gödel puzzle.- Chapt... more |
||
|
The End of the Cold War?: Bush, Kohl, Gorbachev, and the Reunification of Germany
This carefully researched history draws on archival sources as well as a wealth of new interviews wi... more |
||
|
Hitler’s Slaves: Life Stories of Forced Labourers in Nazi-Occupied Europe
countries, offering a comparative international perspective. Alexander von Plato is a historian and the former Director of the...... more |
||
|
Can Mathematics Be Proved Consistent?: Gödel’’s Shorthand Notes & Lectures on Incompleteness
|
||
|
Can Mathematics Be Proved Consistent?: Gödel’’s Shorthand Notes & Lectures on Incompleteness
|
||
|
Saved from the Cellar: Gerhard Gentzen’’s Shorthand Notes on Logic and Foundations of Mathematics
Part I: A Sketch of Gentzen’s Life and Work.- 1. Overture.- 2. Gentzen’s years of study.- Dr. Gentze... more |
||
|
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Part I: A Sketch of Gentzen’s Life and Work.- 1. Overture.- 2. Gentzen’s years of study.- Dr. Gentze... more |
||
|
Proof Analysis: A Contribution to Hilbert’s Last Problem
This book continues from where the authors previous book, Structural Proof Theory, ended. It presen... more |
||
|
Elements of Logical Reasoning
principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of...... more |
||
|
Elements of Logical Reasoning
principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of...... more |
||
|
Proof Analysis: A Contribution to Hilbert’s Last Problem
This book continues from where the authors previous book, Structural Proof Theory, ended. It presen... more |
||
|
Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of lo... more |
||
|
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
work is treated at some length are Kolmogorov, von Mises and de Finetti....... more |
||
|
Kurt Gödel: The Princeton Lectures on Intuitionism
Gödel’s Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The F... more |
||
|
Investigations into the Predicate Calculus
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Ge... more |
||
|
|
Kurt Gödel: The Princeton Lectures on Intuitionism
Gödel’s Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The F... more |
||
|
Kurt Gödel: Results on Foundations
Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set a... more |
||
|
The School of Spiritual Science: An Orientation and Introduction
In 1924, Rudolf Steiner established the School of Spiritual Science within the framework of the newl... more |
||
|
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann...... more |
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: plato 的結果(請點選看全部符合的商品)
-
哲學不該正經學：哈佛笑魁開的哲學必修課
優惠價: 79 折, 252 元 -
徒步大不列顛：穿越2500英里的哲學之旅
優惠價: 7 折, 231 元 -
哲學家如何看待神：從柏拉圖到海德格、道金斯
優惠價: 9 折, 324 元 -
硬美學：從柏拉圖到古德曼的七種不流行讀法
優惠價: 95 折, 228 元 -
如果你遇見我的朋友蘇格拉底
優惠價: 9 折, 342 元 -
如果柏拉圖也有Podcast：20位古希臘哲學家給現代人的生活思辨
優惠價: 9 折, 405 元
