Hilbert’s Programs and Beyond
Wilfried Sieg
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.
Thể loại:
Năm:
2013
In lần thứ:
1
Nhà xuát bản:
Oxford University Press
Ngôn ngữ:
english
Trang:
464
ISBN 10:
0195372220
ISBN 13:
9780195372229
File:
PDF, 3.49 MB
IPFS:
,
english, 2013
Amazon 
Barnes & Noble 
Bookshop.org
Bạn có muốn thêm cừa hàng sách? Xin liên lạc theo support@z-lib.do
Chuyển đổi tập tin
Các kết quả tìm kiếm tiếp theo
Các lợi ích khác 
Từ khóa thường sử dụng nhất
Các mục liên quan
