Buch, Englisch, 208 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 341 g
A Constructive Type-theoretical Approach
Buch, Englisch, 208 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 341 g
Reihe: Logic, Epistemology, and the Unity of Science
ISBN: 978-90-481-7556-7
Verlag: Springer Netherlands
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Geisteswissenschaften Philosophie Philosophie: Allgemeines, Methoden
- Geisteswissenschaften Philosophie Erkenntnistheorie
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
Weitere Infos & Material
Constructive Type Theory: Foundation and Formalization.- Analyticity and Information.- Formal Representation of the Notion of Information.- Constructive Philosophy of Information.
