國立虎尾科技大學 |

Mathesis Universalis, Computability and Proof

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathesis Universalis, Computability and Proof/ edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster.
其他作者:	Centrone, Stefania.
面頁冊數:	X, 374 p. 38 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-030-20447-1
ISBN:	9783030204471

Mathesis Universalis, Computability and Proof
Mathesis Universalis, Computability and Proof[electronic resource] /edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster. - 1st ed. 2019. - X, 374 p. 38 illus.online resource. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,4120166-6991 ;. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,359.

1. Introduction: Mathesis Universalis, Proof and Computation (Stefania Centrone) -- 2. Diplomacy of Trust in the European Crisis (Enno Aufderheide) -- 3. Mathesis Universalis and Homotopy Type Theory (Steve Awodey) -- 4. Note on the Benefit of Proof Representations by Name (Matthias Baaz) -- 5. Constructive Proofs of Negated Statements (Josef Berger and Gregor Svindland) -- 6. Constructivism in Abstract Mathematics (Ulrich Berger) -- 7. Addressing Circular Definitions via Systems of Proofs (Riccardo Bruni) -- 8. The Monotone Completeness Theorem in Constructive Reverse Mathematics (Hajime Ishihara and Takako Nemoto) -- 9. From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Gerhard Jäger and Silvia Steila) -- 10. Through an Inference Rule, Darkly (Roman Kuznets) -- 11. Objectivity and Truth in Mathematics: A Sober Non-Platonist Perspective (Godehard Link) -- 12. From Mathesis Universalis to Provability, Computability, and Constructivity (Klaus Mainzer) -- 13. Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus: a Survey (Pierluigi Minari) -- 14. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Thomas Powell) -- 15. The Concepts of Proof and Ground (Dag Prawitz) -- 16. On Relating Theories: Proof-Theoretical Reduction (Michael Rathjen and Michael Toppel) -- 17. Program Extraction from Proofs: the Fan Theorem for Uniformly Coconvex Bars (Helmut Schwichtenberg) -- 18. Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms (Jan von Plato) -- 19. Point-Free Spectra of Linear Spreads (Daniel Wessel). .

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. A rigorous 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.

ISBN: 9783030204471

Standard No.: 10.1007/978-3-030-20447-1doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Mathesis Universalis, Computability and Proof
LDR:05133nam a22004095i 4500 001 1005394
003 DE-He213
005 20200813130747.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030204471 $9 978-3-030-20447-1
024 7 $a 10.1007/978-3-030-20447-1 $2 doi
035 $a 978-3-030-20447-1
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Mathesis Universalis, Computability and Proof $h [electronic resource] / $c edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a X, 374 p. 38 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, $x 0166-6991 ; $v 412
505 0 $a 1. Introduction: Mathesis Universalis, Proof and Computation (Stefania Centrone) -- 2. Diplomacy of Trust in the European Crisis (Enno Aufderheide) -- 3. Mathesis Universalis and Homotopy Type Theory (Steve Awodey) -- 4. Note on the Benefit of Proof Representations by Name (Matthias Baaz) -- 5. Constructive Proofs of Negated Statements (Josef Berger and Gregor Svindland) -- 6. Constructivism in Abstract Mathematics (Ulrich Berger) -- 7. Addressing Circular Definitions via Systems of Proofs (Riccardo Bruni) -- 8. The Monotone Completeness Theorem in Constructive Reverse Mathematics (Hajime Ishihara and Takako Nemoto) -- 9. From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Gerhard Jäger and Silvia Steila) -- 10. Through an Inference Rule, Darkly (Roman Kuznets) -- 11. Objectivity and Truth in Mathematics: A Sober Non-Platonist Perspective (Godehard Link) -- 12. From Mathesis Universalis to Provability, Computability, and Constructivity (Klaus Mainzer) -- 13. Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus: a Survey (Pierluigi Minari) -- 14. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Thomas Powell) -- 15. The Concepts of Proof and Ground (Dag Prawitz) -- 16. On Relating Theories: Proof-Theoretical Reduction (Michael Rathjen and Michael Toppel) -- 17. Program Extraction from Proofs: the Fan Theorem for Uniformly Coconvex Bars (Helmut Schwichtenberg) -- 18. Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms (Jan von Plato) -- 19. Point-Free Spectra of Linear Spreads (Daniel Wessel). .
520 $a 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. A rigorous 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.
650 0 $a Logic. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Centrone, Stefania. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1201490
700 1 $a Negri, Sara. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 800167
700 1 $a Sarikaya, Deniz. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1298844
700 1 $a Schuster, Peter M. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1298845
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030204464
776 0 8 $i Printed edition: $z 9783030204488
776 0 8 $i Printed edition: $z 9783030204495
830 0 $a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, $x 0166-6991 ; $v 359 $3 1257256
856 4 0 $u https://doi.org/10.1007/978-3-030-20447-1
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)