cokernel

12 ms·

1. 121.▲
   by cokernel 13y ago

   It's hackers all the way down.
2. 122.▲
   by cokernel 13y ago

   In linear algebra, lines are sets of points, but in modern geometry, points and lines remain undefined terms, implicitly defined by their incidence relations (which points are "on" which lines). You may find the Fano plane (a thre
3. 123.▲
   by cokernel 13y ago

   To be fair to the author, he does discuss Robinson's approach to infinitesimals (but not Skolem's) in the very next paragraph.
4. 124.▲
   by cokernel 13y ago

   The two blog posts by Gowers are attempting to provide an exposition of the Razborov--Rudich paper "Natural Proofs" ( http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.... ). One way to try to prove t
5. 125.▲
   by cokernel 13y ago

   Thanks, that helped me put the article into better context.
6. 126.▲
   by cokernel 13y ago

   If I'm starting a company, don't I want R and E to satisfy an inequality (and one in a particular direction) instead of an equation? More seriously, Excel has many problems that make it unsuitable for anything that might require s
7. 127.▲
   Name-to-Thing (N2T) Resolver (2007)(n2t.net)

   1 points by cokernel 13y ago|0 comments
8. 128.▲
   by cokernel 13y ago

   The comet only appears to explode because of a coronal mass ejection. The article attributes the coronal mass ejection to "an explosion on the other side of the star" and suggests that the timing was coincidental. It's unfo