Explore >> Select a destination
|
You are here 
|
openlogicproject.org | ||
| | | | |
www.logicmatters.net
|
|
| | | | | A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...] | |
| | | | |
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
|
|
| | | | | "Our external physical reality is a mathematical structure." That's how Wikipedia sums up the cosmologist Max Tegmark's mathematical universe hypothesis. Looks as if some conceptual untangling is needed. Scott Aaronson makes a great start in a wonderful blogpost here. | |
| | | | |
fabricebaudoin.blog
|
|
| | | Peter Gustav Lejeune Dirichlet An introduction to Dirichlet spaces: Lecture notes The outline of those (unpolished) lecture notes is the following: Chapter 1: Semigroups Chapter 2: Markovian semigroups and Dirichlet forms Chapter 3: Dirichlet spaces with Gaussian or sub-Gaussian heat kernel estimates Chapter 4: Strictly local Dirichlet spaces Slides | ||
