Hilbert's Programs and Beyond
Wilfried Sieg
jaan 2013 · Oxford University Press
E-raamat
439
lehekülge
family_home
Sobilik
info
reportHinnangud ja arvustused pole kinnitatud. Lisateave
Teave selle e-raamatu kohta
Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.
Teave autori kohta
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.
Hinnake seda e-raamatut
Andke meile teada, mida te arvate.
Lugemisteave
Nutitelefonid ja tahvelarvutid
Installige rakendus Google Play raamatud Androidile ja iPadile/iPhone'ile. See sünkroonitakse automaatselt teie kontoga ja see võimaldab teil asukohast olenemata lugeda nii võrgus kui ka võrguühenduseta.
Sülearvutid ja arvutid
Google Playst ostetud audioraamatuid saab kuulata arvuti veebibrauseris.
E-lugerid ja muud seadmed
E-tindi seadmetes (nt Kobo e-lugerid) lugemiseks peate faili alla laadima ja selle oma seadmesse üle kandma. Failide toetatud e-lugeritesse teisaldamiseks järgige üksikasjalikke abikeskuse juhiseid.
