Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Axiomatic Thinking I
Langbeschreibung
The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Inhaltsverzeichnis
Volume 1: History and Philosophy.- Axiomatisches Denken.- Part I: History and Philosophy.- Hilbert's Axiomatisches Denken.- Scope and Limits of Axiomatics.- The Semantic Function of the Axiomatic Method.- Aristotle's Relations: An Interpretation in Combinatory Logic.- The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki.- Notes for a Seminar in Axiomatic Reasoning.- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics.- Proofs as Objects.- Where Do Axioms Come From?.- Panel Discussion on the Foundations of Mathematics.
Fernando Ferreira is Professor of Mathematics at Universidade de Lisboa. He received his Ph.D. at Pennsylvania State University in 1988 under the direction of Stephen Simpson. He was a Fulbright Scholar at Harvard University (Spring 2004) and Tinker Visiting Professor at Stanford University (Fall 2009). He has written papers on weak systems of arithmetic and analysis, proof theory (especially functional interpretations) and the philosophy and foundations of mathematics. He also wrote two papers on the problem of truth in Parmenides and Plato. He is a corresponding member of the Academia das Ciências de Lisboa.
ISBN-13:
9783030776572
Veröffentl:
2022
Seiten:
205
Autor:
Fernando Ferreira
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
96,29 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.