Basic Set Theory| plato.stanford.edu
The weekly report on new and revised entries at online philosophy resources, new reviews of philosophy books, and new podcast episodes… (If you notice something missing from the weekly update, let us know. Thanks.) SEP New: ∅ Revised: Alexander Crummell by Stephen Thompson. Episteme and Techne by Richard Parry. Medieval Philosophy by John Marenbon. The| Daily Nous - news for & about the philosophy profession
1. Russell’s Chronology| plato.stanford.edu
We all know that we can use Haskell to write functional programs that compute stuff. But can we also use Haskell to write mathematical proofs? Yes!| Ascetic Slug