Giuseppe Primiero
Springer Netherlands
2008e druk, 2007
9781402061691
Information and Knowledge
A Constructive Type-theoretical Approach
Specificaties
Gebonden, 208 blz.
|
Engels
Springer Netherlands |
2008e druk, 2007
ISBN13: 9781402061691
Rubricering
Onderdeel van serie
Logic, Epistemology, and the Unity of Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.
Specificaties
ISBN13:9781402061691
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:208
Uitgever:Springer Netherlands
Druk:2008
Hoofdrubriek:Mens en maatschappij
Inhoudsopgave
Constructive Type Theory: Foundation and Formalization.- Analyticity and Information.- Formal Representation of the Notion of Information.- Constructive Philosophy of Information.
