Logic, Philosophy, and History of the Lambda-Calculus
portes grátis
Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Zerpa, Levis
Springer International Publishing AG
01/2025
358
Dura
9783031728501
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Part I Introduction.- 1 General Introduction and Motivation.- Part II: The Logic and Philosophy of the Lambda-Calculus: Lambda-Philosophy.- 2 Lambda-Philosophy: The General Program.- 3 The ?-Calculus as a Solution to a Problem of Philosophical Analysis.- 4 The ?-Calculus as a Formal System of Symbolic Logic and the Container Notation.- Part III: Two Applications: Arithmetic and Propositional Logic.- 5 The Container Notation in the ?-Calculus (1): Arithmetic.- 6 The Container Notation in the ?-Calculus (2): Propositional Logic.- Part IV: The Philosophy of Computer Science and Computability Theory in Lambda-Philosophy.- 7 Questioning a Dogma of Algorithmic Thinking in Our Time.- Part V: Ontology in Lambda-Philosophy.- 8 The Criterion of Ontological Commitment as a Logical Tester in Ontology.- 9 Church's Ontological Development.- 10 Compiler Output as a Programming Tester in Ontology.- Part VI: The History of The Lambda-Calculus: Three Comparative Studies.- 11 Comparative Historical Studies (0): Introduction.- 12 Comparative Historical Studies (1): Viete's Analytic Art in ?-Philosophy.- 13 Comparative Historical Studies (2): A Brief Analysis of Descartes' Correlation-Hypothesis and Church's Thesis.- 14 Comparative Historical Studies (3): Wittgenstein Anticipation of Church Numerals.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Lambda-calculus;Analytic philosophy;Alonzo Church;Symbolic logic;Linguistics
Part I Introduction.- 1 General Introduction and Motivation.- Part II: The Logic and Philosophy of the Lambda-Calculus: Lambda-Philosophy.- 2 Lambda-Philosophy: The General Program.- 3 The ?-Calculus as a Solution to a Problem of Philosophical Analysis.- 4 The ?-Calculus as a Formal System of Symbolic Logic and the Container Notation.- Part III: Two Applications: Arithmetic and Propositional Logic.- 5 The Container Notation in the ?-Calculus (1): Arithmetic.- 6 The Container Notation in the ?-Calculus (2): Propositional Logic.- Part IV: The Philosophy of Computer Science and Computability Theory in Lambda-Philosophy.- 7 Questioning a Dogma of Algorithmic Thinking in Our Time.- Part V: Ontology in Lambda-Philosophy.- 8 The Criterion of Ontological Commitment as a Logical Tester in Ontology.- 9 Church's Ontological Development.- 10 Compiler Output as a Programming Tester in Ontology.- Part VI: The History of The Lambda-Calculus: Three Comparative Studies.- 11 Comparative Historical Studies (0): Introduction.- 12 Comparative Historical Studies (1): Viete's Analytic Art in ?-Philosophy.- 13 Comparative Historical Studies (2): A Brief Analysis of Descartes' Correlation-Hypothesis and Church's Thesis.- 14 Comparative Historical Studies (3): Wittgenstein Anticipation of Church Numerals.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
