Feferman on Foundations
-15%
portes grátis
Feferman on Foundations
Logic, Mathematics, Philosophy
Sieg, Wilfried; Jaeger, Gerhard
Springer International Publishing AG
04/2018
551
Dura
Inglês
9783319633329
15 a 20 dias
1105
Descrição não disponível.
Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic.- Model Theory .- Set Theory .- Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity .- Unfolding 2 .- Semi-constructive systems III. Axiomatic Foundations .- Explicit Mathematics and Operational Set Theory .- Theories of Truth .- Foundations of Category Theory IV. From Logic to Philosophy .- What is Logic? .- Foundational Ways .- Goedel, Minds and Machines .- New Axioms and the Continuum Problem .- Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Goedel, Minds and Machines;foundations of category theory;model theory;new axioms and the continuum problem;predicativity;set theory
Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic.- Model Theory .- Set Theory .- Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity .- Unfolding 2 .- Semi-constructive systems III. Axiomatic Foundations .- Explicit Mathematics and Operational Set Theory .- Theories of Truth .- Foundations of Category Theory IV. From Logic to Philosophy .- What is Logic? .- Foundational Ways .- Goedel, Minds and Machines .- New Axioms and the Continuum Problem .- Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
