Information and Knowledge: A Constructive Type-theoretical Approach
Giuseppe PrimieroThis 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.
Կատեգորիաներ:
Տարի:
2007
Հրատարակչություն:
Springer
Լեզու:
english
Էջեր:
215
ISBN 10:
1402061692
ISBN 13:
9781402061691
Սերիաներ:
Logic, Epistemology, and the Unity of Science, 10
Ֆայլ:
PDF, 1.56 MB
IPFS:
,
english, 2007
Այս գրքի ներբեռնումը հասանելի չէ՝ հեղինակային իրավունքի սեփականատիրոջ բողոքի համաձայն
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
Բացել որոնման արդյունքները
More benefits 
Հիմնական արտահայտություններ
Առնչվող հավաքածուներ
