Mathesis Universalis, Computability and Proof PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Mathesis Universalis, Computability and Proof PDF full book. Access full book title Mathesis Universalis, Computability and Proof by Stefania Centrone. Download full books in PDF and EPUB format.
Author: Stefania Centrone Publisher: Springer Nature ISBN: 3030204472 Category : Philosophy Languages : en Pages : 375
Book Description
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between “arbitrary objects” (“objets quelconques”). It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” (“Gründe”) of others, and the latter are “consequences” (“Folgen”) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.
Author: Stefania Centrone Publisher: Springer Nature ISBN: 3030204472 Category : Philosophy Languages : en Pages : 375
Book Description
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between “arbitrary objects” (“objets quelconques”). It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” (“Gründe”) of others, and the latter are “consequences” (“Folgen”) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.
Author: Julius Firmicus Maternus Publisher: American Federation of Astrologers ISBN: 9780866906432 Category : Body, Mind & Spirit Languages : en Pages : 620
Book Description
This book contains a translation of the Eight Books of the Mathesis by the 4th century astrologer Julius Firmicus Maternus along with some useful Indexes of Occupations, the Causes of Death, and Personal Characteristics. Book I: An essay on what astrology is Book II: The twelve signs Book III: Aspects and house placement of planets Book IV: Chart Interpretation Book V: The angles and the terms Book VI: The aspects Book VII: Life and death Book VIII: The degrees of the signs The translator, James H. Holden, is a well respected astrological scholar who has translated more than twenty astrology books that were written between the 2nd and 17th centuries. He is also the author of A History of Horoscopic Astrology.
Author: Arielle Saiber Publisher: Routledge ISBN: 1351933671 Category : Literary Criticism Languages : en Pages : 401
Book Description
Giordano Bruno and the Geometry of Language brings to the fore a sixteenth-century philosopher's role in early modern Europe as a bridge between science and literature, or more specifically, between the spatial paradigm of geometry and that of language. Arielle Saiber examines how, to invite what Bruno believed to be an infinite universe-its qualities and vicissitudes-into the world of language, Bruno forged a system of 'figurative' vocabularies: number, form, space, and word. This verbal and symbolic system in which geometric figures are seen to underlie rhetorical figures, is what Saiber calls 'geometric rhetoric.' Through analysis of Bruno's writings, Saiber shows how Bruno's writing necessitates a crafting of space, and is, in essence, a lexicon of spatial concepts. This study constitutes an original contribution both to scholarship on Bruno and to the fields of early modern scientific and literary studies. It also addresses the broader question of what role geometry has in the formation of any language and literature of any place and time.
Author: David W. Wood Publisher: Brill Rodopi ISBN: 9789042034914 Category : Mathematics Languages : en Pages : 304
Book Description
This is the first major study in any language on J.G. Fichte's philosophy of mathematics and theory of geometry. It investigates both the external formal and internal cognitive parallels between the axioms, intuitions and constructions of geometry and the scientific methodology of the Fichtean system of philosophy. In contrast to "ordinary" Euclidean geometry, in his "Erlanger Logik "of 1805 Fichte posits a model of an "ursprungliche" or original geometry - that is to say, a synthetic and constructivistic conception grounded in ideal archetypal elements that are grasped through geometrical or intelligible intuition. Accordingly, this study classifies Fichte's philosophy of mathematics as a whole as a species of mathematical Platonism or neo-Platonism, and concludes that the "Wissenschaftslehre "itself may be read as an attempt at a new philosophical mathesis, or "mathesis of the mind." "This work testifies to the author's exact and extensive knowledge of the Fichtean texts, as well as of the philosophical, scientific and historical contexts. Wood has opened up completely new paths for Fichte research, and examines with clarity and precision a domain that up to now has hardly been researched." Professor Dr. Marco Ivaldo (University of Naples) "This study, written in a language distinguished by its limpidity and precision, and constantly supported by a close reading of the Fichtean texts and secondary literature, furnishes highly detailed and convincing demonstrations. In directly confronting the difficult historical relationship between the "Wissenschaftslehre "and mathematics, the author has broken new ground that is at once stimulating, decidedly innovative, and elegantly audacious." Professor Dr. Emmanuel Cattin (Universite Blaise-Pascal, Clermont-Ferrand)
Author: Stefania Centrone
Author: Stefania Centrone
Author: Julius Firmicus Maternus
Author: 
Author: 
Author: Arielle Saiber
Author: Royal Society (Great Britain)
Author: David W. Wood
Author: Royal Society (Great Britain)
Author: Royal Society (Great Britain)
Author: Royal Society (Great Britain)