[1825 days] Intensional Mathematics
[1825 days] Intensional Mathematics [1825 days] Intensional Mathematics

[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
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

``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] Advances in Microbial Physiology
[1825 days] Advances in Microbial Physiology

Advances in Microbial Physiology is one of the most successful and prestigious series from Academic ..

4,699,000 VNĐ

New
[1825 days] Designing A Wireless Network
[1825 days] Designing A Wireless Network

Business is on the move - mobile computing must keep up!Innovative technology is making the communic..

1,269,000 VNĐ

New
[1825 days] ADVANCES IN APPLIED MECHANICS VOLUME 25
[1825 days] ADVANCES IN APPLIED MECHANICS VOLUME 25

ADVANCES IN APPLIED MECHANICS VOLUME 25..

1,853,000 VNĐ

New
[1825 days] ADVANCES IN COMPUTERS VOL 14
[1825 days] ADVANCES IN COMPUTERS VOL 14

ADVANCES IN COMPUTERS VOL 14..

1,853,000 VNĐ

New
[1825 days] Analysis of Financial Data
[1825 days] Analysis of Financial Data

Analysis of Financial Data teaches the basic methods and techniques of data analysis to finance s..

1,320,000 VNĐ

New
[1825 days] PROGRESS IN MEDICINAL CHEMISTRY
[1825 days] PROGRESS IN MEDICINAL CHEMISTRY

PROGRESS IN MEDICINAL CHEMISTRY..

1,853,000 VNĐ

New
[1825 days] Quatre Mois de l'Expédition de Garibaldi en Sicilie et Italie
[1825 days] Quatre Mois de l'Expédition de Garibaldi en Sicilie et Italie

..

38,000 VNĐ

New
[1825 days] New Approaches for the Generation and Analysis of Microbial Typing Data
[1825 days] New Approaches for the Generation and Analysis of Microbial Typing Data

Rapid molecular identification and typing of micro-organisms is extremely important in efforts to mo..

6,477,000 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán