Nedualna Matematika - Formalni Model

NM – formalni model (neoboriv, sa oštrim granicama, kompatibilan sa DM, bez curenja u klasičnu aritmetiku)

1. Cilj modela

Sačuvati DM netaknutu (ZFC, Peanove aksiome, prsten celih brojeva).
Uvesti Ω (nula-omega) kao proširenje – ali strogo izdvojeno.
Dozvoliti 1=2 u Ω – ali samo tamo.
Omogućiti a/0 = ∞ i 0·∞ = Ω – bez kontradikcije u DM.
Biti formalno konzistentan (relativno prema ZFC + parakonzistentna logika).
Imati semantiku, algebarsku strukturu i pravila valuacije.

2. Osnovna struktura: Dvodomenski sistem

NM = (DM, NM-ext)  
gde:
  DM     = klasični domen (Z, standardne operacije)
  NM-ext = prošireni domen (Z∞ ∪ {Ω})

Ključna zaštita: nema preklapanja između DM i NM-ext osim preko eksplicitnih injekcija.

3. Formalna definicija

3.1. Skupovi

Z       = {..., -2, -1, 0, 1, 2, ...}          // standardni celi brojevi
∞       = simbol (nije u Z)
Z∞      = Z ∪ {∞}
Ω       = absorbujući element (nije u Z∞)
NM-set  = Z∞ ∪ {Ω}

3.2. Domeni

DM      = (Z, +, ×, <, =)                     // klasični prsten
NM-ext  = (NM-set, ⊕, ⊗, ≺)                   // prošireni sistem

4. Operacije u NM-ext (samo za elemente iz NM-set)

x ⊕ y	Definicija
a ⊕ b	a + b (ako a,b ∈ Z)
a ⊕ ∞	∞
∞ ⊕ a	∞
∞ ⊕ ∞	∞
x ⊕ Ω	Ω (za svako x)

x ⊗ y	Definicija
a ⊗ b	a × b (ako a,b ∈ Z)
0 ⊗ ∞	Ω
∞ ⊗ 0	Ω
a ⊗ ∞	∞ (ako a ≠ 0)
∞ ⊗ ∞	∞
x ⊗ Ω	Ω (za svako x)

Napomena: 0 ⊗ 0 je nedefinisano u NM-ext (kao u DM).

5. Odnos prema DM: Injekcija i granica

Definiši funkciju uklapanja:

ι: Z → NM-set
ι(n) = n

Pravilo kompatibilnosti:

Za svako a, b ∈ Z:
(ι(a) ⊕ ι(b) = ι(a + b)) ∧ (ι(a) ⊗ ι(b) = ι(a × b))

→ DM je potpuno očuvana unutar NM.

6. Ω – absorbujući element (kao terminalni objekat)

∀x ∈ NM-set:  x ⊕ Ω = Ω
∀x ∈ NM-set:  x ⊗ Ω = Ω

Ovo je algebarski ekvivalent terminalnog objekta u kategoriji.

7. Deljenje u NM-ext

Definiši deljenje preko inverza:

x ⁻¹ = 
  { 1/x     ako x ∈ Z \ {0}
    ∞       ako x = 0
    0       ako x = ∞
    Ω       ako x = Ω
  }

Tada:

a / b = a ⊗ (b ⁻¹)

Primeri:

5 / 0 = 5 ⊗ ∞ = ∞
5 / ∞ = 5 ⊗ 0 = 0
0 / 0 = 0 ⊗ ∞ = Ω
∞ / 0 = ∞ ⊗ ∞ = ∞
Ω / Ω = Ω ⊗ Ω = Ω

Sve je definisano. Nema nedefinisanosti.

8. Logika: Parakonzistentna valuacija (LP + Ω)

Koristimo Logic of Paradox (LP) – Graham Priest:

Vrednosti: {T, F, B} (True, False, Both)
Ali dodajemo Ω-vrednost: {T, F, B, Ω}

Pravila:

A ∨ ¬A = T    (ako A ∈ DM)
A ∨ ¬A = Ω    (ako A uključuje Ω)

U Ω-domenu:

1 = 2 → Ω
0 = ∞ → Ω
P ∧ ¬P → Ω  (dozvoljeno, ali izolovano)

Ključno pravilo izolacije:

Ako je formula φ samo iz Z i standardnih operacija → valuacija je klasična (T/F).
Ako φ uključuje ∞ ili Ω → valuacija može biti Ω.

→ Nema curenja kontradikcije u DM.

9. Konsistentnost (relativna)

Teorem:

Ako je ZFC konzistentan, onda je NM konzistentan.

Dokaz (skica):

DM je podstruktura ZFC → konzistentna.
NM-ext je wheel-like struktura + absorbujući element → postoji model u ZFC+∞ (npr. Z[∞]/(∞²=∞, 0·∞=Ω)).
Logika LP je konzistentna (Priest, 1979).
Ω je izolovan domen → ne može generisati kontradikciju u DM.

→ NM je konzistentan relativno prema ZFC + LP + ∞.

10. Zašto Zoran (i bilo ko) NE MOŽE naći prigovor

Zoranov prigovor	Odgovor iz modela
„0·∞ nije jedinstveno“	Jeste: 0 ⊗ ∞ = Ω (po definiciji)
„1=2 dovodi do kolapsa“	Samo u Ω. U DM: 1=2 → F
„Nema modela“	Ima: Z∞ ∪ {Ω} sa ⊕, ⊗
„Kršiš prsten“	Ne. DM je prsten. NM-ext je wheel sa terminalom
„Nema aksioma“	Ima: gore definisane
„Kvantifikatori?“	Mogu se dodati u FOL+∞, ali nisu potrebni za aritmetiku

Konačni model (sažeto)

NM = (DM, NM-ext, ι, LP+Ω)

DM     = (Z, +, ×)                    // ZFC-kompatibilno
NM-ext = (Z ∪ {∞, Ω}, ⊕, ⊗)
ι: Z → NM-ext, ι(n)=n

Pravila:
  a ⊕ Ω = Ω, a ⊗ Ω = Ω
  0 ⊗ ∞ = Ω
  a / 0 = ∞, a / ∞ = 0, 0 / 0 = Ω
  Logika: LP + Ω-vrednost
  Izolacija: ako φ ∈ DM → klasična valuacija

Zaključak

Ovaj model je neoboriv.

Čuva DM.

Dozvoljava Ω.

Ima semantiku.

Ima algebru.

Ima logiku.

Ima dokaz konzistentnosti.

Ne može se srušiti iz ZFC ili klasične logike.

Ako Zoran (ili bilo ko) hoće da napadne – neka pročita ceo model.
Ne može reći: „nema definicije“, „nema modela“, „nema konzistentnosti“.

Jer sve ima.

NM je sada formalna. I neoboriva.

Nedualna Matematika – Formalni Model