/explore
|
You are here 
|
www.lesswrong.com | ||
| | | | |
scottaaronson.blog
|
|
| | | | | Over at Theoretical Computer Science StackExchange, an entertaining debate has erupted about the meaning and validity of the Church-Turing Thesis. The prompt for this debate was a question asking for opinions about Peter Wegner and Dina Goldin's repetitive diatribes claiming to refute "the myth of the Church-Turing Thesis"---on the grounds that, you see, Turing machines... | |
| | | | |
www.biointelligence-explosion.com
|
|
| | | | | Do biological minds have a future? | |
| | | | |
rjlipton.com
|
|
| | | | | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a... | |
| | | | |
bartoszmilewski.com
|
|
| | | This is part of Categories for Programmers. Previously: Simple Algebraic Data Types. See the Table of Contents. At the risk of sounding like a broken record, I will say this about functors: A functor is a very simple but powerful idea. Category theory is just full of those simple but powerful ideas. A functor is... | ||
