株式会社極東書店トップ商品一覧Portrait of Young Goedel : Education, First Steps in Logic, the Problem of Completeness.

商品詳細

Portrait of Young Goedel

Portrait of Young Goedel : Education, First Steps in Logic, the Problem of Completeness.

・ISBN 978-3-031-51970-3 hard EUR 139.99

¥37,418.- (税込) (※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。

お気に入り
著者・編者von Plato, Jan,
シリーズVienna Circle Institute Library
出版社(Springer, GW)
出版年月2024.02
ページ数307 pp.
言語ENG
ニュース番号<722-71>

解説

In the summer of 1928, Kurt Goedel (1906-1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability - two essential components in the birth of the information society.
This book explores Goedel's way from an exceptional high-school student to a firmly established young logician. Essays in Goedel's hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Goedel one of the foremost logicians of all times. The scientific biography of young Goedel is followed by English translations from Goedel's German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.