ゲーデルのプリンストン講義
Kurt Gödel
The Princeton Lectures on Intuitionism
Sources and Studies in the History of Mathematics and Physical Sciences
Hämeen-Anttila, Maria (EDT)
Von Plato, Jan (EDT)
- 出版社：Springer
- 出版年月：2021年 11月
- ISBN：9783030872953
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：296 p.
- 内容紹介：
-
This book, Goedel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic.