Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to...
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The
Další kniha z řady základních textů evropské vzdělanosti iniciovaná Petrem Vopěnkou. A po desetiletích teprve druhá přeložená kniha zásadních textů jednoho z největších matematiků, logiků a myslitelů dvacátého století.
Gödelovy věty (z roku 1931) o neúplnosti jsou i přes svojí stručnost stále vlivným textem nejen exaktních věd (zejm. matematické logiky). Přesahují do filosofie (a nejen matematiky), neboť svou podstatou stanovují omezenost i tak exaktní vědy, kterou matematika je (a ve svém důsledku třeba i nemožnost dokázat úplnou...
Další kniha z řady základních textů evropské vzdělanosti iniciovaná Petrem Vopěnkou. A po desetiletích teprve druhá přeložená kniha zá...
