🔢 mathematics

An Intuitionistic Glance at Primes

Diese Arbeit liefert eine beweistheoretische Darstellung in der intuitionistischen Logik, die zeigt, dass die Klassifizierung positiver Ganzzahlen in 1, Primzahlen und zusammengesetzte Zahlen mittels beschränkter Suchen entscheidbar ist, was zu einem rekursiven Sieb, einer Charakterisierung der modularen Kancellation und einer Unterscheidung zwischen dem, was die Heytingsche Arithmetik intern beweist, und dem, was auf der Standardinterpretation der natürlichen Zahlen beruht, führt.

Ursprüngliche Autoren: Milan Rosko

Veröffentlicht 2026-07-15

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Milan Rosko

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, einen riesigen Haufen Zahlen in drei verschiedene Boxen zu sortieren: Die Einheit, Die Primzahlen und Die Zusammengesetzten. Die meisten Menschen denken, das sei nur ein mathematisches Spiel, aber dieses Papier, geschrieben von Milan Rosko im Juli 2026, stellt eine tiefere Frage: Wie beweisen wir eigentlich, dass eine Zahl in eine Box gehört, ohne einfach nur zu raten?

Das Papier argumentiert, dass in der Welt der „intuitionistischen Logik“ (ein strenger Denkstil, bei dem man seine Arbeit zeigen muss, anstatt nur zu behaupten, etwas sei wahr) die Art und Weise, wie man beweist, dass eine Zahl eine „zusammengesetzte Zahl“ ist, sich völlig von der Art unterscheidet, wie man beweist, dass sie eine „Primzahl“ ist.

Die zwei Detektiv-Stile: Finden vs. Erschöpfen

Betrachten wir die Zahl 6. Um zu beweisen, dass sie eine zusammengesetzte Zahl ist, müssen Sie nur ein Paar Freunde finden, die miteinander multipliziert 6 ergeben. Sie rufen: „Aha! 2 mal 3 ist 6!“ Sie haben einen positiven Zeugen. Sie haben den Beweis gefunden. Das nennt das Papier eine „existenzielle“ Suche. Es ist wie das Finden eines verlorenen Schlüssels; sobald man ihn sieht, ist die Aufgabe erledigt.

Betrachten wir nun die Zahl 5. Um zu beweisen, dass sie eine Primzahl ist, können Sie nicht einfach einen Freund finden; Sie müssen beweisen, dass sie keine Freunde hat (außer 1 und sich selbst). Sie müssen jeden einzelnen möglichen Paarkombinationen von Zahlen prüfen, die 5 multiplizieren könnten, und zeigen, dass keine von ihnen funktioniert. Sie müssen die gesamte Liste der Verdächtigen erschöpfen. Das Papier nennt dies eine „begrenzte Widerlegung“. Sie beweisen eine Primzahl, indem Sie einen „Mangel an innerer Faktorisierung“ aufzeigen.

Die große Erkenntnis: Das Papier beweist, dass Sie für jede Zahl, die Sie wählen, immer entscheiden können, in welche Box sie gehört. Sie müssen nicht raten. Sie führen einfach eine endliche Suche durch. Wenn Sie ein Faktorenpaar finden, ist sie eine zusammengesetzte Zahl. Wenn Sie jedes mögliche Paar bis zu dieser Zahl überprüft haben und nichts gefunden haben, ist sie eine Primzahl. Die „Einheit“ (die Zahl 1) ist ein Sonderfall, der in keine der beiden Boxen passt.

Das „Catcher“-Spiel und das Sieb

Das Papier führt ein unterhaltsames Spiel namens „Finite Catcher“ ein. Stellen Sie sich ein Netz vor, das aus ein paar spezifischen Zahlen besteht (wie 2 und 3). Sie werfen eine zusammengesetzte Zahl auf das Netz. Wenn die Zahl aus 2ern und 3ern besteht (wie 6 oder 12), fängt das Netz sie auf. Aber wenn Sie eine Zahl wie 25 werfen, verfehlt das Netz sie! Warum? Weil 25 aus 5ern besteht, und Ihr Netz besitzt keine 5.

Das Papier beschreibt einen cleveren Trick namens „Euclidean Escape“. Egal wie groß Ihr Netz ist, man kann immer eine Zahl konstruieren, die genau durch die Löcher schlüpft. Dies beweist, dass man niemals alle zusammengesetzten Zahlen mit einem endlichen Netz einfangen kann.

Wie fangen wir also alle? Das Papier beschreibt ein „Rekursives Sieb“.

Beginnen Sie mit einem leeren Netz.
Werfen Sie Zahlen auf es. Die erste Zahl, die überlebt (durchschlüpft), ist 2.
Da die 2 überlebt hat, wissen wir, dass sie eine Primzahl ist. Also fügen wir die 2 zu unserem Netz hinzu.
Jetzt werfen Sie Zahlen auf das neue Netz (das Vielfache von 2 auffängt). Die nächste Überlebende ist 3. Fügen Sie 3 zum Netz hinzu.
Machen Sie so weiter. Die nächste Überlebende ist 5, dann 7 und so weiter.

Dieser Prozess baut die Liste der Primzahlen Schritt für Schritt auf. Das Papier beweist, dass die erste zusammengesetzte Zahl, die immer durch ein Netz aus den ersten $k$ Primzahlen schlüpft, das Quadrat der nächsten Primzahl ist (wie $5^2 = 25$ ).

Was das Papier ausschließt (Die „No-Go“-Zonen)

Das Papier ist sehr vorsichtig damit, was es nicht behauptet.

Es schließt die Vorstellung aus, dass „Nicht Prim“ automatisch „Zusammengesetzt“ für die Zahl 1 bedeutet. In dieser strengen Logik ist die 1 eine eigene spezielle Kategorie. Man kann nicht einfach sagen: „Sie ist nicht prim, also muss sie zusammengesetzt sein.“ Sie ist weder noch.
Es argumentiert gegen die Idee, dass wir eine einzige, perfekte „Universelle Maschine“ haben können, die jede mathematische Wahrheit sofort entscheidet. Das Papier nutzt ein berühmtes Resultat namens Rice’s Theorem, um zu zeigen, dass wir zwar spezifische Zahlen prüfen können (wie „Ist 25 zusammengesetzt?“), aber wir keine einzelne Maschine bauen können, die die Wahrheit jeder möglichen Zahlenfolge entscheidet (wie „Gibt es unendlich viele Primzahlzwillinge?“), indem sie nur den Code betrachtet.
Es lehnt die Idee ab, dass der Beweis einer Primzahl innerhalb eines mathematischen Systems dasselbe ist wie der Beweis, dass sie den „echten“ Zahlen entspricht, die wir im Leben verwenden. Das Papier unterscheidet zwischen den Regeln des Spiels (Syntax) und der Bedeutung des Spiels (Semantik). Ein Computer kann die Regeln perfekt befolgen und beweisen, dass eine Zahl prim ist, aber das bedeutet nicht automatisch, dass er versteht, was „prim“ in der realen Welt bedeutet. Das erfordert einen zusätzlichen Schritt der Interpretation.

Wie sicher sind wir?

Das Papier ist mathematisch bewiesen, nicht nur simuliert oder vorgeschlagen.

Die Klassifizierung von Zahlen (1, Prim, Zusammengesetzt) ist entscheidbar. Das bedeutet, es gibt ein garantiertes, schrittweises Rezept, das für jede Zahl, die man ihm füttert, immer das richtige Ergebnis liefert.
Die „Sieb“-Methode ist konstruktiv. Sie sagt nicht nur, dass Primzahlen existieren; sie zeigt Ihnen genau, wie Sie sie Schritt für Schritt aufbauen.
Die Grenzen, die es diskutiert (wie die Unfähigkeit einer universellen Maschine für alle Muster), sind strenge Beweise basierend auf etablierter Logik (Gödels Unvollständigkeitssätze und Rice’s Theorem).

Die „Fata Morgana“ der Primzahlen

Das Papier endet mit einer wunderschönen Metapher. Es sagt, dass zusammengesetzte Zahlen wie eine solide Wand sind, die durch das Multiplizieren von Zahlen gebaut wurde. Primzahlen sind die Löcher in dieser Wand.

Eine zusammengesetzte Zahl ist leicht zu erkennen, weil man die Steine (die Faktoren) sehen kann, die sie zusammenhalten.
Eine Primzahl wird dadurch definiert, was sie nicht ist. Sie ist ein Loch, in das keine Steine passen.

Das Papier kommt zu dem Schluss, dass wir zwar jedes einzelne Loch leicht überprüfen können, um zu sehen, ob es ein Loch ist (da die Suche endlich ist), aber das Muster aller Löcher zusammen bleibt ein Mysterium. Wir können kleine Abschnitte der Wand verifizieren, aber das unendliche Muster, wo die Löcher liegen, bleibt eine „Fata Morgana“, die wir nicht vollständig mit einer einzigen, einfachen Regel erfassen können.

Kurz gesagt: Wir haben eine perfekte, funktionierende Taschenlampe, um jede einzelne Zahl zu prüfen. Aber die Karte des gesamten unendlichen Waldes der Zahlen? Das ist eine andere Geschichte, und dieses Papier zieht die Linie zwischen dem, was wir mit unserer Taschenlampe beweisen können, und dem, was als schönes, unbewiesenes Mysterium zurückbleibt.

Technisches Resümee: Ein intuitionistischer Blick auf die Primzahlen

Problemstellung
Die Arbeit befasst sich mit der beweistheoretischen Klassifizierung positiver Ganzzahlen in Einheiten, Primzahlen und zusammengesetzte Zahlen im Rahmen der intuitionistischen Logik (speziell der Heytingschen Arithmetik, HA). Während die klassische Arithmetik diese Kategorien als disjunkte und erschöpfende Erweiterungen behandelt, untersucht die Arbeit die unterschiedlichen Formen von Evidenz, die zur Begründung dieser Eigenschaften konstruktiv erforderlich sind. Das zentrale Problem besteht darin, zu formalisieren, wie die „Zusammengesetztheit“ (eine existenzielle Behauptung) und die „Primzahleigenschaft“ (eine universelle Widerlegung) als entscheidbare Prädikate fungieren, wenn der Suchraum beschränkt ist, und um zwischen den syntaktischen Regeln einer formalen Theorie, der internen Übereinstimmung eines Modells und der semantischen Interpretation relativ auf die Standard-Natürlichen Zahlen $\mathbb{N}$ zu unterscheiden.

Methodik
Der Autor verwendet einen konstruktiven, beweistheoretischen Ansatz, der in der intuitionistischen Logik verwurzelt ist. Die Methodik verläuft über mehrere Ebenen:

Ternäre Klassifizierung via Evidenzformen: Die Arbeit definiert drei Prädikate – Einheit ( $U$ ), Zusammengesetzt ( $C$ ) und Prim ( $P$ ) – basierend auf spezifischen Evidenztypen:
- $U(n)$ : Evidenz der Gleichheit $n=1$ .
- $C(n)$ : Evidenz einer inneren Faktorisierung $n=ab$ mit $a,b > 1$ (ein existenzielles Zeugnis).
- $P(n)$ : Evidenz für $n > 1$ kombiniert mit einer beschränkten Widerlegung jeder möglichen inneren Faktorisierung (ein universelles Negativ).
  Da der Bereich potenzieller Faktoren für ein beliebiges $n$ endlich und entscheidbar ist, wird gezeigt, dass sowohl $C(n)$ als auch $P(n)$ entscheidbare Prädikate sind.
Gestufte Blockpräsentationen: Um die beschränkte Suche zu operationalisieren, führt die Arbeit „gestufte Blockkonfigurationen“ ein. Dies sind endliche, geordnete Listen von Kandidaten-Faktorpaaren. Die Arbeit analyst die „Defekt“-Relationen (Auslassungen, Duplikationen, Ordnungsverletzungen), die entstehen, wenn diese Stufen erweitert werden. Sie unterscheidet zwischen lokaler Inhabitation (eine gültige Entscheidung in einer spezifischen Stufe) und uniformer Totalisierung (ein globaler Selektor für alle Stufen).
Euklidische Flucht und Siebe: Die Arbeit nutzt eine konstruktive Variante des euklidischen Arguments („Euklidische Flucht“), um zu zeigen, dass keine endliche Menge von „Fängern“ (Generatoren zusammengesetzter Zahlen) alle Zusammengesetzten erfassen kann. Dies führt zu einer rekursiven Siebkonstruktion, bei der das kleinste Überlebende einer endlichen Fänger-Menge zu einem neuen Generator erhoben wird, was effektiv die Primzahlen enumeriert.
Algebraische und semantische Analyse: Die Arbeit untersucht die algebraischen Konsequenzen dieser Klassifizierung, insbesondere den Kontrast zwischen modularer Kancellation (für Primzahlen) und Nullteiler-Annihilation (für zusammengesetzte Zahlen). Sie geht dann zu einer semantischen Analyse über, die zwischen Folgendem unterscheidet:
- Regelkonformität: Syntaktische Verifizierung von Beweisen.
- Interne multiplikative Übereinstimmung: Die Erfüllung von Definitionen innerhalb eines fixierten Modells.
- Standardmäßige definitorische Übereinstimmung: Die Ausrichtung einer Theorie auf die Standardstruktur $\mathbb{N}$ , was metatheoretische Repräsentation erfordert.

Wesentliche Beiträge und Ergebnisse

Entscheidbarkeit der Primzahleigenschaft: Die Arbeit stellt fest, dass die Primzahleigenschaft in HA entscheidbar ist, da der universelle Quantor in ihrer Definition durch das Input $n$ beschränkt ist. Die Unterscheidung zwischen Primzahl und zusammengesetzter Zahl ist eine Frage der „Beweispolarität“ (existentielles Zeugnis vs. universelle Widerlegung) statt der Komplexität in der arithmetischen Hierarchie (beide sind $\Delta_0$ ).
Die Einheitengrenze: Eine rigorose Behandlung der Einheit ($1$) wird bereitgestellt, wobei gezeigt wird, dass die binäre Opposition $\neg P(n) \to C(n)$ bei $n=1$ fehlschlägt. Die ternäre Klassifizierung $U(n) \lor P(n) \lor C(n)$ wird konstruktiv bewiesen.
Endliche Fänger und Sieb-Übergang: Es wird bewiesen, dass jede endliche Menge von zusammengesetzten Generatoren einige zusammengesetzte Zahlen übersieht (speziell das Quadrat des kleinsten Überlebenden). Dieser Mechanismus treibt ein rekursives Sieb voran, das die Sequenz der gewöhnlichen Primzahlen generiert.
Algebraische Charakterisierung: Die Arbeit verknüpft die zahlentheoretische Definition von Primzahlen mit der algebraischen Eigenschaft der Kancellation im Ring $\mathbb{Z}/n\mathbb{Z}$ . Eine Zahl $n > 1$ ist genau dann prim, wenn die Multiplikation mit jedem nicht-nullem Residuum injektiv ist.
Semantische Hierarchie: Sie skizziert eine Hierarchie der Zertifizierung:
1. Lokale Evidenz: Endliche Zeugnisse oder Widerlegungen für spezifisches $n$ .
2. Modell-Übereinstimmung: Die Erweiterung von Prädikaten in einem fixierten Modell.
3. Metatheoretische Repräsentation: Die Behauptung, dass eine Theorie mit der Standard- $\mathbb{N}$ übereinstimmt.
  Die Arbeit zeigt, dass während die lokale Theorie eine konservative Erweiterung von HA ist, die Übereinstimmung mit dem Standardmodell externe metatheoretische Daten erfordert.
Grenzen der Uniformität: Die Arbeit wendet den Satz von Rice und den zweiten Unvollständigkeitssatz von Gödel an, um zu zeigen, dass während individuelle Primzahltests entscheidbar sind, uniforme bilaterale Zertifizierung (die Produktion von Beweisen für sowohl Primheit als auch Zusammengesetztheit für alle $n$ ) oder uniforme Vollständigkeitsgrenzen für Halteprobleme eine rechnerische Stärke besitzen, die äquivalent zum Halte-Orakel ( $0'$ ) ist.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine „beweistheoretische Aufarbeitung“ der Klassifizierung von ganzen Zahlen zu liefern, wobei sie betont, dass die Unterscheidung zwischen Primzahlen und zusammengesetzten Zahlen strukturell und evidentiell sowie nicht bloß extensional ist.

Intuitionistische Strenge: Sie argumentt, dass die „Einheitsgrenze“ und die Natur der beschränkten Suche entscheidend für das Verständnis des konstruktiven Inhalts der Primzahleigenschaft sind. Die Arbeit klärt, dass das „Fehlen einer inneren Faktorisierung“ für Primzahlen kein negatives Unendlich ist, sondern eine endliche, erschöpfende Widerlegung.
Trennung der Ebenen: Ein wesentlicher Beitrag ist die explizite Trennung von syntaktischer Regelkonformität, interner Modellerfüllung und der Repräsentation der Standardstruktur. Die Arbeit behauptet, dass „Übereinstimmung mit Primzahlen“ eine relative Notion ist, die von der gewählten Metatheorie und Interpretation abhängt.
Primzahlen als „Trugbild“: In der Schlussbetrachtung bietet die Arbeit eine metaphorische Charakterisierung an: Relativ zur inneren Multiplikation bilden zusammengesetzte Zahlen das positiv generierte Bild, während Primzahlen die „Löcher“ in diesem Bild sind. Die Arbeit behauptet, dass globale Vermutungen über Primzahlen (wie die Zwillingsprimzahlvermutung oder die Goldbachsche Vermutung) nach Organisation unter diesen „Löchern“ fragen, ohne einen positiven Generator für deren Verteilung zu liefern, was eine fundamentale Asymmetrie in ihrer konstruktiven Präsentation hervorhebt.

Die Arbeit schlägt keine neuen Algorithmen für die Faktorisierung oder Primzahltests vor, noch beansprucht sie, offene Vermutungen gelöst zu haben. Stattdessen bietet sie eine fundamentale Analyse darüber, wie diese Konzepte konstruiert, verifiziert und interpretiert werden innerhalb der intuitionistischen Arithmetik, wobei sie zwischen dem unterscheidbar ist, was intern beweisbar ist, und dem, was von den Standard-Interpretation der natürlichen Zahlen abhängt.

Die zwei Detektiv-Stile: Finden vs. Erschöpfen

Das „Catcher“-Spiel und das Sieb

Was das Papier ausschließt (Die „No-Go“-Zonen)

Wie sicher sind wir?

Die „Fata Morgana“ der Primzahlen

Mehr davon