Intensional Mathematics
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.