/explore
|
You are here 
|
rjlipton.com | ||
| | | | |
windowsontheory.org
(Also available as a pdf file. Apologies for the many footnotes, feel free to skip them.) Computational problems come in all different types and from all kinds of applications, arising from engineering as well the mathematical, natural, and social sciences, and involving abstractions such as graphs, strings, numbers, and more. The universe of potential algorithms... |
|
| | | | | ||
| | | | |
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 |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
www.cs.uic.edu
|
|
| | | |||
