O SENTIDO DA INCERTEZA

LUIS FELIPE GOMES DA SIL VA BACHARELADO EM MATEMTICA UNIVERSIDADE DE BRASLIA

Resumo. Este artigo trata de como um problema no determinstico

no pode ser reduzido a um problema determinstico, sem que tal reduo provoque a perda de seu sentido. E discute sobre os novos rumos da computao.

Date

: Agosto de 2012.

2 UIS FELIPE GOMES DA SILVA BACHARELADO EM MATEMTICA UNIVERSIDADE DE BRASLIA L

1 certo que quando Magali jogou sua moeda, para tirar a sorte com seu irmo mais novo e decidir quem caria com o ltimo picol justo naquele dia no qual fazia um calor infernal, no pensou muito em probabilidades ou eventos equiprovveis, quanto menos em moedas viciadas e coisas do tipo. Ela sabia apenas que era um mtodo justo de sorteio e que tranferia ao acaso, representado naquela pobre moedinha, a chance de julgar. Tais eventos em cuja deciso est alheia a vontade dos participantes so conhecidos como no determinsticos. Por mais incrvel que parea, eles governam grande parte das aes humanas corriqueiras. No algo que uma estratgia consiga resolver, pois no h como determinar uma estratgia, pois os participantes do evento nem sequer possuem uma estratgia. O mesmo acontece no mundo dos computadores. Quando Alan Turing deniu sua mquina de calcular, antes mesmo da inveno de um computador, ele foi estritamente clssico na maneira como a mquina deveria se comportar e o mundo em que ele escolheu foi o mundo da absoluta certeza matemtica, em outras palavras, sua mquina estaria connada ao mundo determinista. No entanto, em seu artigo mais famoso "On computable numbers, with an application to the entscheindungproblem"(Acerca dos nmeros computveis com uma aplicao no problema de deciso), Turing chega a cogitar a existncia de uma c-machine ou choice-machine(mquina de escolha) e diz "Quando tal mquina alcana

uma dessas ambiguas conguraes, ela no pode continuar at que alguma escolha arbitrria seja feita por um operador externo". Implicaes desse tipo so muito comuns na Fsica Quntica, quando um operador externo parece inuenciar no experimento de medida onde dois ftons so submetidos a polarizaes ortogonais. Gostaria que o leitor detesse sua ateno sobre o simples algoritmo, que ser chamado de *1, por falta de criatividade mesmo. O algoritmo *1 diz o seguinte: 1) Comece com um nmero n qualquer; 2) Se n for mpar, multiplique por 2; 3) Se for par some 1 ou subtraia 1, segundo um evento aleatrio(ou pseudoaleatrio), com a probabilidade de 1 para cada um. 4)Se o 2 nmero atual for primo, pare. Observaes interessantes sobre *1 podem ser assumidas como teses. Primeiro e mais importante. Esse algoritmo sempre para? para qualquer n?. Outra, perceba que o passo trs introduz um elemento no determinstico no algoritmo. A questo um tanto mais complexa do que parece. Imagine-se que no existe uma escolha, mas que o algoritmo sempre escolhe o caminho da esquerda quando desce na rvore de deciso. O mesmo acontece no caso simtrico, ele desceria sempre pelo lado esquerdo da rvore. Ele pararia? Para todo n? Sabemos da Estatstica que quando um evento equiprovvel N acontece 1 uma uma probabilidade P = N a tendncia natural que quando tal evento se repita tendendo ao innito, ento, o nmero de vezes em que

O SENTIDO DA INCERTEZA

cada evento ocorre tende a aproximar- de eventos similares e a experinse da probabilidade P. No caso do cia contam muito na tomada de delanamento de uma moeda, cuja prob- cises. 1 abilidade de cara e coroa de 2 a Nada obstante a juventude da Intendncia que quanto mais evento teligncia Articial, j foram obtiforem gerados mais a quantidade de dos muitos resultados relevantes com caras e coroas cam iguais. o uso de Algoritmos Genticos, RePois bem, voltando ao algoritmo des Neurais e Lgica Nebulosa, prati*1. Se considerarmos que o mecancamente os trs pilares dessa cincia. ismo de escolha divide o espao em Com isso, o mundo das mquinas duas regies equiprovveis, quanto pensadas por Alan Turing distanciamais rodarmos o programa para um se cada vez mais do mundo dos probcerto n xo a tendncia de que lemas reais, muitos deles envoltos na obtenhamos a rvore completa de de- economia, assemelhando-se a diviso ciso! Ou seja, hipoteticamente, teramos ocorreu na Fsica entre a mecnica que que rodar o programa para cada n clssica de Newton e a mecnica quninnitas vezes, mas no m a escolha tica de Bohr, Heisenberg e Schrdinger. entre a direita e a esquerda seria igual Atualmente, vrios modelos de mquinas e nesse caso poder-se-ia pensar em de Turing surgiram, inclusive para todas as possibilidades de bifurcaes. acomodar tais eventos no determinsEmbora sejam muitas e de ordem ticos, no entanto, no parece tratarexponencial, 2p , cujo p o nvel, o se apenas de invocar uma nova mquina algoritmo que considera-se apenas um em moldes antigos, mas de mudar o dos lados da escolha, no estaria busponto de vista de como deve ser feita cando apenas uma das muitas solues a computao do futuro. disponveis. Em seu diclimo artigo "Quan muito pouco provvel que o altum theory, the Church-Turing pringoritmo *1 no pare em algum mociple and the universal quantum commento, posto que o nmero de priputer", o fsico David Deutsch transmos innito, embora o algoritmo formou a clebre tese de Church-Turing s gere dois tipos de primos, os 2k+1 em um princpio fsico e deniu uma e 2k 1. mquina universal que poderia calNota-se que a riqueza de um probcular o comportamento de qualquer lema no determinstico muito susistema. perior de um problema determinsTalvez, estejamos ainda muito distico. Paradoxalmente a retirada da tantes de uma computao quntica, incerteza, acarretaria uma escassez pois sua realidade depende dos avanos de solues, enquanto que a escolha na mecnica quntica que no tem de um padro determinstico torne sido muito elucidativos e permanecem restritos a um grupo de acadmicos o problema insolvel na maior parte de sua abordagem. que dominam essa parte da cincia. Sabemos mais do que nunca que o Ainda no se pode saber quando ser humano utiliza muito o raciocnio algum poder ver um computador intuitivo quando se depara com um quntico em funcionamento, porm problema. claro que a memria sabemos que temos que, como disse

4 UIS FELIPE GOMES DA SILVA BACHARELADO EM MATEMTICA UNIVERSIDADE DE BRASLIA L

o matemtico do sculo XVII Blaise Pascal, "precisamos aprender a caminhar no incerto". Talvez esse seja o verdadeiro sentido da incerteza.