howardcurry

4 ms·

1. 1.▲
   by howardcurry 7y ago

   Well, that's because you haven't made any submissions. The search only searches for stories (i.e. submissions) by default. Change the pulldown menu field that reads "stories" to read "comments" and it finds all
2. 2.▲
   by howardcurry 7y ago

   It doesn't find any stories, but if you search for comments, it finds things.
3. 3.▲
   by howardcurry 7y ago

   "Dr_Jefyll" works.
4. 4.▲
   by howardcurry 7y ago

   I don't agree that a-priori truths are limited to axioms—it's a much larger category of "necessary" truths. A theorem which has been proved is an a-priori truth. Sure, programs are proofs in the context of Curry-Howard.
5. 5.▲
   by howardcurry 7y ago

   This is a facetious comment that others have made: https://twitter.com/pigworker/status/913454521610842114 One issue that it glosses over is that in mathematics, the object of study is a-priori truths (and mathema