Then Darpa turns around, and sponsors a new project to "develop a mathematical theory to build a functional model of the brain." It's one of 23 "mathematical challenges" issued today by the agency.

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; general methodological problems of science, of induction and probability, ...