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