[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] Computational Molecular Biology
[1825 days] Computational Molecular Biology

This book covers applications of computational techniques to biological problems. These techniques ..

13,081,000 VNĐ

New
[1825 days] Computational Methods for Modeling of Nonlinear Systems
[1825 days] Computational Methods for Modeling of Nonlinear Systems

In this book, we study theoretical and practical aspects of computing methods for mathematical model..

3,937,000 VNĐ

New
[1825 days] The Tragedy of Hamlet, Prince of Denmark
[1825 days] The Tragedy of Hamlet, Prince of Denmark

The Danish court calls Prince Hamlet back to Denmark with the news of his father's death. Desperatel..

38,000 VNĐ

New
[1825 days] Antony and Cleopatra
[1825 days] Antony and Cleopatra

After falling in love with Cleopatra, Antony neglects his duties as a member of triumvirate that rul..

38,000 VNĐ

New
[1825 days] The Adventure of the Crooked Man
[1825 days] The Adventure of the Crooked Man

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

38,000 VNĐ

New
[1825 days] The Psychology of Learning and Motivation: Advances in Research and Theory
[1825 days] The Psychology of Learning and Motivation: Advances in Research and Theory

The Psychology of Learning and Motivation publishes empirical and theoretical contributions in cogni..

3,658,000 VNĐ

New
[1825 days] Private Security and the Law
[1825 days] Private Security and the Law

PRIVATE SECURITY AND THE LAW is a textbook analysis of significant practices in the security industr..

2,209,000 VNĐ

New
[1825 days] Advances in Agronomy
[1825 days] Advances in Agronomy

Volume 64 contains six comprehensive reviews covering key contemporary topics on crop and soil scien..

4,953,000 VNĐ

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