Teoria Tipogràfica dels Nombres
Teoria Tipogràfica de Nombres (en anglès Typographical Number Theory - TNT) és un sistema axiomàtic formal que descriu els nombres naturals que apareixen en el llibre de Douglas Hofstadter Gödel, Escher, Bach. Es tracta d'una aplicació de l'aritmètica de Peano que Hofstadter fa servir per ajudar a explicar els teoremes d'incompletesa de Kurt Gödel i també fa una analogia amb l'ADN.
Igual que qualsevol sistema d'aplicació dels axiomes de Peano, TNT és capaç de referir-se a si mateix (és autoreferencial).
Numerals
modificaTNT no utilitza un símbol diferent per a cada nombre natural. En el seu lloc, fa ús d'una manera simple i uniforme de donar un símbol compost a cada nombre natural, de la següent manera:
zero 0 u S0 dos SS0 tres SSS0 quatre SSSS0 cinc SSSSS0
El símbol S es pot interpretar com "el successor de", o "el nombre després de". Ambdues són interpretacions possibles, però no estrictes. No es pot afirmar que, pel fet que quatre és el successor de tres, quatre és SSSS0, sinó més aviat que, ja que tres és el successor de dos, que és el successor d'un, que és el successor de zero, el que hem descrit com a 0, es pot "demostrar" que quatre és SSSS0. TNT està dissenyat de tal manera que qualsevol proposició ha de ser provada abans que pugui dir-se que sigui vertadera. Aquesta és la utilitat i rellevància d'aquesta construcció matemàtica.
Variables
modificaPer tal de referir-se als termes no especificats, TNT fa ús de cinc variables. Aquestes són:
- a, b, c, d, e.
Es poden construir més variables mitjançant l'addició del símbol prima després d'ells, per exemple,
- a’, b’, c’, a’’, a’’’
En la versió més rígida de TNT, conegut com a TNT "auster", només s'utilitzen les següents variables:
- a’, a’’, a’’’, etc.
Operadors
modificaLa suma i la multiplicació de nombres
modificaEn la teoria tipogràfica de nombres, s'utilitzen els símbols habituals de "+" per a les addicions i "·" per multiplicacions. Així, per escriure "b més c", s'escriu
- (b + c)
i "a multiplicat per d " s'escriu com
- (a·d)
Els parèntesis són obligatoris. Qualsevol laxitud violaria el sistema de formació de TNT (encara que és trivial demostrar que aquest formalisme no és necessari per a les operacions associativa i commutativa). Una altra norma és que només dos termes poden ser operats a la vegada. Per tant, per escriure "a més b més c", cal escriure bé
- ((a + b) + c) o bé, (a + (b + c))
L'equivalència
modificaL'operador "equival a" s'utilitza per referir-se a l'equivalència. Es defineix pel símbol "=", i té aproximadament el mateix significat que ho fa normalment en matemàtiques. Per exemple,
- (SSS0 + SSS0) = SSSSSS0
és una declaració veritable en TNT, amb la interpretació "3 més 3 és igual a 6".
La negació
modificaEn la teoria tipogràfica de nombres, la negació, és a dir, la conversió d'una declaració al seu contrari, es denota per l'operador "~". Per exemple,
- ~ (SSS0 + SSS0) = SSSSSSS0
és una declaració veritable en TNT, interpretat com a "3 + 3 no és igual a 7".
La negació en TNT és equivalent a la negació de la lògica de Boole (negació lògica), en comptes de ser el contrari. Per exemple, la negació de "menjar una poma" és "no menjar una poma", en lloc de "menjar una cosa diferent d'una poma". De la mateixa manera la negació de "la televisió està encesa" és "La televisió no està encesa" més que "la televisió està apagada". Aquesta és una diferència subtil, però important.
La conjunció
modificaPer indicar la conjunció "i" amb els símbols
- <, al principi de la cadena
- ∧, per referir-se a la "i"
- >, al final de la cadena.
Per tant la proposició "0 més un és igual a un i un més un és igual a dos" s'escriu com:
- <(0 + S0) = S0 ∧ (S0 + S0) = SS0>
La disjunció
modificaPer indicar la disjunció "o", utilitzant els símbols
- <, al principi de la cadena
- ∨, per indicar la "o"
- >, al final de la cadena.
Així, la frase "0 més un és igual a un o un més un és igual a dos" s'escriu com:
- <(0 + S0) = S0 ∨ (S0 + S0) = SS0>.
La implicació
modificaPer indicar la implicació lògica "si ... llavors ...", s'utilitzen els següents símbols:
- <,al principi de la cadena
- ⊃, a la premissa i la conclusió per separat
- >, al final de la cadena.
Per tant la proposició "si un és igual a zero, el zero és igual a un" s'escriu d'aquesta manera:
- <S0=0⊃0=S0>.
Àtoms i els símbols proposicionals
modificaTots els símbols proposicionals que s'utilitzen en la teoria tipogràfica de nombres són els mateixos que els que s'utilitzen en càlcul proposicional i conserven el seu significat. Per àtoms s'entén aquelles cadenes que contenen igualtats, com per exemple:
- ¬S0 = SS0, "1 no és igual a 2",
- (SS0 + SSS0) = SSSS0,"2 més 3 igual a 4",
- ¬(SS0 +SS0) = SSS0; "2 més 2 no és igual a 3",
- <S0=0⊃0=S0>; "Si un és igual a 0, llavors 0 és igual a 1".
Quantificadors
modificaTNT utilitza dos quantificadors: ∀ i ∃.
- ∃ significa "existeix", s'anomena quantificador existencial
- ∀ significa "per a tots",s'anomena quantificador universal
- ":" s'utilitza per a separar un quantificador d'un altre quantificador o de la resta de la fórmula.
per exemple:
- ∀ a: ∀ b: (a + b) = (b + a) "Per a tot nombre a i per a tot nombre b, a més b es igual a b més a" o "la addició és commutativa".
- ¬ ∃ c: Sc = 0 "No existeix un nombre c tal que c més un és igual a zero", o "zero no és el successor de qualsevol nombre natural".
Una variable que està en l'àmbit d'un quantificador es diu variable quantificada, aquesta variable és lliure. Una fórmula que conté almenys una variable lliure es diu oberta, en cas contrari s'anomena tancada o enunciat.
Regles de formació
modificaNumeració
modifica0 és un nombre. Un nombre precedit per S és també un nombre.
Exemples:
- 0, S0, SS0.
Variables
modificaa, b, c, són variables. Una variable seguida per una prima és també una variable.
Exemples:
- a, b ', c.
Termes
modificaTots els nombres i les variables són termes. Un terme precedit per S és també un terme. Si els conjunts són termes, aleshores també ho són (s + t) i (s · t).
Exemples:
- S0, b, SSa', (S0·(SS0+c)), S(Sa·(Sb·Sc)).
Els termes es divideixen en dues categories:
- els termes definits (que no contenen variables), per exemple: 0, (S0 + S0).
- els termes indefinits (que contenen variables), per exemple: b, (((S0+S0)+S0)+e)..
Àtoms
modificaSi s i t són termes, llavors s = t és un àtom.
Exemple:
- S0=0, S(b+c)=((c·d)·e).
Negació
modificaUna fórmula ben formada precedida per un símbol de negació (¬) està ben formada. Exemple:
- ¬S0=0, ¬<0=0⊃S0=0>.
Composició
modificaSi x i y són fórmules ben formades, i cap de les variables lliures d'una es quantifica en l'altre, a continuació, les següents fórmules són ben formades:
- <x∧y>, <x∨y>, <x⊃y>.
Exemple:
- <0=0∧¬0=0>, <S0=0⊃∀c:¬∃b:(b+b)=c>.
Mètrica
modificaSi u és una variable i x és una fórmula lliure ben formada, llavors les següents cadenes són fórmules ben formades:
- ∃ o: x, ∀ o: x.
Exemple:
- ∀ A: <a=a∨¬∃c:c=a>, ~ ∃ c: c = d.
Fórmules obertes
modificaSi conté almenys una variable lliure.
Exemple:
- ¬ c = c, <∀ b: b = b ∧ ¬ c = c>.
Fórmules tancades (oracions)
modificaNo contenen variables lliures.
Exemples:
- S0 = 0, ¬ ∀ D: D = 0.
Axiomes
modifica- ∀a:¬Sa=0
- ∀a:(a+0)=a
- ∀a:∀b:(a+Sb)=S(a+b)
- ∀a:(a·0)=0
- ∀a:∀b:(a·Sb)=((a·b)+a)
Regles
modificaRegla de la particularització
modificaSigui o una variable que apareix a la cadena x. Si la cadena ∀ o: x és un teorema, llavors x és, igual que totes les cadenes que s'obtenen mitjançant la substitució de o x, en cada aparició, amb un terme fix. El terme que substitueix o no ha de contenir una variable que es quantifica en x.
Exemple:
- axioma 1, substituint 0 en lloc d'una x, s'obté ¬ S0 = 0.
Regla de generalització
modificax és un teorema que apareix a la variable o lliure. Llavors ∀ o: x és un teorema.
Canvi d'estat
modificaSi u és una variable, llavors la cadena ∀u:¬ i ¬∃u: són intercanviables dins d'un teorema. Exemple: Mitjançant l'aplicació d'aquesta norma amb l'axioma 1, obtenim ¬∃a:Sa=0(és a dir: zero no és el successor de qualsevol nombre natural).
Regla de l'existència
modificaSi un terme (que pot contenir variables, sempre que estiguin lliures) apareix en una o més vegades en un teorema, llavors es pot substituir aquest terme en una, en totes o algunes de les seves ocurrències amb una variable que no és ja apareix en el teorema, per tot el que precedeix la rellevant des del quantificador existencial.
Exemple:
- Mitjançant l'aplicació d'aquesta norma amb l'axioma 1, s'obté∃b:∀a:¬Sa=b.
Regla de simetria
modificaSi r = s és un teorema, aleshores també ho és r = s.
Regla de la transitivitat de la igualtat
modificaSi r = s i s= t són teoremes, llavors també ho és r = t.
Regla per al successor
modificaSi r = t és un teorema, aleshores Sr = St és un teorema.
Regla de l'eliminació per al successor
modificaSi Sr = St és un teorema, aleshores r = t és un teorema.
En la següent regla usant aquesta notació: una fórmula ben formada en el qual la variable està lliure s'abreuja pel símbol X {a}. Però amb el símbol X {SA / A} denota la X mateixa cadena però en què cada aparició d'un ha estat reemplaçat amb Sa. De manera similar, amb X {0/1} denota la cadena inicial en què cada aparició d'un ha estat substituït per 0.
Regla d'inducció
modificaSigui o una variable X i {u} una fórmula ben formada en el qual no apareix lliure. Si ∀u:<X{u}⊃X{Su/u}> e X{0/u} són ambdós teoremes, llavors ∀ u: X {u} també és un teorema.
Referències
modifica- Hofstadter, Douglas R. (1999) [1979], Gödel, Escher, Bach: An Eternal Golden Braid, Basic Books, ISBN 0-465-02656-7, (anglès).