Axiomatic Thinking I

Edited by Fernando Ferreira (), Reinhard Kahle () and Giovanni Sommaruga ()

in Springer Books from Springer

Date: 2022
ISBN: 978-3-030-77657-2
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Ch Chapter 1 Axiomatisches Denken

David Hilbert

Ch Chapter 10 Where Do Axioms Come From?

Craig Smoryński

Ch Chapter 11 Panel Discussion on the Foundations of Mathematics

Fernando Ferreira

Ch Chapter 2 Hilbert’s Axiomatisches Denken

Reinhard Kahle and Giovanni Sommaruga

Ch Chapter 3 Scope and Limits of Axiomatics

Paul Bernays

Ch Chapter 4 The Semantic Function of the Axiomatic Method

Evandro Agazzi

Ch Chapter 5 Aristotle’s Relations: An Interpretation in Combinatory Logic

Erwin Engeler

Ch Chapter 6 The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki

José Ferreirós

Ch Chapter 7 Notes for a Seminar in Axiomatic Reasoning

Barry Mazur

Ch Chapter 8 Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics

Peter Schroeder-Heister

Ch Chapter 9 Proofs as Objects

Wilfried Sieg

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-030-77657-2

Ordering information: This item can be ordered from
http://www.springer.com/9783030776572

DOI: 10.1007/978-3-030-77657-2

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().