Explore >> Select a destination
|
You are here 
|
aperiodical.com | ||
| | | | |
engineering.virginia.edu
|
|
| | | | | A team of University of Virginia researchers released the first-ever database of hurricane evacuation orders in the United States. | |
| | | | |
inventingsituations.net
|
|
| | | | | I've just finished reading 'Turing's Cathedral,' an absolutely fascinating book on early computing. The book focuses almost entirely on John von Neumann's 'Electronic Computer Project' carried out at the Institute of Advanced Study in the 40's and 50's. In fact, Turing makes only occasional and brief appearances in the book: it's almost entirely a portrait... | |
| | | | |
www.approximatelycorrect.com
|
|
| | | | | Last week, I flew from London to Tel Aviv. The man sitting to my right was a road warrior, just this side of a late-night bender in London. He was rocking an ostentatious pair of | |
| | | | |
xorshammer.com
|
|
| | | Let $latex \mathrm{PA}$ be Peano Arithmetic. Gödel's Second Incompleteness Theorem says that no consistent theory $latex T$ extending $latex \mathrm{PA}$ can prove its own consistency. (I'll write $latex \mathrm{Con}(T)$ for the statement asserting $latex T$'s consistency; more on this later.) In particular, $latex \mathrm{PA} + \mathrm{Con}(\mathrm{PA})$ is stronger than $latex \mathrm{PA}$. But certainly, given that... | ||
