[1825 days] Intensional Mathematics

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:

9780444876324

Tồn kho:

Còn hàng

Danh mục

Mua eTextbooks trực tuyến

Nhà xuất bản:

Elsevier S & T

Trạng thái:

Có hàng

Loại bìa:

Page Fidelity

Ngôn ngữ:

English

Tác giả:

Shapiro, S.

Special Price 1,853,000 VNĐ

Còn VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

Mô tả
Đánh giá (0)

``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...''
FROM THE INTRODUCTION

Among the aims of this book are:
- The discussion of some important philosophical issues using the precision of mathematics.
- The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice.
- The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Sản phẩm liên quan

New

[1825 days] Fundamentals of Forensic Science

Unlike other introductory textbooks on the topic, Fundamentals of Forensic Science presents a comp..

2,031,000 VNĐ

New

[1825 days] EPR in the 21st Century

The Proceedings in this volume are a refereed selection of presentations from The Third Asia-Pacific..

12,573,000 VNĐ

New

[1825 days] Engineering Turbulence Modelling and Experiments 6: ERCOFTAC International Symposium on Engineering Turbulence and Measurements - ETMM6

Proceedings of the world renowned ERCOFTAC (International Symposium on Engineering Turbulence Modell..

11,557,000 VNĐ

New

[1825 days] Network Recovery: Protection and Restoration of Optical, SONET-SDH, IP, and MPLS

Network Recovery is the first book to provide detailed information on protecting and restoring commu..

2,310,500 VNĐ

New

[120 days] PVT and Phase Behaviour Of Petroleum Reservoir Fluids

This book on PVT and Phase Behaviour Of Petroleum Reservoir Fluids is volume 47 in the Developments ..

5,461,000 VNĐ

New

[1825 days] Parnell on the Home Rule Bill (1886)

38,000 VNĐ

New

[30 days] Digital Logic Design

New, updated and expanded topics in the fourth edition include: EBCDIC, Grey code, practical applica..

1,345,000 VNĐ

New

[1825 days] Freeman v. Pitts, 503 U.S. 467

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

[1825 days] Intensional Mathematics

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán