On different reliability standards in current mathematical research
A. Skopenkov
TL;DR
This paper discusses the importance of reliability standards in mathematical research and reviews how applying these standards can improve the quality and progress of mathematical publications.
Contribution
It introduces specific reliability standards for writing and reviewing mathematical papers and illustrates their application with examples.
Findings
Reliability standards are vital for mathematical progress.
Applying standards improves research quality.
Examples demonstrate effective implementation.
Abstract
In this note I describe reliability standards for writing and reviewing mathematical papers; these standards are (in my opinion) vital for the progress of mathematics. I give examples of applying the described or other reliability standards.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, programming, and type systems · semigroups and automata theory