[1825 days] Intensional Mathematics
[1825 days] Intensional Mathematics [1825 days] Intensional Mathematics

[1825 days] Intensional Mathematics

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444876324
Tồn kho:
Còn hàng
Nhà xuất bản:
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Shapiro, S.


Special Price 1,853,000 VNĐ

Còn 100,000,000,000,000,000 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.

Không có đánh giá cho sản phẩm này.

Sản phẩm liên quan

New
[1825 days] United States v. Salerno, 481 U.S. 739

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

38,000 VNĐ

New
[1825 days] Applied Spectroscopy: A Compact Reference for Practitioners

This book delineates practical, tested, general methods for ultraviolet, visible, and infrared spect..

5,334,000 VNĐ

New
[1825 days] ADVANCES ELECTRONC &ELECTRON PHYSICS V14

ADVANCES ELECTRONC &ELECTRON PHYSICS V14..

1,853,000 VNĐ

New
[1825 days] Proclamation Declaring the Insurrection at an End

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

38,000 VNĐ

New
[1825 days] Cumulative Subject Index, Volumes 32-53

Critically acclaimed for more than 25 years, the Methods in Cell Biology series provides an indispen..

4,445,000 VNĐ

0898536989