Explore >> Select a destination
|
You are here 
|
consequently.org | ||
| | | | |
www.logicmatters.net
|
|
| | | | | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...] | |
| | | | |
www.logicmatters.net
|
|
| | | | | As I said, I'd like to put together a second edition of Beginning Mathematical Logic: A Study Guide. So to that end I'm planning to revisit some of the more introductory books that should (or maybe should not) get more attention in the Guide. I've stacked a pile of a dozen texts on my desk [...] | |
| | | | |
jdh.hamkins.org
|
|
| | | | | Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o... | |
| | | | |
jeremykun.wordpress.com
|
|
| | | We assume the reader is familiar with the concepts of determinism and finite automata, or has read the corresponding primer on this blog. The Mother of All Computers Last time we saw some models for computation, and saw in turn how limited they were. Now, we open Pandrora's hard drive: Definition: A Turing machineis a... | ||
