/explore
|
You are here 
|
www.logicmatters.net | ||
| | | | |
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... | |
| | | | |
neilmadden.blog
|
|
| | | | | I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what... | |
| | | | |
carcinisation.com
|
|
| | | | | Gödel's theorems say something important about the limits of mathematical proof. Proofs in mathematics are (among other things) arguments. A typical mathematical argument may not be "inside" the universe it's saying something about. The Pythagorean theorem is a statement about the geometry of triangles, but it's hard to make a proof of it using nothing... | |
| | | | |
deniskyashif.com
|
|
| | | In this article we learn how to implement a simple and efficient regular expression engine following the Thompson's construction algorithm. | ||
