[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] Approaches to Design and Synthesis of Antiparasitic Drugs
[1825 days] Approaches to Design and Synthesis of Antiparasitic Drugs

This book presents a comprehensive and up to date account of the chemotherapy of parasitic diseases,..

9,525,000 VNĐ

New
[1825 days] Boule de Suif
[1825 days] Boule de Suif

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

38,000 VNĐ

New
[1825 days] Wesberry v. Sanders, 376 U.S. 1
[1825 days] Wesberry v. Sanders, 376 U.S. 1

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

38,000 VNĐ

New
[1825 days] Introduction to Web Matrix: ASP.NET Development for Beginners
[1825 days] Introduction to Web Matrix: ASP.NET Development for Beginners

An Introduction to Web Matrix provides an easy to follow treatment of the application of this new so..

3,200,500 VNĐ

New
[1825 days] Radiative Heat Transfer
[1825 days] Radiative Heat Transfer

The most comprehensive and detailed treatment of thermal radiation heat transfer available for gradu..

3,683,000 VNĐ

New
[1825 days] Glaciotectonism
[1825 days] Glaciotectonism

Glaciotectonism is an important component of modern glacial theory, gaining widespread recognition w..

5,461,000 VNĐ

New
[150 days] Process Modelling and Model Analysis
[150 days] Process Modelling and Model Analysis

This book describes the use of models in process engineering. Process engineering is all about manuf..

1,551,500 VNĐ

New
[1825 days] Nuclear Magnetic Resonance: Petrophysical and Logging Applications
[1825 days] Nuclear Magnetic Resonance: Petrophysical and Logging Applications

The applications of nuclear magnetic resonance (NMR) to petroleum exploration and production have be..

3,429,000 VNĐ

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