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.
Inhaltsverzeichnis
Volume 2: Logic, Mathematics, and other Sciences.- Part II: Logic.- A Framework for Metamathematics.- Simplified Cut Elimination for Kripke-Platek Set Theory.- On the Performance of Axiom Systems.- Well-Ordering Priciples in Proof Theory and Reverse Mathematics.- Part III: Mathematics.- Reflections on the Axiomatic Approach to Continuity.- Abstract Generality, Simplicity, Forgetting, and Discovery.- Varieties of Infiniteness in the Existence of Infinitely Many Primes.- Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis.- Part IV: Other Sciences.- What is the Church-Turing Thesis?.- Axiomatic Thinking in Physics--Essence or Useless Ornament?.- Axiomatic Thinking--Applied to Religion.