2021/01/11 by A. Skopenkov, Skopenkov, A. · 1 citation
Computer Science · #00A30 #01A65 #01A67 #01A80 #Computability, Logic, AI Algorithms #FOS: Mathematics #History and Overview (math.HO) #Logic, programming, and type systems #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2101.03745
openalex publication_date 2021/01/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.