View related subjects
Lambda Calculus with Types
Barendregt/Dekkers/StatmanHardback$90.00Temporarily unavailable - no date availableUnavailable
New & forthcomingSee all
Mathematics seriesSee all
Mathematical Sciences Research Institute Publications
This series is based around work undertaken at the Mathematical Sciences Research Institute in Berkeley, California. It will contain workshop proceedings, as well as lecture notes and monographs by visitors to the Centre. Volumes 1-27 of this series…
From the Blog
Into the Intro: Why Is There Philosophy of Mathematics At All?
Chapter 1 A cartesian introduction 1 Proofs, applications, and other mathematical activities Why is there a whole field of inquiry, a discipline if you like, called the philosophy of mathematics? This unusual question, the very title of this boo…
Into the Intro: Who’s Bigger?
1. History’s Most Significant People People love lists: the Ten Commandments, the Seven Deadly Sins, and the Four Beatles. But they are fascinated by rankings, which are lists organized according to some measure of value or merit. Who…
Who’s Bigger?: The Math Behind Ranking Historical Figures
Steven Skiena answers our questions about the process of ranking historical figures. You can also check out a slideshow of the 100 most significant people in history according to the Who’s Bigger? algorithm on The Daily Caller.
Steven Weinberg Q&A
Steven Weinberg discusses his career, and his latest book, Lectures on Quantum Mechanics