Post #2667997
2026-05-09 14:56 UTC
@mc@mathstodon.xyz If the contribution is the formalization, there are journals for that. In other publication venues, the main contribution should be something else, supported by the increased certainty of formalization.
Unless the formalization teaches us something new, and that's the main point. But that's getting considerably harder to achieve.
In general I see the point of publishing as teaching the readers something new, of interest.
Replies (1)
-
@JacquesC2@types.pl 2026-05-09 14:57
@mc@mathstodon.xyz But of course, in some disciplines, doing an experiment that has never been done, collecting and analyzing the data, and publishing that, is regarded as valuable and new.