[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] Adaptive Control Systems
[1825 days] Adaptive Control Systems

Adaptive control is no longer just an important theoretical field of study, but is also providing so..

5,080,000 VNĐ

New
[1825 days] Viral Vectors: Gene Therapy and Neuroscience Applications
[1825 days] Viral Vectors: Gene Therapy and Neuroscience Applications

Genetic manipulation of the adult mammalian nervous system is one of the most exciting areas in cont..

1,853,000 VNĐ

New
[1825 days] Gene Therapy Methods
[1825 days] Gene Therapy Methods

This volume in the prestigious Methods in Enzymology series discusses methods currently used in prec..

5,080,000 VNĐ

New
[1825 days] Advances in Clinical Chemistry
[1825 days] Advances in Clinical Chemistry

Volume forty-four of the Advances in Clinical Chemistry series contains review articles of wide inte..

5,207,000 VNĐ

New
[150 days] Investigating Child Exploitation and Pornography: The Internet, Law and Forensic Science
[150 days] Investigating Child Exploitation and Pornography: The Internet, Law and Forensic Science

Crime scenes associated with child sexual exploitation and trafficking in child pornography were onc..

762,000 VNĐ

New
[1825 days] Systems Engineering with SysML/UML: Modeling, Analysis, Design
[1825 days] Systems Engineering with SysML/UML: Modeling, Analysis, Design

UML, the Universal Modeling Language, was the first programming language designed to fulfill the req..

1,472,000 VNĐ

New
[1825 days] Introduction à l'étude de la médecine expérimentale
[1825 days] Introduction à l'étude de la médecine expérimentale

..

38,000 VNĐ

New
[1825 days] ADV IN ATOMIC & MOLECULAR PHYSICS V13
[1825 days] ADV IN ATOMIC & MOLECULAR PHYSICS V13

ADV IN ATOMIC & MOLECULAR PHYSICS V13..

1,853,000 VNĐ

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