58 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Département d'InformatiqueFR8 papers
- Willow Biosciences (Canada)CA6 papers
- École Normale Supérieure - PSLFR5 papers
- Campo Arqueologico de MertolaPT3 papers
- Laboratoire d'Analyse et d'Architecture des SystèmesFR3 papers
- Courant Institute of Mathematical SciencesUS2 papers
- Getty Research InstituteUS2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR2 papers
- Meta (United States)US2 papers
- Carnegie Mellon UniversityUS1 paper
- Czech Technical University in PragueCZ1 paper
Showing 2003Show all
3 papers · 1 filter
math.GM2003★ 4 cited
The Collatz 3n+1 Conjecture is Unprovable
Craig Alan Feinstein
In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.
cs.CC2003
Machine-Checked Formalization of Earlier Arguments on versus Using Isabelle/HOL
Craig Alan Feinstein
This letter revisits an earlier argument concerning versus based on the SUBSET-SUM problem and examines its formalization in Isabelle/HOL. The formal dev…
math.GM2003
The Riemann Hypothesis is Unprovable
Craig Alan Feinstein
In this note, we give a simple proof that the Riemann Hypothesis is unprovable in any reasonable axiom system.