Simon Fraser University

Possible Worlds: An Introduction to

An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...
mccormick.northwestern.edu

Examining the Intersection of Machine Learning and Mathematical Logic

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...
Quanta Magazine

The Deep Link Equating Math Proofs and Computer Programs

Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...
lse

Advanced Logic

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics, BSc in Politics and Philosophy, Erasmus ...