Axiomatic Thinking II
portes grátis
Axiomatic Thinking II
Sommaruga, Giovanni; Kahle, Reinhard; Ferreira, Fernando
Springer Nature Switzerland AG
09/2022
287
Dura
Inglês
9783030777982
15 a 20 dias
623
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
mathematical logic;foundations of mathematics;history of mathematics and logic;general philosophy of science;philosophy of mathematics and logic
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
