These are my links for February 26th through March 2nd: Practical Foundations of Mathematics – Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Economics of Information Technology – This is an overview of economic phenomena that are important for high-technology industries. Topics covered include personalization of […]
Daily Archives: March 2, 2010
1 post