|
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... | |
| | | | |
www.thebigquestions.com
|
|
| | | | | ||
| | | | |
aeon.co
|
|
| | | | | Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task | |
| | | | |
jdh.hamkins.org
|
|
| | | I'd like to share a simple proof I've discovered recently of a surprising fact: there is a universal algorithm, capable of computing any given function! Wait, what? What on earth do I ... | ||