Vista normal Vista MARC Vista ISBD

Treatise on Intuitionistic Type Theory [recurso electrónico] / by Johan Georg Granström, Johan Georg Granström.

Por: Granström, Johan Georg [author.]Colaborador(es): Granström, Johan Georg [author.] | SpringerLink (Online service)Tipo de material: Texto

TextoSeries Logic, Epistemology, and the Unity of Science ; 22Editor: Dordrecht : Springer Netherlands, 2011Descripción: XIV, 198 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9789400717367Tema(s): Philosophy (General) | Genetic epistemology | Logic | Logic design | Algorithms | Logic, Symbolic and mathematical | Philosophy | Epistemology | Mathematical Logic and Foundations | Logics and Meanings of Programs | Logic | History of Philosophy | AlgorithmsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 120 Clasificación LoC:BD143-237Recursos en línea: Libro electrónico Texto

En: Springer eBooksResumen: Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

Existencias ( 1 )
Notas de título ( 2 )

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libro Electrónico	Biblioteca Electrónica	Colección de Libros Electrónicos	BD143 -237 (Browse shelf(Abre debajo))	1	No para préstamo		378585-2001

Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	BD143 -237 Logic and Philosophy of Mathematics in the Early Husserl	BD143 -237 Causality, Meaningful Complexity and Embodied Cognition	BD143 -237 Dynamic Formal Epistemology	BD143 -237 Treatise on Intuitionistic Type Theory	BD300 -450 Theory and Applications of Ontology: Philosophical Perspectives	BD300 -450 Theory and Applications of Ontology: Computer Applications	BD581 Philosophy in Science	Siguiente

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.