Diosesodemonios?

Labsquedadelorigen

L
uegodelasrevoluciones,aundelasconceptuales,esnecesariounnuevoperodode estabilidad.Comosesabe,latempestadnopuededurareternamente.EsascomoenelsigloXVIII sobrevinolacalmalacienciamodernasetransformenlaproductoradelacosmovisindominante,la concepcinaristotlicafuerelegadaalosmonasteriosoalolvido,yelparadigmanewtonianoiluminla nuevaauroradelaModernidad. EluniversomecanicistanoseestablecienundaperoenloscomienzosdelsigloXIX,tantoen Inglaterracomoenelcontinenteeuropeo,brillabaconsumximaintensidad.Tantoesasquecuando en1805PierreSimondeLaplacelepresentaNapolensuobraMecnicacelestequecompletaba laobradeNewtonenalgunosdesus"aspectosmsimportntes,fueinterpeladoporelemperador, quienledijo:"Medicen,M.Laplace,quealolargodeestevoluminosolibrosobreelsistemadel universonomencionisunasolavezalCreador",aloqueLaplacerespondi:"Nohenecesitadodeesa hiptesis". ElmecanicismolaplacianoexpulsaDiosdefinitivamentedelaexplicacincientficapor considerarlounahiptesisprescindible.Eluniversolaplacianoesunmecanismoderelojeraeternoe increado. EsascomoenelcursodelossiglosXV,XVIyXVIIseproduceunatransformacinradicalenel campoconceptualdelaconcepcindeununiversopoticoyespiritual,armnicoypletricode sentido,bellodecontemplaryposibledecomprender,sepasapensarquehabitamosenun

mundomecnico,inodoro,incoloroeinspidoperomanipulableeficazmentegraciasalpoderquenos dalanuevaciencia. KurtGdelfueunhombrebastanteintrovertido,unapersonaenfermizaquesufridesdela infanciadepresiones.Removiloscimientosdelasmatemticasquesehabanconstruidodesde tiemposdeEuclideshastacomienzosdelsigloXX,ycuyasideasrepercutierondiversoscamposdel conocimiento,enespecialenlamatemtica,lafilosofaylasactualescienciasdecomputacin.Kurt Gdel,naciel28deabrilde1906enBrnn(Moravia).HijodeRudolph,propietariodeunafbrica textilyMarianne,unacultivadamadredefamilia.Graciasalasholgadaeconomafamiliardebidoal tesncomercialdesupadre,Gdelysuhermanopudieronformarseenbuenasescuelasprivadas alemanas. Comootrosgrandesfsicosymatemticos,Gdelnorevelsugenialidaddurantelainfancia.De maneraanecdticadecirqueGdelenlaasignaturadematemticasrecibiunacalificacinde insuficiente.Apesardetodofueunnioconunaenormecuriosidad,ganndoseelapodode"derHerr Warum(ElSeorPorqu)" Dospublicacionesleotorgangrannotoriedad,sutesisdoctoralescritaen1929yelteorema "berformalunentscheidbareStzederPrincipiaMathematicaundverwandterSysteme"(Sobre proposicionesformalmenteindecidiblesenlosPrincipiaMathematicaysistemasafines)publicadoen 1931.Desdetiemposinmemoriableselhombrehaqueridodarunaexplicacinatodo,ysaberel porqudelascosas.Grandespensadores,hanintentadosiempreencontrarelmtodo,elcaminoala verdadabsolutaatravsdelafilosofaydelasciencias.Estltima,sobretodoenlosltimostiempos, cogiendoterrenopocoapocoalafilosofa.Estabsquedadelaverdadsiempresehavistosometidaa continuoscambiosconmayoromenoracierto.Siemprequeunmtodoparecafuncionarparalos casosconocidos,surgaunnuevocasonoexplicable.Denuevo,sevolvaareplantearelporqudeello yelcmoresolverloy/ocontrolarlo.ParaentenderelimpactoquecauselTeoremadeGdelcuando violaluz,esnecesariotenerunavisingeneraldelasituacinenlapoca.Lasmatemticas comenzabanunaetapadeoptimismoylamayoradelosmatemticosconsiderabanquetodoaspecto delasmatemticaspodrasercodificadaensistemasquepermitierandemostrarlafalsedadoverdadde todaslasproposiciones.Cmosellegaestasituacin?Enprimerlugarsehacenecesarioexplicar queslaaxiomatizacin.Laaxiomatizacinconsisteenestablecerunaseriedereglasyrazonamientosa partirdeloscualesygraciasalasreglasdeinferenciadelsistema,sepuedallegaraotrosenunciadoso proposiciones.Unaxiomaesunaverdadquenonecesitademostracin,puessuveracidadesimplcita. Losaxiomasformanlabaseapartirdelacualcomenzaratrabajardentrodeunsistema,yunsistema axiomticoconsisteenunconjuntodeaxiomasyreglasdeinferenciaquenospermitedemostrarla veracidadofalsedaddeunaproposicin.LamatemticahasidoconsideradadesdelaAntigedad hastaelsigloXIXcomolacienciaencargadadelconocimientodelapropiedadcuantitativadelos fenmenosnaturales.

Basndoseenunaseriedeaxiomas,lamatemticapermitaformalizarlosdiversosfenmenos naturales.Unclaroejemplodeestaformalizacineslageometraeuclidiana.Euclidespartadelos siguientesaxiomasparaformalizarunarealidad: 1.Trazarunalneadesdeunpuntocualquieraaotropuntocualquiera(pordospuntospasauna recta).2.Prolongardemanerailimitadaenlnearectaunarectailimitada(unarectasepuede prolongarindefinidamente).3.Describiruncrculoparacadacentroycadaradio(porcadapuntoy paracadalongitud existeuncrculodecentroelpuntoyderadioesalongitud).4.Todoslosngulosrectossoniguales (todongulorectomidelomismo,noventagrados).5.Siunarectaalincidirsobreotrasdosformadel mismoladongulosinternosmenoresquedosrectos,lasdosrectasprolongadasalinfinitose encontrarnenelladoenqueestnlosngulosmenoresquedosrectos(siunarectacortaaotrasdos quenoguardanequidistanciaentresi,ynoformangulorectoconambas,ladosrectassecortarn) EstesistemadefinilageometraclsicahastaelsigloXIX,perosedescubriquevariandoel quintoaxioma,sustituyndoloporunonuevodetalformaquenocontradijesealosanteriores,se obtenaotrageometra,noerrnea,sinodistintaalaeuclidiana.Estopermiticrearnuevossistemasque formalizabandistintasrealidades.LlegadoelsigloXIX,loslgicosinglesesGeorgeBooleyAugustus DeMorgancodificaronlosesquemasdeductivosderazonamiento.FregeyPeanocombinaronel razonamientoformalconelestudiodelosconjuntosylosnmeros,yHilbertporsupartecreo formalizacionesdegeometramsestrictasquelasdeEuclides.Cantorporsupartehabadiseadouna teoradeconjuntosquepeseaserbastanteatractiva,contabacondiversasparadojas.Estassurgandel fenmenodelaautorreferencia.Porlotanto,eliminadalaautorreferencia,eliminadaslasparadojas. RusselyWhiteheadselanzaronaunmproboesfuerzoparaeliminarlasparadojasdelalgica,lateora denmerosydelateoradeconjuntos,ypublicaronfinalmentesustrabajosenlosPrincipia Mathematica,mostrandosusolucinalaautorreferencia:LaTeoradeTipos.Enloreferentealateora deconjuntos,bastabacontenerunconjuntodenivelbajo,quesloenglobaraobjetos.Asuvez existiraunaseriedeconjuntosdemayornivelloscualespodranincluirobjetosyconjuntosdeunnivel inferior.Losmatemticosylgicoscomenzaronaalbergardudasacercadelossistemasformales,pues parecaquelasparadojassurganrpidamenteendichossistemas.Silasparadojasdelalgicapodan darseenlamatemtica,estanotendraunasbasestanfirmescomosecrea.Fueentoncescuando comenzasurgirlametamatemtica,elestudiodelapropiamatemtica.Elrazonamientomatemtico siempresehabahechoenlenguajenatural,loquedabalugaramuchasambigedades.Russely Whitehead,ensusPrincipiaMathematica,pretendieronderivartodalamatemticadelalgica,sin ningntipodecontradiccin.Laobrafueaclamadaportodos,sibienanexistaladudadesitodala matemticaestabaenglobadaenellosysisepodanllegararesultadosdistintosusandolosmismos mtodos.FueentoncescuandoDavidHilbertpropusoalacomunidadmatemticasureto:demostrar, siguiendolosprincipiosdelosPrincipiaMathematica,queelsistemadefinidoenlosmismosfuera

coherenteyademscompleto.Enresumen,loqueHilbertpretendaeraqueapartirdeunaporcinde lasmatemticas,demostrarlasolidezdeltodo.Siestollegabaadarse,podraconsiderarsetoda demostracincomounmeroprocesomecnico,detalmodoquetodaproposicindeunsistemasera demostrable.Yanenelcasodequeexistieranfallosenelsistema,lainclusindenuevosaxiomas podrasubsanarlos.Enelao1931,Gdelpublicabasuartculo,queechabaportierraelprogramade Hilbert,puesdemostrabanosloqueelsistemadeRusselyWhiteheadtenafallos,sinoquetodo sistemaaxiomticolostendra.LapublicacindelqueseconoceracomoelTeoremadeGdelsupuso undurogolpe,puesenresumidascuentas,demostrabaqueelhombrenopodraalcanzarel

conocimientoylaverdadabsolutos.

Teoremadeincompletitud
Antesdecomenzarahablardelteorema,sehacenecesarioexplicarunaseriedeconceptosque ayudaranaunamejorcomprensindelmismo.Enprimerlugardebesabersequesunaparadoja.Una paradojaesunaproposicinquesecontradiceasmisma,unaproposicinincoherente.Unbuen ejemplodeparadojaeslafamosafrasedeScrates"Slosquenosnada".Obviamente,sinosabe nada,yasabealgo,luegolaproposicinsecontradiceasmisma.Lacontradiccindeestaparadoja surgeenelmomentoenqueScrateshacereferenciaasimismo.ElteoremadeGdeltienemuchoque verconproposicionesquehacenreferenciaasimismas.Otraparadojabastanteantiguaeslaconocida como"paradojadeEpimnidesodelmentiroso"quedeca"Loscretenses,siempreembusteros".Como Epimnideseracretensepodemostraducirlaafirmacinas:"Siempremiento.Nuncadigolaverdad". Qusepuedeinferirdeestaparadoja?SiEpimnidessiempremiente,dichaafirmacinserafalsa,por lotanto,nosiempremienteysiempredicelaverdad.Perosidicelaverdad,laafirmacinresultaraser cierta,porlotanto,siempremienteynuncadicelaverdad.Yaspodramoscontinuarhastaelinfinito, sinllegaranadaconcreto.Denuevo,laautorreferenciaproduceunaparadoja.Unavariantedela paradojadeEpimnideseslasiguiente:supongamosquenosencontramosconEpimnidesynosdice: "Estaaseveracinesfalsa".Dicelaverdadomiente?Nuevamentelaautorreferenciaproduceuna paradoja.Siemprenosencontramosconlaautorreferencia.Pensemosmsdetenidamenteenestecaso ydmosleotroaspectousandolenguajematemtico.DigamosqueB=[Estaaseveracinnoes verdad]=[Besfalsa]Lapreguntaes,Besfalsaocierta?Sonlasdosnicasopciones.Vamosa analizarlasyverquesituacionesplantean.SupongamosqueBescierta.SiBescierta,laaseveracin"B esfalsa"esverdadera.Vaya,nosencontramosanteunacontradiccin.Qutalsiprobamosconla otraopcin?VamosasuponerahoraqueBesfalsa.Siestoesas,nosencontramosconquela aseveracin"Besfalsa"noesverdad,luegopodramosdecirque"Bescierta",peronohabamos dichoqueBerafalsa?Unanuevacontradiccin.EstaparadojasermuytilparaGdel,quien sustituyelapalabra"verdad"por"demostrable".GdelcrealaproposicinG,dondeG=[Esta aseveracinnoesdemostrable]=[Gesindemostrable]GdelnosdicequepuedequeGseaverdad, peroquenolodemostraremosnunca.Nosencontramosanteelhechodequeelhechodequeuna proposicinseaverdaderatienemspesoqueelhechodequeseademostrable.Otracuriosaparadoja eslasiguiente:Lasiguienteoracinesfalsa.Laoracinanterioresverdadera.Dejamosallectorel trabajodeencontrarlaincoherencia,peronopodemosdejardesealarquenuevamenteelfenmeno delaautorreferenciaprovocalaparadoja.Enestecasoparticularcadaproposicinhacereferenciaala otra,conloquesecreaun"bucleinfinito".OtrocasoparecidoeselconocidodibujodeM.C.Escher, "Manosquedibujan".Siellectorquisierasabermssobreestos"eternosygrcilesbucles",le recomendamosellibro"Gdel,Escher,Bach.Uneternoygrcilbucle"deDouglasR.Hofstadter.

AproximacinalTeorema

En1931Gdelpublicunartculotitulado"SobreproposicionesformalmentenodecidiblesenPrincipia Mathematicaysistemasrelacionados".ElprimerteoremadeGdeldiceas:"Atodaclasecdefrmulas wconsistenterecursivaslecorrespondeunaclasesignortalqueniv

GenrniNeg(vGenr)pertenecenaFlg(c),dondeveslavariablelibreder".Esto,dichotalcual,puede sonarbastanteenrevesado,peropodramosafirmarqueelteoremadeGdeldice:entodosistema axiomticoexistenproposicionessobrelascualesnovamosapoderdemostrarsisonciertasofalsas. Gdelasimismoafirmabaquesiunsistemaesconsistente,entoncesesincompleto,ysielsistemaes completo,entoncesesinconsistente.Peroellectortalvezsepreguntequesunsistema,qusignifica queseaconsistenteoincompleto,quesunaproposicin,etctera.Vamosaintentarexplicarquees cadacosaantesdeprofundizarmsenelteorema. Einsteinygodel. Enprimerlugar,unsistemaesunconjuntodeaxiomasyreglasdeinferencia.Unaproposicinesuna afirmacinquepuedeserciertaofalsa.Porejemplo,enunsistemaaritmtico,unaproposicinpodra ser"2+2=4".Laproposicinseracierta.Otraproposicinpuedeser"3+1=7"encuyocasoserafalsa. Enloreferenteacompletitudycoherencia,unsistemaescompletocuandodentrodeelsistemapuede determinarseelstatusdeveracidadofalsedaddetodaproposicindentrolesdecir,cuandosiempre podemossabersilaproposicinesciertaofalsa.Lossistemasincompletostienenproposicioneslas cualesnopodemossabersisonciertasofalsas.Asimismo,unsistemaescoherentecuandonohay contradiccionesdeningntiponitieneningunaparadojayobviamente,esincoherentecuandonos encontramosconcontradiccionesyparadojas.sistemaconsistente(sistemalimipiodeparadojasy contradicciones)incompletosistemacompleto(sistemadondetodaproposicinpuedeser demostradaorefutadadentrodel)inconsistente EnlapocaenlaqueapareceelTeoremadeGdel,secreaquepodrancrearsesistemasque describieranlosdiversoscamposdelamatemtica(lateoradeconjuntos,lateoradenmeros,la lgica,etctera)detalmodoquedichossistemasfuerancompletosycoherentes.Seaspirabaaabarcar todoelconocimientoyensuoptimismo,losmatemticoscreanquetodopodraserdemostrado.Pero unsistemaqueincluyaproposicionesautorreferencialesgeneraparadojas,comovimosanteriormente. ElTeoremadeGdelmarcunantesyundespusenlasmatemticas.

Paraquienesnolesintereseelpensamientomatemticoolesresulteengorrosolalecturadeformulasy lgicasmatematicaspuedenprescindirdelsiguientedesarrollo.Almargendelasdemostraciones empricasenterminoslgicosymatemticosqueofreceelteorema,susconclusionesrepercutieronen otrosmbitosdelpensamientodeformasescenciales.Porlotantopuedensaltearselalecturadel apartadosiguienteycontinuarladirectamenteenlasrepercusionesquesurgendelasreflexionesque venimosdesarrollandoyquesondemostradasporelteoremadeGdel.

DemostracindelTeorema
LaspruebasdeGdelsobrelaconsistenciainternaycompletitudsebasanenlaideadela representacin,esdecir,enlaposibilidadde"representar"declaracionesmetamatemticasacercadeun sistemaformaldentrodelsistemamismo.Gdeltratadetraducirproposicionessobreelsistematales como"estaproposicinnotienedemostracinenelsistema"aproposicionesnumricas.Nodebemos perderdevistaqueelteoremadeGdelsecentraenlaaritmticaysistemasafines,porloquelas proposicionesdebentraducirseanmerosnaturales.Hacerusodelaideadelarepresentacinesla clavedelainvestigacindeGdel.lprobqueproposicionesmetamatemticasacercadeunsistema aritmticoformalizadopodanserrepresentadasporfrmulasaritmticasdentrodelpropiosistema. Unavezqueseasegurdequeeraposibleesto,elsegundopasoconsistienidearunmtodode representacintalquelepermitierademostrarquenilafrmulaaritmticacorrespondienteauna determinadaproposicinmetamatemticaverdaderaacercadelafrmula,nilafrmulaaritmtica correspondientealanegacindelaproposicin,sondemostrablesdentrodelsistema.Enresumidas cuentas,Gdelideunsistematal,queaproposicionesmetamatemticassobreelsistema,les correspondaunanicafrmulaaritmticadentrodelpropiosistemaparaacontinuacindemostrarque dichasfrmulasnoerandemostrables.ElmtodoideadoporGdelseconocecomonumeracin Gdel.ElprocesoconstadevariasfasesquevandesdelasimbolizacinnumricaGdelhastala demostracindelaimposibilidaddeprobarlaconsistenciadelaaritmticamedianteunprocesofinitista. Enprimerlugar,Gdelasociacadasmbolodecualquierfrmuladelclculounnmeroentero positivoarbitrario.Gdeloptporlasiguientesimbolizacinparaelvocabulariofundamental:

SignoconstantenmeroGdelsignificado ~1"no" 2"o" 3"implica" 4"existeun" =5"igual" 06"cero" s7"siguiente" (8"signodeaperturadeparntesis" )9"signodecierredeparntesis" ,10"coma" variablesnumricasnmerovariablesproposicionalesnmero x11p112 y13p132 z17r172 Variablespredicativasnmero P112 Q132 R172Porejemplo,elnmeroGdelasignadoalafrmula:(x)(x= sy)sera Existensignosquenoaparecenenelvocabulario,porloquenotienenasociadounvalor.Porqu? Acasonopodraprovocarestoquesequedenfueramuchasproposiciones?Larespuestaesqueno, yaqueGdeldemostrquelossignosanterioreseransuficientes,porloquepararepresentarciertas proposiciones,debentransformarseaproposicionesequivalentesqueempleenestossmbolos.Por ejemplo,laconjuncin"p^q"quedadefinidaporlaexpresin"~(~pv~q)".Enelcasodehaberuna sucesindefrmulaselnmerodeGdelsepuedeobtenerapartirdelosnmerosdeGdeldecada frmuladelasucesinporelmismoprocedimientoqueelnmeroGdeldecadaunadelasfrmulas. Esdecir,sin1,n2,...,nk,sonlosnmerosdeGdeldelaskfrmulasdeunasucesinS,elnmero GdeldeS,nSser: n1n2nS=2*3..............Pkdondepkeselprimodelugark Enresumen,todaexpresincontenidaenelsistematieneasociadounnmeroGdel.Estemtodo

estableceunacorrespondenciabiunvoca.Todaexpresindelsistemacorrespondeaunnico

nmeroGdelytodonmeroGdelestasociadoaunaexpresindelsistema.UnaquevezqueGdel establecelossmbolosbsicos,intentaconstruirlaproposicin"Estaproposicinnoesdemostrableen elsistema".EslallamadafrmulaG.Dichasfrmulapuedeponersedelasiguienteforma:G=[Gnoes demostrable]Paraellocomienzadefiniendolarelacin"lasucesindefrmulasconnmerodeGdelx esunapruebadelafrmulaconnmerodeGdelz".SeaestarelacinDem(x,z).Deformaanloga, ~Dem(x,z)eslarelacinaritmticaequivalentea"lasucesindefrmulasconnmeroGdelxnoes unapruebadelafrmulaconnmeroGdelz".LarelacinDem(x,z)vieneadecirquelaproposicin cuyonmeroGdeleszesdemostrable.SeempleatambinlanotacinaritmticaSust(m,k,m)para designarmatemticamente"elnmeroGdeldelafrmulaobtenidaapartirdelafrmuladenmero Gdelm,sustituyendoenellalavariabledenmeroGdelkporelnumeraldem".Teniendoestasdos relaciones,podemoshayarlafrmulaG.Esta,comosehacomentadoantes,debeserlarepresentacin aritmticadelaproposicinmetamatemtica"lafrmulaGnoesdemostrable".Separtedelafrmula( x)(~Dem(x,z))quequieredecirque"paratodox,lasucesindefrmulasconnmeroGdelxnoes unapruebaconnmerodeGdelz"oloqueeslomismo,lafrmuladenmeroGdelznoes demostrable.Uncasoparticulardestasera:(x)(~Dem(x,sust(y,k,y)))dondesust(y,k,y) representaunnmeroGdel.EstafrmulatieneasuvezasociadounnmeroGdeln.Sila reescribimosdelsiguientemodo,sustituyendoyporn,tendremosque(x)(~Dem(x,sust(n,k,n)))Esta eslafrmulaGquesebuscaba.ElnmeroGdelasociadoaGeselnmerosimbolizadopor sust(n,k,n),luegolafrmulaGexpresalasiguienteproposicin:"(x)(~Dem(x,sust(n,k,n)))noes demostrable".Hemosconseguidorepresentarlaproposicin"Estaproposicinnoesdemostrable" dentrodelsistema.SiseconsiguedemostrarGdentrodelsistema,sellegaraaunacontradiccin,con loqueelsistemaseraincoherente.Aspues,Gdeberasernodemostrableydeestemodocierta,por loqueelsistemaseraincompletoalnopodersedemostrarlaproposicinG.Enelcasodequela proposicinGseincluyeradentrodelconjuntodeaxiomasdelsistemaparasolucionarlaincompletitud delmismo,siguiendoelmismoprocesoobtendramoslosmismosresultados.Elsiguientepasoaseguir esprobarquesiGesdemostrable,sunegacin~Gtambinesdemostrable.Porlotanto,si( x)(~Dem(x,sust(n,k,n)))esdemostrable,entonces~(x)(~Dem(x,sust(n,k,n)))tambinloes. SuponiendoqueGesdemostrable,existiraunasucesindefrmulasaritmticasqueconstituyesenuna pruebadeG.SeaIelnmeroGdeldetalsucesindefrmulas.Porlotantotenemos(Dem(I, sust(n,k,n))).Estafrmuladebeserfrmulaaritmticaverdadera.Sinembargopuedeprobarseque estarelacinaritmticaesdeuntipotalque,sidicharelacinsedaentreunpardefinidodenmeros,la frmulaqueexpreseestehechoesdemostrable,porlotanto,(Dem(I,sust(n,k,n)))esunteorema. Ahorabien,empleandolasreglasdetransformacindelalgicaelementalseobtienelafrmula~( x)(~Dem(x,sust(n,k,n))).Estafrmulaes~G.Portanto,Gysunegacinsonambasdemostrableslo queesunaparadojapuestoqueestamosdemostrandoquelaproposicin"Estaproposicinnoes demostrable"esdemostrable,porloqueelsistemaseraincoherente.Suponiendoqueelsistemaes consistente(sincontradiccionesniparadojas),entoncestantoGcomosunegacinsonno demostrables,porloqueelsistemaseraincompleto.AncuandoseaadieraGalconjuntodeaxiomas

delsistema,podraconstruirseunanuevafrmulaverdaderaperoindecidiblesiguiendolospasos descritosanteriormente.Lapreguntaquesurgees:silaaritmticaesconsistente,entonceses incompleta?Obiensilaaritmticaescompletaesentoncesinconsistente?Pararesponderaesta cuestinsecreaunanueva

frmulaaritmticaA,querepresentalaproposicin"Existeunafrmulaaritmticaquenoes demostrable".Usandolarepresentacin,tenemosquedichaproposicinsera(y)(x)(~Dem(x,y)) Literalmente,estafrmulavieneadecirqueexistealmenosunafrmulaaritmticatalqueninguna sucesindefrmulasaritmticasconstituyenunaprueba.Esdecir,existeunafrmulaquenoes demostrable.SiseconsiguedemostrarA,sedemostraralaincompletituddelsistema.Podemos expresarlaproposicin"silaaritmticaesconsistente,entoncesesincompleta"delasiguienteforma:A Gquesera(y)(x)(~Dem(x,y))(x)(~Dem(x,Sust(n,k,n)))Puedeprobarsequelafrmula Anoesdemostrable,puessilofueseysuponiendoqueAGesdemostrable,setendracomo demostrableAyporlaregladeseparacin,serademostrabletambinG.Porlotanto,elclculosera inconsistente.Consuteorema,Gdelvinoadecirendefinitiva,comosedijoantes,quesilaaritmtica esconsistente,entoncesesincompleta,ysilaaritmticaesconsistente,suconsistencianopuede probarseporningnrazonamientometamatemticoquepuedaserrepresentadodentrodelaaritmtica.

Repercusiones
Enlacivilizacinoccidental,desdelaculturagriegahastalafechalasmatemticassehanerigidocomo fortalezadelracionalismo.Sinembargo,hastaenlamsprecisadelascienciaselhombreno

puedehuirdesufinitud.Todosistemamatemticoquepuedaconstruirseestarcondenadoala incompletitud.Gdelhamostradoqueexistenenmatemticasproblemassinsolucinquenopueden formalizarseenunsistemacompleto.Losmatemticossabenahoraquesumayorobjetivo,eldellegar alomsprofundodelascosasesinalcanzable.Suobjetivocomotalnisiquieraexiste.Lasmatemticas noposeenunarealidadautosustentableindependientedelhombreyaunqueexistiera,nuestraesencia finitanosimpediraformalizarsudescripcinenunsistemacompleto.Msan,elconocimientoracional nuncapodrllegaralaverdadltimadeluniverso.SonmuchaslasrepercusionesdeltrabajodeGdel. Lanicacondicinparasuaplicacinescontarconunsistemaderazonamientobasadoenunconjunto finitodeaxiomas.Aestadescripcinrespondentodaslasramasdelasmatemticas,fsica,astronoma, muchosplanteamientosdelafilosofaylalingstica...Sinembargo,yrelajandolacondicinpodra extendersealascienciassociales:economa,psicologa,sociologa,teologaohistoriasibienhayque decirquelaaplicacinendichoscasosnogozardelrigordesuorigen,ysepuedellegara conclusionesfalsas.Lalimitacinqueelteoremanosdescubresupusoundurogolpealformalismoy logicismomatemticosquehastaentoncestratabandealcanzarloqueresultaraserinalcanzable.Esta espuessuprimeraymsdirectarepercusin.

Formalismo
ElsentirdePeanno,Boole,DeMorgan,Hilbert,Gentzen,etc,partadequeparacualquierproposicin bienconstruidadelsistemamatemticohabradeexistirobienunademostracindeellaobienuna demostracindesucontrariaporqueenmatemticasnohayningn"ignoraremos",kein'ignorabimus'in derMathematik.Entendiendoporsistemamatemticounsistemaformal,esdecir,unconjuntode smboloscarentesdesignificadoqueloadquierenmedianteunaseriedeconvencionespreviaso axiomas.Lademostracindeestehechoquenoseponaenduda,fueelobjetivoprincipaldeHilbert. Gdelconstituyundurogolpeparaesaconcepcinclsica,lanaturalezadelaverdadmatemticase suponaqueeralademostrabilidad,peronoesas.Demostrloslmitesdelossistemasformales.La matemticasiemprecontendrverdadesindecidibles,siendoportantoinagotable.Elmtodo axiomticoresultafinitamentefecundo.ComodijoMorrisKlineunodelosformalistasdelapoca,"El fenmenodelaincompletitudconstituyeunimportantedefectoyaqueentonceselsistemaformalnoes adecuadoparademostrartodaslasafirmacionesquepodranserlocorrectamente(sincontradiccin) dentrodelsistema."TambienHermanWeylapostillaen1949:"NingnHilbertsercapazdeasegurar laconsistenciaparasiemprehemosdeestarsatisfechosdequeunsistemaaxiomticosimplede matemticashayasuperadohastaelpresenteeltestdenuestroselaboradosexperimentos matemticos...Unamatemticagenuinamenterealistadeberaconcebirse,enparangnconlafsica, comounaramadelainterpretacinteorticadelnicomundorealydeberaadoptarlamismaactitud sobriaycautelosaquemanifiestalafsicahacialasextensioneshipotticasdesusfundamentos."

Intuicionismo
LosresultadosdeGdelsontambindecisivosparaelintuicionismodeBrouwer.Aunqueyahaban

sidovistosporste,dehecholesorprendalaimportanciaqueseleestabadandoataldescubrimiento. ElmritodeGdel,sinembargo,radicaenlaconstruccindelaspruebasformalesquemuestran proposicionesindecidiblesdesdeelformalismodelaaritmticaelemental.Probtambinquenoera posibledemostrarlaconsistenciadentrodelsistema.Gdelportantoleshizoverqueelusode mtodosformalespodallevaraconclusionesprecisasqueslopodranverse