Zum Inhalt
Alle Apps

Gaußscher Graben — kein Weg ins Unendliche

Über diese App

Gaußsche Primzahlen als Trittsteine: Mit fester Schrittweite D zerfällt die Ebene in Inseln. Ein Wanderer läuft vom Ursprung bis an den Graben, ein periodisches Sieb zeigt die Beweisidee. Ergebnis aus openai/math (Familie 028, in Lean formalisiert): Für jedes D sind alle Inseln gleichmäßig beschränkt.

Fach: Offene Probleme, gelöst von KI

Mehr aus Offene Probleme, gelöst von KI

Eine VisuApp von heyprof: interaktiv, kostenlos im Browser, ohne Anmeldung. Was ist eine VisuApp? · Alle Apps