[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] Thin-Walled Structures: Research and Development

Thin-plated structures are used extensively in building construction, automobile, aircraft, shipbuil..

9,525,000 VNĐ

New

[150 days] An Invitation to Biomathematics

Essential for all biology and biomathematics courses, this textbook provides students with a fresh p..

1,726,000 VNĐ

New

[1825 days] Advances in Steel Structures

These two volumes of proceedings contain nine invited keynote papers and 130 contributed papers pres..

10,033,000 VNĐ

New

[30 days] Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Reconfigurable Computing marks a revolutionary and hot topic that bridges the gap between the separa..

1,010,000 VNĐ

New

[1825 days] The Roots of Visual Awareness

The present volume was assembled in honor of Professor Alan Cowey FRS, and attempts to embrace his w..

7,366,000 VNĐ

New

[1825 days] INT'L REV OF RESRC IN MENTL RETARDTN V15

INT'L REV OF RESRC IN MENTL RETARDTN V15..

1,853,000 VNĐ

New

[1825 days] A Midsummer Night's Dream

There are important facets of our humanity that are both non-rational and beyond our control. A Mids..

38,000 VNĐ

New

[1825 days] Israel

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