Intensional Mathematics
Author: Stewart Shapiro
Code: LISCMA0274039
Features
Author: Stewart Shapiro
Publisher: North-Holland
Place of printing: New York
Year of publication: 1985
Necklace: Studies in logic and the foundations of mathematics
''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.
Product Condition:
Copy in good condition. Dust jacket with yellowing, dust spots and signs of wear on the edges and corners. Yellowed edges, with traces of dust and humidity. Pages slightly browned at the edges. Traces of humidity and dust marks present on numerous pages. Numerous underlinings and pencil notes present in the text. Text in English. Book in good condition.
ISBN Code: 0444876324
EAN: 9780444876324
Pages: 244
Format: Hardback
Dimensions (cm):
Height: 23
Description
The Ohio State University at Newark Ohio USA NORTH HOLLAND AMSTERDAM NEW YORK OXFORD Text in English. Text in English.
Product availability
Immediate availability
Ready for delivery within 2 working days from ordering the product.
Author: Stewart Shapiro
Code: LISCMA0274039
Information
Offers & PromotionsWithdrawal Form
Terms and Conditions
Privacy Policy
Cookie Policy
Update your Cookie Policy Preferences
Who we are
ContactsOur History
Di Mano in Mano Team
Our shops
Why choose Di Mano in Mano
Eviction Service
Shop Information
Di Mano in Mano Soc. Coop.
Register of Cooperative Companies at No. A114664
Contact us Now
Registered Office:
info@dimanoinmano.it
VAT Number: IT12896370157
Believe in Us
General Conditions of Use and Sale. Online dispute resolution according to Art. 14 (1) Regulation on consumer ODR.
European Commission provides a platform for online dispute resolutions (ODR) which can be accessed under: https://ec.europa.eu/consumers/odr/
We Ship With:
