Information and Knowledge: A Constructive Type-Theoretical Approach by Giuseppe Primiero

Information and Knowledge: A Constructive Type-Theoretical Approach

Logic, Epistemology, and the Unity of Science

Giuseppe Primiero

208 pages • missing pub info (editions)

nonfiction mathematics philosophy challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...