3 ms·
> If it were foundational it would be peer reviewed in a journal article, not posted on a blog. What I think you are doing here is to DEFINE "foundational work
by mcherm 2y ago
> If it were foundational it would be peer reviewed in a journal article, not posted on a blog.
What I think you are doing here is to DEFINE "foundational work" as something that gets published in a journal.
I don't mind if you use that definition, but if you do then the fact that all foundational work is published in journals is not insightful or informative, it is merely the definition.
If, on the other hand, you intended for the statement to say something meaningful about how important scientific and mathematical work is communicated, then you need a different definition of "foundational". And you would have to look to that definition to decide whether this work was foundational, because if it was then it disproves your hypothesis: it would be a counter example that illustrates that some foundational work is shared in places other than journals.
- im3w1l 2y agoTo me, figuring out the halting behavior of small turing machines is similar in spirit going over all short logical propositions and trying to determine if they are true or not. Like it sounds like it could end up being useful somehow.
- j2kun 2y agoIn typical mathematical style, a good definition comes from the properties you observe and desire to hold true in your axiomatic system.