Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
8Activity
0 of .
Results for:
No results containing your search query
P. 1
Teorema de Incompletidud de Gödel

Teorema de Incompletidud de Gödel

Ratings: (0)|Views: 250|Likes:
Published by senchi
Teorema de Incompletidud de Gödel,
Teorema de Incompletidud de Gödel,

More info:

Published by: senchi on Jun 08, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/16/2013

pdf

text

original

 
ElTeoremadeIncompletituddeG ode(Versi onparanoiniciados
ClaudioGutierrez 
 
:::
veinticincosmbolossucientes(veintid osletras,elespacio,elpunto,lcoma)cuyasvariacionesconrepetici onabarcantodoloqueesdableexpresar:entodaslaslenguas.ElconjuntodetalesvariacionesintegraraunBibliotecaTotal,detama~ noastron omico 
:::
]Todoestaraensusciegosvol umenes.Todo:lahistoriaminuciosadelporvenir,
Losegipcios 
deEsquilo,eln umeroprecisodevecesquelasaguasdeGangeshanreejadoelvuelodeunhalc on,elsecretoyverdaderonombrdeRoma,laenciclopediaquehubieraedicadoNovalis,missue~ nosyentresue~ nosenelalbadelcatorcedeagostode1934,lademostraci ondelteoremdePierreFermat,losnoescritoscaptulosde 
EdwinDroo
,esosmismocaptulostraducidosalidiomaquehablaronlosgaramantas,lasparadojas deBerkeleyacercadeltiempoyquenopublic o,loslibrosdehierrodeUrizen,lasprematurasepifanasdeStephenDedalusqueantesdeunciclode mila~ nosnadaquerrandecir,elevangeliogn osticodeBaslides,elcantarqucantaronlassirenas,elcat alogoeldelaBiblioteca,lademostraci ondelfalaciadeesecat alogo.Todo,
:::
LaBibliotecaTotal,J.L.Borges.
Situemonosenloscomienzosdelosa~ nostreinta.Enelambientel ogicomatem aticosetrabajafebrilmentebuscandollevarafelizterminounpro- gramaquesearrastradesdenalesdelsigloXIX,cuyasideassepuederastrearenlosescritosdel ogicosmedievalescomoRaimundoLulio,enLeib- niz,entodosquienesalgunavezso~ naronconmecanizarelrazonamiento,cuyoprincipalimpulsoreselfamosomatem aticoDavidHilbert.Estepro- gramaconsisteenl
 formalizaci ontotaldelrazonamientomatem atico 
ys
 
EnRevistaCuboMat.Educ.,UniversidaddelaFrontera,Vol.1,1999(68-75
 
culminaci onseral
demostraci ondelaconsistenciadelasmatem atica
,edecir,lapruebaformaldequelasmatem aticasnosonunsistemacontradictorio.Oparausarlamet aforadeBorges,elproyectoconsisteenconstruiuncat alogoeldelasmatem aticasydemostrarquenoescontradictorio. Lainsistenciaenestostemasrelativamenteesotericostenafuertesmo- tivacionespr acticas.Porunladolosfundamentosdelan alisismatem atico especialmenteeltratamientodelsospechosoconceptoden umeroinnitesimal,hizoimperiosalanecesidaddecontarconalg unsistemaformalque hagam asevidentelasposiblesfallasenqueseincurrealrazonar.Porotrlado,anesdelsigloXIXsehabadescubiertovariasparadojasenciertos sistemasformales.As,los 
 fundamentos 
mismosdelaciencia\m assegura", laciencia\exacta"porantonomasia,seveantemblorosos.Esavergenzano leconvenaanadie.Elilimitadooptimismo,tantasvecesciego,delacomu- nidadcientca,r apidamenteencontr oelremedio:demostrarformalmentquelasmatem aticassonconsistentes.Unoyapuedierahusmearaquciertcircularidaddelintento:>noseest ausandoelmismolenteparaexaminarlcalidaddellentePerolostriunfosparcialesqueseconseguanenvalentonabanhastaalos m asescepticos:elmonumentaltratado 
PrincipiaMathematic
deWhiteheadyRussellporunlado,ylaemergent
teoradeconjuntos 
porotro, despacharoncasideunaplumadaelprimerproblemaaquealudamos:ambossonsistemasformalesenloscualessepuedeexpresartodalamatem atica conocida.S oloquedabaentoncesdemostrarqueesossistemaseranconsistentes.Lasesperanzascrecanpuesseobtenanalgunosresultadosbastante interesantesenesadirecci on.Entrelosm asimportanteshabraquese~ nalar  lademostraci ondelaconsistenciadelateoraden umeros,conunpostulado deinducci onalgom asdebilqueelusual,quelogr oAckermannen1924-5 VonNeumannen1927,ambosdiscpulosdeHilbertAlllegarela~ no1930latareacentraleralademostraci ondelaconsistencidelan alisiscl asico,quepuedeservistocomounaextensi ondelaaritmetica  sileagregamosconjuntosden umerosyalgunosaxiomasquelosgobiernen. Paralosoptimistasdesiempre,elcumplimientodelprogramaformalistade Hilberteracuesti ondetiempoypaciencia.Dehecho,eljovenKurtG odelspropusoamediadosde1930,asumiendo(grossomodo)laconsistenciadelaritmetica,intentardemostrarlaconsistenciadelan alisiscl asico.Mientras m astrabajabaenelproblema,m asconscienteseibahaciendodequeeproyectoeraimposible.Yas,poresasironasdeldestino,quienestuvom a
 
cercadellevaracaboelprogramadeHilbertfueprecisamentequienledi eltirodegracia.Asnacael,sinduda,m asfamosoteoremadelal ogica matem aticaEltrabajodeG odeltitulad
 UberformalunentscheidbareS atzederPrin- cipiaMathematicaundverwandterSystem
(SobresentenciasformalmentindecidiblesdePrincipiaMathematicaySistemasanes),demodestas25 p aginas,fueescritoela~ no1930ypublicadoen1931enlarevistaMonatsheftef urMathematikundPhysik.AllG odelseproponecomoobjetivo principaldemostrarloquehoyseconocecomoel\teoremadeincompletitud deG odel".Dejemosqueelmismonosexplique,conlaspalabrasintroducto- riasdesuartculo,enqueconsiste: Comoessabido,elprogresodelamatem aticahaciaunaexactitucadavezmayorhallevadoalaformalizaci ondeampliaspartesde ella,detalmodoquelasdeduccionespuedenllevarseacaboseg uunaspocasreglasmec anicas.Lossistemasformalesm asamplios construdoshastaahorasonelsistemade 
PrincipiaMathematic
(PM)ylateoradeconjuntosdeZermelo-Fraenkel(desarrollada a unm asporJ.vonNeumann)Estosdossistemassontanampliosquetodoslosmetodosusados hoydaenlamatem aticapuedenserformalizadosenellos,esde- cir,puedenserreducidosaunospocosaxiomasyreglasdeinferen- cia.Resultaportantonaturallaconjeturadequeestosaxiomas yreglasbastenparadecidi
toda
lascuestionesmatem aticasqupuedanserformuladasendichossistemas
Enloquesiguesmuestraqueestonoesas,sinoqueporelcontrario,enambos sistemashayproblemasrelativamentesimplesdelateoradelos n umerosnaturalesquenopuedenserdecididosconsusaxiomas (yreglas)
Yacontinuaci onesbozalaideadelademostraci on,queesloqueexpondremosaquconligerasmodicacionesparamejorentendimiento.G odel 
Elimportanteproblemaconocidocom
completitu
sucienci
deundeterminado sistemaformal.En1930elmismoG odelhabademostradoenotrofamosoteorema,l
completitu
delal ogica(pura)deprimerorden(lal ogica\usual").Enunafrase,estteoremadicequelosaxiomasyreglasdededucci onusualessonsucientesparadeciditodaslascuestionesl ogicasquepudieranserformuladasall.
Sigoaquyenlosucesivolatraducci onJes usMostern(verreferenciasalnal).

Activity (8)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Rh Espindola liked this
san fermin 1 liked this
David García liked this
David García liked this
melizarraras liked this
Lucia Andrade liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->