A replication crisis in mathematics?

DOI10.1007/S00283-020-10037-7MaRDI QIDQ2154145zbMATH OpenOpenAlexFDO

Authors Anthony Bordg

Publication date 14 July 2022

Published in The Mathematical Intelligencer (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00283-020-10037-7

Mathematics Subject Classification ID

Sociology (and profession) of mathematics (01A80)

Cites work

• scientific article; zbMATH DE number 2115043 (Why is no real title available?)
• Formal proof
• Inter-universal Teichmüller theory. IV: Log-volume computations and set-theoretic foundations
• Linear Programs for the Kepler Conjecture
• On proof and progress in mathematics
• Proofs from THE BOOK. Including illustrations by Karl H. Hofmann
• Theorem Proving in Higher Order Logics
• Theory of dependent types and axiom of univalence

This page was built for publication: A replication crisis in mathematics?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154145)