On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Merle, Eric
Formato:	Recurso digital
Publicado:	Zenodo 2026
Materias:	Collatz conjecture 3x+1 problem Collatz cycles linear forms in logarithms Baker's theorem continued fractions irrationality measure formal verification Lean 4 Mathlib
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet