[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] Redox Cell Biology and Genetics, Part A
[1825 days] Redox Cell Biology and Genetics, Part A

The critically acclaimed laboratory standard for more than forty years, Methods in Enzymology is one..

5,334,000 VNĐ

New
[1825 days] ADVANCES IN CATALYSIS VOLUME 3
[1825 days] ADVANCES IN CATALYSIS VOLUME 3

ADVANCES IN CATALYSIS VOLUME 3..

1,853,000 VNĐ

New
[1825 days] Electronic Commerce: Principles and Practice
[1825 days] Electronic Commerce: Principles and Practice

This four-part overview of electronic commerce offers a more thorough and technical view of the subj..

3,150,000 VNĐ

New
[1825 days] Advances in Insect Physiology APL
[1825 days] Advances in Insect Physiology APL

Advances in Insect Physiology APL..

1,853,000 VNĐ

New
[1825 days] Stimulus Class Formation in Humans and Animals
[1825 days] Stimulus Class Formation in Humans and Animals

Stimulus class formation has been studied independently by two groups of researchers. One group has ..

5,334,000 VNĐ

New
[1825 days] Chambers v. Maroney, 399 U.S. 42
[1825 days] Chambers v. Maroney, 399 U.S. 42

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

38,000 VNĐ

New
[30 days] Forest Ecosystems: Analysis at Multiple Scales
[30 days] Forest Ecosystems: Analysis at Multiple Scales

This revision maintains the position of Forest Ecosystems as the one source for the latest informati..

663,000 VNĐ

New
[90 days] Counseling Problem Gamblers: A Self-Regulation Manual for Individual and Family Therapy
[90 days] Counseling Problem Gamblers: A Self-Regulation Manual for Individual and Family Therapy

Over the past decade, legal wagering has expanded rapidly in North America. In 1998 alone, people lo..

556,500 VNĐ

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