01/09/13

Um novo tipo de cincia e o futuro da matemtica

Umnovotipodecinciaeofuturodamatemtica
ANewKindofScienceandtheFutureofMathematics,StephenWolfram,7deJaneirode2004.
TraduzidodoartigooriginalporAmauryCarvalho,2005.
Bem,oqueeugostariadefazeressamanhfalarsobrealgumascoisasqueeufiz,nocursodemuitosanos,quepensoser
dealgumaimportnciaparaamatemticaematemticos.Seroexpostosaquiapenasesboos,maioresdetalhespoderoser
encontradosnomeulivro.
Creioqueissotudocomeoucomoumpequenoexperimentocomputacionalqueeufiznocomeode1980,oqualgostaria
demostraravocs.
Tenhotrabalhoemalgunsproblemasbsicosemfsica,ealgumacoisamaisembiologia.Euprocuravaosmaissimples
modelospossveis.Efoioquemelevouparaumparticulartipodemodelo,bastantesimples,quesetornouumaversodo
queconhecidocomoautmatocelular.
Aquiestcomoumautmatocelulardeumanicadimensotrabalha.
Imagineumalinhadeclulas,cadaqualtendoacorpretaoubranca...[VejaANewKindofScience,pgina24.]

...evoluindopaginabaixo,emdiscretospassos.[VejaNKS,pgina24.]

Comacordecadaclulacadapassosendodeterminadaporumaregrafixa,queutilizaacordacluladopassoanterior(e
suasvizinhas)comoentrada.

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

1/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Ento,sendoiacordaensimacluladopassot,matematicamentetemos:

Bem,vocpoderepresentaressaregraporumconequemostraoqueaconteceemcadaumados8casospossveisondeas
trsclulasdopassoanteriorpodemserencontradas.Nocone,asclulasdebaixorepresentamaregraaserseguida.[Veja
NKS,pgina24.]

Ento,iniciandooexemplocomumasimplesclulapretacentral,temos:

Tentemosagoramodificararegraapenasumpouco.Aquiestoutroexemplo.[NKS,pgina25]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

2/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Oexemploresultaemumpadroquadriculadoparecidocomumjogodedamas.
Noentanto,nadadissoaindasurpreendente.Nstemossimplesregras,asquaisresultamemcomportamentosigualmente
simples.
Serqueissosempreacontece?Bem,dumaolhadanisso.[NKS,25]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

3/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Noparecehaverrepeties.Executemosumpoucomais.[NKS,26]

Bem,mostraseumpadrofractalbastanteregular.
Dasetiraumaproposiogeral:searegraesuascondiesiniciaissosimples,entoocomportamentosempreterdeser
correspondentementeregularesimples.Bem,aomenosat1981issoeraoqueeuassumiaserverdade.
Masumdiadecidifazerumexperimentosistemtico:rodarcadaumadaspossveisregrasdoautmatocelularmaissimples.
Existeumtotalde256delas(doisestadospretooubrancoelevadoaoitopossibilidades),evocpodeenumerarsuas
regrasassim:[NKS,53]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

4/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Eaquiestoqueelasfazem.Existeumpoucodediversidade.Masamaioriadoscomportamentosparecembastante
simples.Uniforme,ourepetitivo,oupelomenosaninhado.[NKS,55]

Massevocolharcomcuidado,existealgunscasosondeoutrascoisassurgem.Aprimeiradelasaregra30.[NKS,27].

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

5/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Ento,vamosdarumaolhadanela:

Pareceumpoucocomplicada.Toassimtricaquantoaprpriaregra.Tentemosexecutlaumpoucomais.[NKS,30]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

6/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Bem,existeumgrupodelistasperidicassobreaparteesquerda.Masooutroladoparecerealmentecomplicado.
Verdadeiramenteumtipodealeatoriedade.
Quandoviissopelaprimeiravez,euacrediteiqueeraumproblemacomnossosistemavisual.Oqueaconteciacomalguma
regularidade,masnossosistemavisualnotinhaquebrado.
Entocomeceiatentartodotipodemtodosestatsticosematemticosnessaregra.Eexistecertamentemuitacoisaque
poderamosdizersobrearegra30:quehummapa,pequenasecrescentesperturbaes,ecertosespectrosdepontos
peridicos.
Opadrotemumaprofundidadediagonalddepelomenosdoiselevadod.Naesquerda,operodomuitopequeno,
masnadireita,beiraaolimite.
Digamosqueolhemosnacolunaverticalcentraldeclulas.Poderiaseimaginaremutilizlaparaumpasseioaleatrio.
Aquiestoprimeiromilhodepassos.[NKS,871]

Certamente,noparecehaverrepetio.Eseolharmosemumaclulavizinhaocasional,podeseconstatarisso.Defato,
essaregrapassaemtodosostestesestatsticosdepadrodealeatoriedade.Incluindoasdeanlisecriptogrficas.
Atualmente,nsusamosessencialmenteessaseqnciaparacriarinteirosaleatriosnoMathematicanosltimos16anos.
Eelepassouemzilhesdetestes,mesmonaquelesondemuitosoutrosgeradoresdenmerospseudoaleatriosfalharam.
[NKS,30]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

7/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Aindaassimaregra30tosimplesinternamente,quealgumquefiguranomundodamatemticadirquedevehaver
*alguma*formadeanalisla.
Bem,comoaquecimento,vamosdarumaolhadanaregra90.[NKS,26]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

8/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Essaregraapenasusaovalordorestodadivisodasomadasvizinhaspordois.

Ento,elacriaotriangulodePascalmdulo2.[NKS,611]

Issosignificaquevocpodeencontraracor(restodadivisopordois)daposioxepassotdeumcoeficiente
binomial.Outambm,atualmenteapenasfazeroperaesbinriasdeOUdosdgitosentreosinteirosdexet.[NKS,
608]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

9/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Bem,temosaquioutroexemplocomoesse.Aregra150.

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

10/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

outraregraaditiva.[NKS,611]

Masagoraprocedendocomtrinmios,nobinmios,envolvendoentofunesdeGegenbauer.[NKS,610]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

11/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Bem,qualquerregraaditivaresultarempadresaninhados.Essasuspeitapodeserdescritaporalgumafunohiper
geomtrica.
Masaregra30noaditiva,enohnenhumafunoespecialquepareadescrevla.[NKS,30]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

12/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Naturalmente,emcadapasso,elafazapenasumasimplesfunobooleana.[NKS,616]

Aqualpoderseiaescreverdediversasformas.

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

13/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Masopontoquesuasiteraesnososimples.Naregra90,tudopermanecemuitosimples.[NKS,618]

Masnaregra30,issonoacontece.[NKS,618]

AquiestasexpressesDNF(DisjunctiveNormalForm)mnimasdecincopassos,almdarvoreNAND(noE)

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

14/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

absolutamnimadedoispassos.[NKS,619]

Poderiaseprosseguir,masobsicoqueexistedefinitivamentealgumacoisarealacontecendo.
Existealgoquerealmenteestnosimpedindodeexplicarmosaregra30.[NKS,30]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

15/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Serissomesmoimportante?Seraregra30apenasumcuriosocasoisolado?Ouissooprimeirosinaldealgumprofundo
egeralfenmeno?
Bem,aquiestumoutroautmatocelular.[NKS,67]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

16/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Muitodomesmotipodecomportamentoacontece.Mesmoemumadimensoouemduasdimenses.[NKS,174]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

17/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Outrs.[NKS,183]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

18/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Maseemoutrossistemas?Regrasdeautmatoscelularespossuemmuitosaspectosespeciais.Ento,oqueacontecesevoc
analisaroutroexemplodesistema?
AquiestumamquinadeTuring.[NKS,78]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

19/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Demuitasformaselapareceumautmatocelular.Masumadiferenabsicaqueelasomenteatualizaumaclulaporvez.
Bem,asprimeirasmilmquinasdeTuringsomentefazemessetipodecoisa.[NKS,79]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

20/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Massecontinuarmosexecutandoas,aindacomregrasbemsimples,encontraremosisso:[NKS,81]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

21/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Omesmotipodecomportamentoquevimosemumautmatocelular.
Eaquiestumautmatodeiteraofinitadeumgrupodetericosquerecentementechamaramminhaateno:

Novamente,amesmaestria.
Bem,oqueacontecesensnofixarmosvetoresdeclulas?Aquiestumsistemadesubstituioseqencial,quecada
iteraoreescrevecadeias(strings).[NKS,90]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

22/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Eusaregrassimplesparaobtercomportamentosbastantecomplexos.[NKS,92]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

23/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Aquiestumtipoumpoucodiferentedesistema:umamquinaregistradora.[NKS,100]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

24/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

comoumaidealizaomnimadalinguagemdamaquina.Eamenormaquinaregistradorapossuicomportamento
complexo.
Aquiestoqueeuchamosistemasimblico.[NKS,102]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

25/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

UmtipodeidealizaomnimadaestruturaporbaixodoMathematica.Ougeneralizaodecombinadores.E,
novamente,amesmaestria.[NKS,104]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

26/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Umacoisasobretodosessessistemasquetenhomostradoqueelessomenteevoluemseqencialmentedeumpassopara
outro.Bem,aquiestumquenofazisso.

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

27/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Euchamoodesistemademltiploscaminhos.Eletemregrasparareescrevercadeias(strings),quepodemseraplicadasde
todasasformaspossveis.umtipodesemisemigrupo.E,novamente,mesmoamaissimplesregraresultaemtodotipode
comportamentocomplexo.[NKS,206]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

28/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Realmentenotemquehaverqualquertipodeprocessoevolutivo.Considereumproblemademalhaemquetemoscomo
restriocircularemcadaclula,ondesomentecertasvizinhanassopermitidas.[NKS,213]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

29/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Bem,comessaconfigurao,setraarmosoplanoentopoderemossemprefazloperiodicamenteemumadessas171
formas.[NKS,214]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

30/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Massetambmdissermosqueoplanonopodesertodobranco,entoaproximadamente19milhesderestriesdaro
isso.[NKS,219]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

31/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Esseoprimeirotraadodemalhanecessariamentenoperidico.Tipodequadradomnimoquasecristal.Ou,uma
interessantebidimensionalsubtrocadefinitostipos.
Bem,indoumpoucomaisalm,veramoscasoscomoesse:[NKS,221]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

32/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Umamalhaforadaafazeropadrodaregra30.Oqueseriabastanteinteressantedeencontraremumcristalreal.
Bem,OK,esobreosnmeros?Aquiestaseqnciadedgitosobtidospelosucessvelincrementodeuminteiro.[NKS,
118]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

33/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Umsimplespadroaninhado.
Aquiestoosmltiplosdedois,nabasedois.[NKS,119]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

34/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Bemtrivial.Masaquiestoosmltiplosdetrs,nabasedois.[NKS,119]

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

35/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

Avanar

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

36/37

01/09/13

Um novo tipo de cincia e o futuro da matemtica

UnlimitedHosting
UnlimitedSpaceandBandWidth,FreeDomain,FreeSiteBuilder,PHP/MySQL
www.GridHoster.com

file:///home/mauricio/Documentos/Um novo tipo de cincia e o futuro da matemtica.html

37/37