Axiomatic Thinking II

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

in Springer Books from Springer

Date: 2022
ISBN: 978-3-030-77799-9
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 A Framework for Metamathematics

Lorenz Halbeisen

Ch Chapter 10 Axiomatic Thinking in Physics—Essence or Useless Ornament?

Domenico Giulini

Ch Chapter 11 Axiomatic Thinking—Applied to Religion

Paul Weingartner

Ch Chapter 2 Simplified Cut Elimination for Kripke-Platek Set Theory

Gerhard Jäger

Ch Chapter 3 On the Performance of Axiom Systems

Wolfram Pohlers

Ch Chapter 4 Well-Ordering Principles in Proof Theory and Reverse Mathematics

Michael Rathjen

Ch Chapter 5 Reflections on the Axiomatic Approach to Continuity

John L. Bell

Ch Chapter 6 Abstract Generality, Simplicity, Forgetting, and Discovery

Colin McLarty

Ch Chapter 7 Varieties of Infiniteness in the Existence of Infinitely Many Primes

Victor Pambuccian

Ch Chapter 8 Axiomatics as a Functional Strategy for Complex Proofs: The Case of Riemann Hypothesis

Jean Petitot

Ch Chapter 9 What is the Church-Turing Thesis?

Udi Boker and Nachum Dershowitz

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-77799-9

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

DOI: 10.1007/978-3-030-77799-9

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 ().