An Intuitionistic Glance at Primes

Technische Samenvatting: Een Intuïtionistische Blik op Priemgetallen

Probleemstelling
Het artikel behandelt de bewijs-theoretische classificatie van positieve gehele getallen in eenheden, priemgetallen en samengestelde getallen binnen het kader van de intuïtionistische logica (specifiek Heyting-rekenkunde, HA). Terwijl klassieke rekenkunde deze categorieën behandelt als wederzijds uitsluitende en uitputtende extensies, onderzoekt het artikel de verschillende vormen van bewijs die vereist zijn om deze eigenschappen constructief vast te stellen. Het centrale probleem is het formaliseren van hoe "samengesteldheid" (een existentiële claim) en "priemheid" (een universele weerleggingsclaim) functioneren als beslisbare predicaten wanneer de zoekruimte begrensd is, en het onderscheiden van de syntactische regels van een formeel systeem, de interne overeenstemming van een model en de semantische interpretatie relatief aan de standaard natuurlijke getallen $\mathbb{N}$.

Methodologie
De auteur hanteert een constructieve, bewijs-theoretische benadering die geworteld is in de intuïtionistische logica. De methodologie verloopt via verschillende lagen:

1. Ternaire Classificatie via Bewijsformulieren: Het artikel definieert drie predicaten—Eenheid ($U$), Samengesteld ($C$) en Priem ($P$)—gebaseerd op specifieke bewijsvormen:

   • $U(n)$: Bewijs van gelijkheid $n=1$.
   • $C(n)$: Bewijs van een interne factorisatie $n=ab$ met $a,b > 1$ (een existentiële getuige).
   • $P(n)$: Bewijs dat $n > 1$ gecombineerd met een begrensde weerlegging van elke mogelijke interne factorisatie (een universele negatie).
     Omdat het domein van potentiële factoren voor elk $n$ eindig en beslisbaar is, worden zowel $C(n)$ als $P(n)$ aangetoond als beslisbare predicaten.

2. Gefaseerde Blokpresentaties: Om de begrensde zoektocht te operationaliseren, introduceert het artikel "gefaseerde blokconfiguraties". Dit zijn eindige, geordende lijsten van kandidaat-factorparen. Het artikel analyseert de "defect"-relaties (omissies, duplicaties, ordeningsschendingen) die ontstaan bij het uitbreiden van deze fasen. Het maakt onderscheid tussen lokale bezetting (een geldige beslissing op een specifieke fase) en uniforme totalisering (een globale selector voor alle fasen).

3. Euclidische Ontsnapping en Zeven: Het artikel maakt gebruik van een constructieve variant van het Euclidische argument ("Euclidische Ontsnapping") om aan te tonen dat geen enkele eindige verzameling van "vangers" (generatoren van samengestelde getallen) alle samengestelde getallen kan vangen. Dit leidt tot een recursieve zeefconstructie waarbij de kleinste overlevende van een eindige vanger-verzameling wordt gepromoveerd tot een nieuwe generator, wat effectief de sequentie van priemgetallen genomineert.

4. Algebraïsche en Semantische Analyse: Het artikel onderzoekt de algebraïsche consequenties van deze classificatie, specifien het contrast tussen modulaire annulering (voor priemgetallen) en nul-divisor annihilatie (voor samengestelde getallen). Vervolgens beweegt het naar een semantische analyse, waarbij onderscheid wordt gemaakt tussen:

   • Regelconformiteit: Syntactische verificatie van bewijzen.
   • Interne Multiplicatieve Overeenstemming: De voldoening van definities binnen een vast model.
   • Standaard Definitionele Overeenstemming: De afstemming van een theorie met de standaardstructuur $\mathbb{N}$, wat een metatheoretische representatie vereist.

Kernbijdragen en Resultaten

• Beslisbaarheid van Priemheid: Het artikel stelt vast dat priemheid een beslisbare eigenschap is in HA omdat de universele kwantificator in de definitie ervan begrensd wordt door de input $n$. Het onderscheid tussen priem en samengesteld is er een van "bewijs-polariteit" (existentiële getuige versus universele weerlegging) in plaats van arithmetische hiërarchie-complexiteit (beide zijn $\Delta_0$).
• De Eenheidsgrens: Er wordt een rigoureuze behandeling van de eenheid ($1$) geboden, waarbij wordt aangetoond dat de binaire oppositie $\neg P(n) \to C(n)$ faalt bij $n=1$. De ternaire classificatie $U(n) \lor P(n) \lor C(n)$ wordt constructief bewezen.
• Eindige Vangers en Zeeftransitie: Er wordt bewezen dat elke eindige verzameling van samengestelde generatoren enkele samengestelde getallen mist (specifiek het kwadraat van de kleinste overlevende). Dit mechanisme drijft een recursieve zeef aan die de sequentie van gewone priemgetallen genereert.
• Algebraïsche Karakterisering: Het artikel koppelt de getaltheoretische definitie van priemgetallen aan de algebraïsche eigenschap van annulering in de ring $\mathbb{Z}/n\mathbb{Z}$. Een getal $n > 1$ is priem dan en slechts dan als vermenigvuldiging met elke niet-nul residu injectief is.
• Semantische Hiërarchie: Het legt een hiërarchie van certificering vast:
  1. Lokale Bewijsvorm: Eindige getuigen of weerleggingen voor specifieke $n$.
  2. Modelovereenstemming: De extensie van predicaten in een vast model.
  3. Metatheoretische Representatie: De bewering dat een theorie overeenkomt met de standaard $\mathbb{N}$.
     Het artikel demonstreert dat hoewel de lokale theorie een conservatieve extensie van HA is, het vaststellen van overeenstemming met het standaardmodel externe metatheoretische data vereist.
• Grenzen van Uniformiteit: Het artikel past de Stelling van Rice en de Tweede Onvolledigheidsstelling van Gödel toe om aan te tonen dat hoewel individuele priemtesten beslisbaar zijn, uniforme bilaterale certificering (het produceren van bewijzen voor zowel priemheid als samengesteldheid voor alle $n$) of uniforme voltooiingsgrenzen voor halting-problemen een computationele kracht hebben die equivalent is aan de halting-oracle ($0'$).

Betekenis en Claims
Het artikel claimt een "bewijs-theoretisch verslag" te bieden van de classificatie van gehele getallen, waarbij wordt benadrukt dat het onderscheid tussen priem en samengesteld structureel en evidentieel is, in plaats van louter extensioneel.

• Intuïtionistische Rigor: Het betoogt dat de "eenheidsgrens" en de aard van de begrensde zoektocht cruciaal zijn voor het begrijpen van de constructieve inhoud van priemheid. Het artikel verheldert dat het "gebrek aan interne factorisatie" voor priemgetallen geen negatieve oneindigheid is, maar een eindige, uitputtende weerlegging.
• Scheiding van Niveaus: Een primaire bijdrage is de expliciete scheiding van syntactische regelconformiteit, interne modelvoldoening en de representatie van de standaardstructuur. Het artikel stelt dat "overeenstemming met priemgetallen" een relatief begrip is, afhankelijk van de gekozen metatheorie en interpretatie.
• Priemen als "Mirage" (Schijnbeeld): In de conclusie biedt het artikel een metaforische karakterisering: relatief aan interne vermenigvuldiging vormen samengestelde getallen het positief gegenereerde beeld, terwijl priemgetallen de "gaten" in dat beeld zijn. Het stelt dat globale conjecturen over priemgetallen (zoals de Tweelingpriemconjectuur of de Goldbach-conjectuur) vragen om organisatie onder deze "gaten" zonder een positieve generator voor hun distributie te leveren, wat de fundamentele asymmetrie in hun constructieve presentatie benadrukt.

Het artikel stelt geen nieuwe algoritmen voor het factoriseren of de priemtesten voor, noch claimt het openstaande conjecturen op te lossen. In plaats daarvan biedt het een fundamentele analyse van hoe deze concepten worden geconstrueerd, geverifieerd en geïnterpreteerd binnen de intuïtionistische rekenkunde, waarbij het onderscheid maakt tussen wat intern bewijsbaar is en wat afhankelijk is van de standaardinterpretatie van de natuurlijke getallen.