Oper

aci
onesi
nver
sasconnúmer
ost
ransf
ini
tosyel
argument
ocosmol
ógi
codeKal
am (
1995)
Gr
aham Oppy

[Est
eartí
cul
ofuepubli
cadoor
igi
nalmentecomo" Oper
aci
onesinver
sasconnúmerostransfi
nit
osy
elargument
ocosmológi
codeKalam"Int
ernat
ionalPhi
l
osophi
calQuart
erl
y,35,
2,pp.
219-221]

En"
Respuest
aaSmi
th:
sobr
elaf
ini
tuddel
pasado"[
1],
elpr
ofesorWi
l
li
am Cr
aigescr
ibe:

Reit
ero que Smit
ht odavíati
ene que li
diarcon mis ar
gumentos más fuertes a fav
orde l a
i
mposibil
idad de l
a exi
stenci
a de un i
nfi
nitoreal
,aquell
os basados ​
en operaci
ones inv
ersas
real
i
zadasconnúmer ostr
ansfi
nit
os.[2]
Creoqueest aafir
macióneserrónea;para:(i)nohayproblemaacer cadepermi
tirl
asoperaci
ones
i
nv er
sasen cuest i
ón -sustr
acción,divi
sión,extr
acci
ón der aíces,etc.-en ari
tmét
ica or
dinal
tr
ansfini
ta[3];y( i
i
)no hayni ngúnpr oblemasobrel aexclusióndeest asoperaci
onesdel a
ari
tmét i
cacar
dinaltr
ansf
ini
ta.Tomar éestospuntosasuv ez.

(i
):Enr elaciónconl aar i
tméti
caordi
naltr
ansf
ini
ta,podemoscomenzarobser vandoqueenl as
formulacionescant or
ianasdear i
tmét
icatr
ansfi
nit
a,lasoper
aci
onesinversasencuesti
ónest án
(convencional mente)prohibi
dasoexclui
das.Perohaymuchasf or
mulacionesnocantori
anasde
ari
tméticat ransfi
nit
aenl asquesepermit
enlasoperaci
onesi
nver
sas.Mencionar
ébrevementet
res.

EnelAnál i
sisnoest ándardeAbr aham Robinson[4],losmodelosnoest ándarquesepr esent
an
conti
enenmuchosel ementostransfi
nit
os,esdecir
,elementosquesonmásgr andesquetodoslos
númerosr eal
esfini
tos.Noobst ante,l
osmodel osencuesti
ónsoncampos( noarquímedes)enlos
quetodosl oselement osdist
intosdecerot i
eneninv er
sosmulti
pli
cat
ivos,ytodosloselementos
ti
eneninversosadit
ivos.

Enl at eorí
adeconjunt
osi nternosdeE.Nel son[5],hay"númerosi l
i
mitados"quesonmásgr andes
quet odosl osnúmerosest ándar;porlot anto,hayunsent idoenelqueest osnúmerosson
transfinit
os.Noobstante,todosl osnúmer osenl ateor
íadeNel sontienentodaslaspropi
edades
relevantesqueposeenl osnúmer osestándar,porejemplo,i
nversosaditi
vosy,except
oenelcaso
decer o, i
nversosmul
ti
plicat
ivos.
Aest osej emplos,sepodr í
aobj etarquel osnúmer osyel ement osencuestiónnosonr ealmente
transfi
nit
os.Enpar ticular,podr í
adeci r
se,laaf i
rmaci óncl ásicadeque" Todoslosnúmer osson
fi
nitos"siguesiendoci ert
aenambast eorías.[6]Enmiopi nión,estasugerenciaeserr
ónea:nohay
razónpar asuponerquel ai nterpretaci
óndel aor aci
ón" Todosl osnúmerossonf i
nit
os"dentrodel
contextodeest ast eorí
ascoi ncidaconcual quierinterpr
et aciónintui
ti
vadeesaaf i
rmación.Sin
embar go,dado que elmét odo cor r
ecto parat r
atarl a" paradoja de Skolem"es quizás aún
controverti
do,nointentaréinsistirenest epuntoaquí .[7]

Mi ter
cerej emplonoestásuj etoatalesdif
icult
ades.EnOnNumber sAndGamesdeJHConway[ 8],
sedaunaconst r
ucci
ónpar al osnúmer osquei ncluy
et odosl
osordinalesdeCant ory,si
nembar go,
bajol a cuallos númer os forman un campo t otalmente or
denado.Ent relos númer os,en la
construccióndeConway ,haycosascomow- 1,w/2, w1/ 2,w1/w, etc.Lael
eganteconst r
ucción
deConwaysecasaconelt r
abajodeDedeki ndyCant orparagener arunaar it
mét i
caor dinal
transf
init
aquenoest ásuj etaal as" defi
ciencias"queCr aigdenunci aenl aarit
mét i
caor dinal
transf
init
acant ori
anaestándar .Además,dadoquenohaydudadequeest aconstr
uccióncont i
ene
todosl osor di
nalest r
ansfinit
osdeCant or,nohaydudadequegener aunaar it
mét i
caor dinal
genuinament etransf
ini
ta.

ComoPei rceseñalóhacemuchot iempo[ 9],Cant ort eníaunpr ej

uici
oequi vocadocont ral os
i
nf i
nitesimales,y,almenos en par te,fue este pr
ejuiciol o que lei mpidió propor ci
onaruna
explicaciónv er
daderament eadecuadadel aarit
mét i
caor dinaltransfi
nit
a.Sinembar go, undef ensor
moder node" l
aposibil
i
daddel aexistenci
adeuni nf
initor eal"nonecesitaseguiraCant oraest e
respect o.Enconsecuenci a,undefensormoder node" laposi bil
idaddel aexist
enciadeuni nfini
to
real"nonecesi taserinfl
uidoenabsol utoporestaversióndel oqueCr aigll
amasu" argument omás
fuerte".

(i
i):enr elaci
ónconlaar
itméti
cacardi
nalt
ransfi
nit
a, podemoscomenzardenuev oobserv
andoque,
enl af ormulacióncant
orianadel aari
tméti
cacar dinaltransfi
nit
a,lasoper aci
onesinver
sasen
cuesti
ónest ándehecho conv enci
onal
mentepr ohibidas.Además,est av ez,tambiénpodemos
admi t
irque no hay f orma de hacerque l os car denales t
ransfi
nit
os obedezcan las l
eyes
convenci onal
esdel aari
tméti
ca.Peronoest áclaroporquédeber íasuponer sequeestoesuna
objeci
ónal ateorí
a.

Porl oquey osé,Cr aigexpl icaenni ngunapar t

el oquesesuponel adif i
cult
addeser.EnCr aig
(1979),parecesuponer ,aunquenoof recear gument ospar aestaafi
rmaci ón,queelhechodeque
l
asoper acionesinversasdebanpr ohibirseconv encionalmenteenelcasodenúmer oscar di
nales
transf
initosmuest raqueelsi st
emaes" pur ament econceptual"
,esdeci r
,not ieneapli
caciónenel
mundof ísi
co.[10]Pero,¿ porquédeber íaserunr equisi
toparalosnúmer oscar di
nal
est r
ansfini
tos
queest asoper acionesi nversasseandef i
nibl
espar aellos?Quel asoperacionessepuedandef ini
r
paraelcasof i
nit
oesi rrel
evant e:noex isteunal eydehi er
roquedi gaquel osnúmer osi nf
ini
tos
debencompor t
arseigualquel osnúmer osf i
nit
os.Dehecho,undef ensorde" l
aposibil
i
daddel a
existenciadeuni nfinit
or eal"bienpodr íainsisti
renqueest oesj ustoloqueunodeber íaesper
ar;
especi al
mentepor quenoest árealment eclaroqueel est
ándarLasoper aci
onesar i
tmét i
cas,esdecir
,
l
asumayl amul ti
pli
caci ón,seaplicanal oscar denal estransf
init
os.Comoseñal aelpr opioCrai
g,la
"suma"par al oscardenal estransfinitossedef i
nei ndependientement edeladef inici
óndeadi ci
ón
paral oscardenalesf init
os;en consecuenci a,no esdeext rañarqueno hay a una operaci
ón
correspondientede" resta".Aest er espect
o,loscar denalestransfi
nitossonbast antediferent
esde
l
osor dinal
est r
ansfinit
os:l asuma,l amul ti
plicación,et c.sedefinendeunav ezport odasenel
sistema deConway :esdeci r,losor di
nalest ransf ini
tosseagr egan,div
iden,mul ti
pli
can,etc.
,
exact amenteenel mi smosent ido.quéor dinalesfinitossesuman, divi
den,mult
iplican,etc.[
11]

Unav ezmás,concluyoqueundefensorde"l
aposibil
i
daddel aexist
enciadeuni nfi
nit
oreal"no
necesit
aseri
nfl
uidoenabsol
utoporestaver
sióndeloqueCrai
gllamasu" argument omásf uert
e".
Enconsecuenci
a,concluy
oqueel"argument
omásf uert
e"deCrai
gnohacenadapar aavanzaren
susintent
osdedefenderl
aaf
ir
macióndequelosargumentoscosmológicoskalam sonprobatori
os