[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

[1825 days] Gas Chromatography and Mass Spectrometry: A Practical Guide

This guide provides, under one cover, a wealth of practical information designed to facilitate the e..

3,150,000 VNĐ

New

[1825 days] Ancient Marine Reptiles

Vertebrate evolution has led to the convergent appearance of many groups of originally terrestrial a..

3,327,500 VNĐ

New

[1825 days] Protection of Industrial Power Systems

The protection which is installed on an industrial power system is likely to be subjected to more di..

2,310,500 VNĐ

New

[1825 days] International Review of Cell and Molecular Biology

International Review of Cell & Molecular Biology presents current advances and comprehensive reviews..

6,096,000 VNĐ

New

[1825 days] Applications of Markov Chains in Chemical Engineering

Markov chains make it possible to predict the future state of a system from its present state ignori..

10,668,000 VNĐ

New

[1825 days] Advances in Applied Microbiology

Advances in Applied Microbiology offers intensive reviews of the latest techniques and discoveries i..

3,658,000 VNĐ

New

[30 days] Automated Planning: Theory & Practice

Automated planning technology now plays a significant role in a variety of demanding applications, r..

2,285,000 VNĐ

New

[1825 days] Digital Signal Processing: DSP and Applications: DSP and Applications

This book is a uniquely practical DSP text which places the emphasis on understanding the principles..

1,015,000 VNĐ

[1825 days] Intensional Mathematics

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán