/explore
|
You are here 
|
isene.com | ||
| | | | |
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... | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
electronut.in
|
|
| | | I was recently reading about Conway's Game of Life - a cellular automaton discovered by British mathematician John Conway in 1970. Using 4...Read More | ||
