Hilbert's Programs and Beyond

· Oxford University Press
Електронна книга
439
Страници
Отговаря на условията
Оценките и отзивите не са потвърдени  Научете повече

Всичко за тази електронна книга

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations. Ten essays are devoted to the analysis of classical as well as modern proof theory; three papers on the mathematical roots of Hilbert's work precede the analytical core, and three final essays exploit an open philosophical horizon for reflection on the nature of mathematics in the 21st century.

За автора

Wilfried Sieg is the Patrick Suppes Professor of Philosophy at Carnegie Mellon University. He received his Ph.D. from Stanford University in 1977. From 1977 to 1985, he was Assistant and Associate Professor at Columbia University. In 1985, he joined the Carnegie Mellon faculty as a founding member of the University's Philosophy Department and served as its Head from 1994 to 2005. He is internationally known for mathematical work in proof theory, historical work on modern logic and mathematics, and philosophical essays on the nature of mathematics. Sieg is a Fellow of the American Academy of Arts and Sciences.

Оценете тази електронна книга

Кажете ни какво мислите.

Информация за четенето

Смартфони и таблети
Инсталирайте приложението Google Play Книги за Android и iPad/iPhone. То автоматично се синхронизира с профила ви и ви позволява да четете онлайн или офлайн, където и да сте.
Лаптопи и компютри
Можете да слушате закупените от Google Play аудиокниги посредством уеб браузъра на компютъра си.
Електронни четци и други устройства
За да четете на устройства с електронно мастило, като например електронните четци от Kobo, трябва да изтеглите файл и да го прехвърлите на устройството си. Изпълнете подробните инструкции в Помощния център, за да прехвърлите файловете в поддържаните електронни четци.