[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

[30 days] X3D: Extensible 3D Graphics for Web Authors

In the early days of the Web a need was recognized for a language to display 3D objects through a br..

2,183,500 VNĐ

New

[1825 days] Foundations of the Metaphysics of Morals

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

38,000 VNĐ

New

[1825 days] Cohesion and Structure of Surfaces

During the past fifteen years there has been a dramatic increase in the number of different surfaces..

1,853,000 VNĐ

New

[1825 days] Advances in Botanical Research

Articles in this volume analyze rapidly evolving approaches, many at the cusp of development, to res..

5,461,000 VNĐ

New

[1825 days] Murphy v. Florida, 421 U.S. 794

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

38,000 VNĐ

New

[1825 days] Designing SQL Server 2000 Databases

The Microsoft .NET initiative is the future of e-commerce - making it possible for organisations to ..

1,320,000 VNĐ

New

[30 days] Introduction to Environmental Soil Physics

An abridged, student-oriented edition of Hillel's earlier published Environmental Soil Physics, this..

2,234,000 VNĐ

New

[1825 days] Microscope Image Processing

Digital image processing, an integral part of microscopy, is increasingly important to the fields of..

2,946,500 VNĐ

[1825 days] Intensional Mathematics

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán