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 of your…
It doesn't find any stories, but if you search for comments, it finds things.
"Dr_Jefyll" works.
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.…
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…
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 of your…
It doesn't find any stories, but if you search for comments, it finds things.
"Dr_Jefyll" works.
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.…
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…