Buchumschlag

Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Joachim Frans
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad del País Vasco/Euskal Herriko Unibertsitatea 2014
Schlagworte:	Filosofía absolutism reliability fallibilism Mathematical proof publication process
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Assessment of components of operational reliability in walk- in freezer
von: Reinaldo Ihosvanny Benítez-Montalvo
Veröffentlicht: (2016)

Knowledge of mathematics teachers in initial training regarding mathematical proofs: Logic-mathematical aspects in the evaluation of arguments
von: Christian Alfaro-Carvajal
Veröffentlicht: (2022)

Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs
von: Joke MEHEUS
Veröffentlicht: (2007)

Information Flow Complexity Theory: A Comprehensive Mathematical Framework
von: Kilpatrick, Christian
Veröffentlicht: (2025)

The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system
von: Francesco Callari
Veröffentlicht: (2021)

ENI6MA vs. AZTEC: Rosario–Wang Proof (RWP) — a pairing-free proof-of-knowledge vs. Aztec ZKP
von: Rosario, Frank
Veröffentlicht: (2025)

Lightning effects on distribution transformers and reliability of power distribution systems in Colombia
von: D. Aranguren
Veröffentlicht: (2015)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
von: Proof Engine
Veröffentlicht: (2026)

Validation Study of the Scale for Assessment of the Teaching-Learning Process, Student Version (ATLP-S)
von: Jesús de la Fuente
Veröffentlicht: (2010)

Conversations on Mind, Matter, and Mathematics. Jean-Pierre Changeux and Alain Connes. Edited and translated by M. B. DeBevoise. Princeton, New Jersey: Princeton University Press, 1995, 261 p.; 15 x 22 cm. Glossary + Index. Language: English. ISBN: 0-691-08759-8.
von: Marek Antoniak
Veröffentlicht: (2013)

A Novel Versatile Method of Generating Soft Halftone Proofs
von: Dr.Pradeep Kundu
Veröffentlicht: (2024)

Analysis geostatistics of earthquake-proof parameters and of construction in a road sector of high vertical growing
von: José Andrés Zabala Rosales
Veröffentlicht: (2008)

Reliability analysis of respirators based on the analytic hierarchy process and multicriteria decision-making
von: Mohammadi, Abbas, et al.
Veröffentlicht: (2024)

More efficient proof-search for sequents of temporal logic
von: Romas Alonderis
Veröffentlicht: (2022)

Proof of Intent Consensus
von: Andrews, Ronald Jason
Veröffentlicht: (2026)

Translation, cross-cultural adaptation and analysis of the psychometric properties of the lower extremity functional scale (LEFS): LEFS- BRAZIL
von: Ligia M. Pereira
Veröffentlicht: (2013)

Fermat's Last Theorem: An Elementary Proof via Factorization and the Reconstruction of Fermat's Original Insight
von: ACOSTA PADILLA, ALFREDO LUIS
Veröffentlicht: (2025)

Arithmetic Extermination II–IV: Rigorous Descent Proofs for Fermat's Last Theorem in the Energy-Lattice Framework
von: scott, eron
Veröffentlicht: (2025)

Product reliability and warranty: an overview and future research
von: D.N.P. Murthy
Veröffentlicht: (2007)

Proof and Proving in Mathematics Education
Veröffentlicht: (2021)

Enhancing Information Flow in a Retail Supply Chain Using RFID and the EPC Network: A Proof-of-Concept Approach
von: Harold Boeck
Veröffentlicht: (2008)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Time-Series Forecasting Models in Public Health Surveillance Systems in Senegal: A Methodological Assessment
von: Baker, Ronald, et al.
Veröffentlicht: (2014)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
von: Salhab, Najih
Veröffentlicht: (2026)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
von: Matsuua, Yoshihito
Veröffentlicht: (2025)

Current state of the application of artificial intelligence in reliability and maintenance
von: Slavko J. Pokorni
Veröffentlicht: (2021)

The Origins of Scientific Evidence: Salvatore Ottolenghi’s Police School
von: Loredana Garlati
Veröffentlicht: (2021)

Management of Innovation in Academia: A Case Study in Tampere
von: Tuomo Heinonen
Veröffentlicht: (2015)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Yang--Mills Mass gap solution for clay
von: Hoey, BENJAMIN
Veröffentlicht: (2026)

The Tension between the Problem of Unconceived Alternatives and Epistemic Instrumentalism
von: Lisa Zorzato
Veröffentlicht: (2022)

Data-driven reliability and availability of electronic equipment
von: Slavko J. Pokorni
Veröffentlicht: (2023)

Estimating the Discounted Warranty Cost of a Minimally Repaired Coherent System
von: Nelfi Gertrudis González
Veröffentlicht: (2011)

Accuracy and reliability of the Pfeffer Questionnaire for the Brazilian elderly population
von: Marina Carneiro Dutra
Veröffentlicht: (2015)

Internal and inter-rater reliability of the ASQ-3 in Mexican preschoolers
von: Silvia Ortiz-León
Veröffentlicht: (2018)

P-D Effects on the Reliability of Oil Offshore Jacket Platforms in Mexico
von: D. De León-Escobedo
Veröffentlicht: (2012)