Buch, Englisch, 396 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 776 g
Reihe: Sources and Studies in the History of Mathematics and Physical Sciences
Buch, Englisch, 396 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 776 g
Reihe: Sources and Studies in the History of Mathematics and Physical Sciences
ISBN: 978-3-030-76958-1
Verlag: Springer International Publishing
This volume is divided into five parts, ordered in decreasing size of the linguistic units involved. The first part describes the three stylistic codes of Greek mathematics; the second expounds in detail the mechanism of "validation"; the third deals with the status of mathematical objects and the problem of mathematical generality; the fourth analyzes the main features of the "deductive machine," i.e. the suprasentential logical system dictated by the traditional division of a mathematical proposition into enunciation, setting-out, construction, and proof; and the fifth deals with the sentential logical system of a mathematical proposition, with special emphasis on quantification, modalities, and connectors. A number of complementary appendices are included as well.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
1. The Three Stylistic Codes of Greek Mathematics.- 2. Validation and Templates.- 3. The Problem of Mathematical Generality.- 4. The Deductive Machine.- 5. The Logical Syntax.- Appendices.- Bibliography.- Indices.