Concessões

Há demasiadas sedes para não se beber de nenhuma.

Uma breve História da Computação (parte IV)

Enquanto a abordagem matemática-operacional da computação se desenvolvia a partir do esforço de Turing (com o sobressalto evidente da 2ª guerra mundial que transferiu a sua imensa inteligência para o sucesso da desencriptação da máquina Nazi Enigma), a neurocomputação dava os seus primeiros passos. Pode indicar-se, com relativa segurança, que o trio mais influente do início da neurocomputação foi constituído pelos artigos seminais escritos por Warren McCulloch e Walter Pitts em 1943, o livro de Donald Hebb em 1949 e o artigo de Frank Rosenblatt em 1958.

No conjunto destes artigos foi mostrado que um paradigma computacional baseado e inspirado na actividade do cérebro humano tinha poder computacional não trivial e que poderia ser estudado matematicamente (McCulloch e Pitts demonstraram que até redes neuronais simples eram capazes de computar funções lógicas e aritméticas). Mostrou-se também que o condicionamento clássico observado nos animais era uma propriedade de neurónios individuais (Hebb apresentou uma lei de aprendizagem específica para as ligações sinápticas entre neurónios). Finalmente, com a apresentação do perceptrão e do neurocomputador MARK I nos fins da década de 50, Rosenblatt mostrou que a aprendizagem automática e o reconhecimento de padrões eram exequíveis neste contexto computacional.

Na década de 60, a investigação expandiu-se tanto na análise matemática como na simulação computacional de redes neuronais artificiais. Block, colega de Rosenblatt, demonstrou que o perceptrão constituído por um único neurónio era capaz de classificar problemas de um determinado contexto, se essa classificação fosse matematicamente possível. Em 1960, Bernard Widrow e Marcian Hoff, apresentaram um novo algoritmo adaptativo capaz de aprender mais depressa e acuradamente que o perceptrão. A regra apresentada era simples e elegante, e ela ou uma das suas variações, ainda são usadas em alguns sistemas actuais. Eles assumiram que o algoritmo era capaz de avaliar o erro entre a saída desejada e aquela que de facto era calculada pela rede num dado instante. Com esse dado, a rede adaptar-se-ia para minimizar o erro e aproximar-se da classificação óptima para o problema. Este algoritmo de correcção ficou conhecido por LMS, e foi aplicado pelos autores no conhecido modelo ADALINE. [cont.]

Viagem II

A 6000 Km de Tétis (baptizado com o nome da deusa dos mares) e a 500.000 Km (!) de Saturno (do Cronos grego, o senhor do Tempo)

O hemisfério ocidental de Tétis é dominado por uma cratera gigante (observável nesta imagem no lado da sombra) denominada Odisseus, de 400 Km de diâmetro. Devido a este imenso impacto (40% do diâmetro do satélite) não ter destruído Tétis, supõe-se que não era completamente sólido nessa altura.

The Sounds of Silence

Silêncio:
as cigarras escutam
o canto das rochas.

- Matsuo Banshô (1644-1694)

Sábios

- Mas como sobreviverão esses sábios?
- O povo alimentá-los-á dia após dia.
- O povo não pode vir um dia cansar-se de os alimentar?
- Quando, em toda a superficie da Terra, já não houver um único ser disposto a alimentar um sábio, é que o mundo já não merece os sábios e é tempo de eles se irem embora.
- Deixar-se-ão morrer?
- Quando o mundo tiver abandonado os sábios, os sábios desertá-lo-ão. Então o mundo ficará sozinho, e sofrerá com a sua solidão

Este texto foi retirado de "Os Jardins de Luz", livro escrito pelo notável narrador que é Amin Maalouf sobre o profeta Mani, um homem do século III esquecido (e deturpado) pela História. Porém, para mim, no diálogo encontram-se reflexos actuais. Vivemos num Presente, na sua maior parte do tempo, ocupado pela infindável torrente do efémero, do culto à superficialidade e do prazer imediato das soluções fáceis. Não há muitos que tenham paciência de ouvir que os problemas podem ser difíceis, que a ignorância não é solução para nada, que as respostas podem exigir ainda mais sacrifícios e que a factura do Futuro é menor se for paga agora. O que observo localmente é o desinteresse progressivo dos assuntos importantes que vão permeando o mundo. Acho que é um sintoma não darmos devida atenção aos sábios que ainda temos. Quando um deles morre, não perdemos informação nem sequer conhecimento, mas perdemos um juízo sobre o que fazer com essa informação e com esse conhecimento. Eu pessoalmente não gosto da solidão.

ps: "Os Jardins de Luz" pertence à colecção Mil Folhas do Público. Custou-me €4,20. Não conheço melhor negócio que um livro bom e barato.

Recordações de Berlim, inspirada por Wim Wenders

Serão os anjos voyeurs?
Ou sofrerão com o nosso sofrimento?
Talvez precisem dos nossos tormentos
para se sentirem (quase) vivos?
Porventura preferem correr atrás de nós
quando nos sentem embriagados
de felicidade.

Elephant

Fui ver o Elephant, que foi seguido por uma longa insónia.
Como dormir depois de espreitar por cima deste elefante e aperceber toda a insanidade social de Columbine e sem a certeza de que logo à noite, quando ligar a televisão, não encontrarei imagens de outra escola, de outros jovens, do mesmo drama.
Como prevenir o que não se explica?
Como explicar o inconcebível?

Viagem I

O amanhecer visto de Europa, hoje às 11h15 GMT
sLx

Uma breve Historia da Computação (parte III)

[I,II] Para responder negativamente à questão de Gödel, Turing mostrou inicialmente que a intuição de que problemas progressivamente mais complexos necessitavam de máquinas cada vez mais complexas, estava errada. Turing construiu uma máquina U que dado um problema computável P era capaz de simular a execução de uma qualquer máquina capaz de resolver P, sendo, portanto, capaz de resolver o problema em questão. Por esta razão, Turing chamou à máquina U a máquina universal. É a existência teórica desta máquina que deu origem, algumas décadas depois, aos computadores actuais. Turing provou que o entscheidungsproblem poderia ser traduzido num outro problema, denominado por problema da paragem (do inglês, The Halting Problem):

Seja uma máquina de Turing M e um conjunto de dados iniciais I. Será que a execução de M sobre I termina?

Assim, demonstrou por redução ao absurdo, que se existisse uma máquina de Turing capaz de garantir o problema da paragem de qualquer máquina de Turing, a execução dessa máquina, para certos casos, conduzia a situações contraditórias. Isto implicava que não havia nenhuma máquina capaz de resolver o problema da paragem nem o Entscheidungsproblem. O resultado negava a questão deixada em aberto por Gödel! A matemática revela-se incompletamente mecanizável, i.e., por mais complexo que seja o formalismo apresentado haverá sempre proposições indecidíveis que nem sequer podem ser identificadas como tal nessa formalização.

Entretanto, o número de formalismos apresentados na literatura científica aumentava (por exemplo, as máquinas URM, o cálculo lambda, as funções parciais recursivas). Todos se exprimiam uns nos outros e quando não acontecia era porque o sistema proposto tinha falhas que lhe reduziam a capacidade efectiva. As mais variadas formas de expressão da computabilidade – baseadas em diferentes abordagens – eram análogas. Kleene, em 1952, apelidou de Tese de Church a conjectura vigente que a máquina de Turing e os equivalentes exprimiam o conceito intuitivo de algoritmo.

Mas, apesar desta nova e inesperada limitação da Matemática – e provavelmente a descoberta mais significativa e profunda da Matemática de todo o Século XX – o caminho teórico estava aberto para a construção dos computadores. [cont.]

ps: Referi na 1ª parte que Hilbert, em 1900, apresentou 23 problemas como desafios para o Século XX. Já só restam 3 por resolver, o 6º, o 8º e o 16º. Curiosamente, ontem surgiu a notícia que uma estudante de 22 anos em Estocolmo resolveu parcialmente o 16º, resultado que será apresentado em breve.

Oscar was wilde

America is the only country that went from barbarism to decadence without civilization in between.
Oscar Wilde
I am not young enough to know everything.
Oscar Wilde

Kafka lives

Pensamento n. 1: Nem sempre as coisas são o que parecem (trivialidade)
Pensamento n. 2: A discrepância é particularmente importante quando a promessa é grande
Exemplo: Recentemente tive oportunidade de privar com alguns iluminados da transparência. Objectivo nobre. Grande promessa. E no entanto... como tal norma pode ser manipulada para promover a maior opacidade...
Veja-se: Que tal promover reuniões para produzir actas particularmente negativas sobre algumas pessoas? A acta é um instrumento de divulgação e, portanto, de transparência. Certo, na reunião também foram focadas outras pessoas. Caso pouco importante, porque o que interessa é frisar, na acta, o tal instrumento de transparência, o que nos interessa. Também é naturalmente secundário saber como se conduziu o processo para que: 1) a pessoa visada pelas críticas não esteja presente, já que todos têm o hábito salutar de falar mais facilmente das pessoas e menos elogiosamente das suas qualidades na sua ausência; 2) a conversa fosse encaminhada para a avaliação crítica... E depois produz-se a dita acta, símbolo de transparência, para que, claro, tudo fique... claro.
Exemplo n. 2: Organize-se um abaixo assinado para instar a que um orgão de arbitragem avalie possíveis irregularidades. Eis a base que pede transparência. Pouco importa se a irregularidade existiu ou não. Ao fim de algum tempo (leia-se poucos dias), já ninguém se lembra de qual a acusação exacta. Mas todos se lembram de que era hedionda, inconfessável, indigna, uma mancha na hora da própria instituição (alguns dos mais absorver irão mesmo até à «querida instituição»). À medida que o tempo passa, a acusação vai mudando, até se tornar quase corriqueira. No entanto, a apreciação é mais inerte e a multidão já se fixou e agora quer sangue. Corre o abaixo assinado, firmado por pessoas com os olhos cada vez mais raiados de sangue. O que interessa a acusação?
Resta a questão: como dialogar com quem só quer a transparência e finca pé neste chavão?
Exagero? Excessos kafkianos? Mania da perseguição? Venham trabalhar comigo e aprenderão que, se não verificarem sempre os vossos passos, poderão a qualquer momento ser vítimas... da transparência.

Conversações Oníricas

Ocorre-me, por vezes, misturar na memória sonhos e conversas
que esbatem a fronteira entre o desejado e o ocorrido.

Contrários

A ignorância não produz felicidade. A ignorância limita, dilui diferenças, reduz opções, aproxima sentimentos. Da apatia à violência, do prazer à inveja, do desejo à satisfação do desejo. O conhecimento também não produz felicidade. Traça fronteiras e expande-as, intensifica tudo (o bom e o mau), permite a escolha dos caminhos possíveis e exige a responsabilidade dessa escolha. Ao limitar os desejos limita-nos, mas não limita os outros.

Canções

As cigarras cantam
sem saberem que é a morte
que as escuta

- Matsuo Banshô (1644-1694)

Outono

O Outono enche os dias. Oiço um momento criado por Keith Jarret e conservado no CD "The Köln Concert". Notas libertas de um piano num maravilhoso improviso. Se tivesse que ter inveja de alguém seria dos compositores.

Oportunidades

É a luz no fundo do túnel que nos permite ver o túnel.

Uma breve Historia da Computação (parte II)

[parte 1] O que era um algoritmo? Interessava associar à ideia intuitiva,

Um algoritmo (ou procedimento efectivo), é um conjunto de regras bem definidas, que nos informa, de momento a momento, o que se deve fazer.

uma precisa definição matemática (apesar de não ser óbvio que fosse possível descobrir um conceito formal equivalente a esta definição intuitiva). O problema desta explicação é que está baseada na capacidade do executor de interpretar correctamente as regras. Um observador incapaz poderia não entender a explicação ou, por outro lado, um observador demasiado capaz (ou totalmente fora do contexto) poderia induzir efeitos secundários não previstos por quem a determinou. Uma melhor forma para definir um algoritmo, para além de fornecer o conjunto das regras, seria dar os detalhes do mecanismo de interpretação dessas mesmas regras. Assim, um algoritmo passaria a ser:

a) uma linguagem que introduz a sintaxe e a gramática das regras,
b) um mecanismo de interpretação dessa linguagem,
c) um conjunto de regras respeitando as restrições estabelecidas em a).

Durante um curso em Cambridge, Alan Turing ouviu falar do Entscheidungsproblem e ao pensar nele considerou que era necessário modelar o processo pelo qual o matemático atinge a prova de uma dada conjectura. Assim, tomou a expressão ‘processo mecânico’ usada por Hilbert figurativamente, no sentido literal. Em 1936, apresentou o que é hoje conhecido por Máquina de Turing, um formalismo que não tendo um cariz essencialmente matemático, era uma máquina no sentido intuitivo do termo. Possuía um sistema de controle que determinava o comportamento da máquina, uma fita onde armazenava informação e uma cabeça de leitura/escrita.

Com esta estranha máquina, Turing conseguiu responder à questão deixada aberta por Gödel: seria possível saber algoritmicamente se uma proposição arbitrária é indecidível num dado sistema? A resposta de Turing deu o golpe final no programa de Hilbert: não! [cont.]

Aikido conceptual

Já que temos de ser avisados do óbvio...

Blogs, spams e Gomi

“Blogs evolved out of a desire to remove barriers to online conversation, and restricting their ability to add comments would seriously reduce the sort of lively debate that makes them so interesting.” [1]

Aparentemente, os tremendos produtores de spam estão a começar a apontar as suas armas de irritação massiva para os nossos blogs. Daqui a uns meses, vamos ter misturados nos comentários que apreciamos ler (isto quando os comentários funcionam...) informações tão úteis como ganhar facilmente mil milhões de dólares, ter um pénis 50% maior mesmo se for mulher, ser doutorado em Física Nuclear pela Universidade Virtual de Bratislava, ou observar as variantes sexuais mais milaborantes com um mamífero à escolha. É triste e gostava que se encontrasse uma solução, mas de facto não vejo como.

Os Japoneses têm um termo muito interessante, Gomi, que significa o conteúdo "excremental" que as culturas produzem. Isto incluí a música Pimba, os Big Brothers e mais 90% da TV. Também incluí, por exemplo, artigos científicos onde a arte do copy-paste e da vacuidade de conceitos pressionada pela necessidade de fazer papers afecta a Ciência actual. Mas não vejo melhor exemplo de Gomi do que os milhões de spams que infectam a Internet diariamente...

Contenção

A balança mantém-se equilibrada entre o desejo e o castigo,
entre a luz do dia e a escuridão da sala. Para o que olha esta mulher?

Uma breve Historia da Computação (parte I)

Em 1900, no Congresso Internacional de Paris, o eminente matemático alemão David Hilbert apresentou o que considerava serem os 23 problemas mais relevantes na Matemática para o novo século que surgia. O último problema dessa lista, perguntava se existiria um processo mecânico pelo qual a verdade ou falsidade de qualquer conjectura matemática poderia ser decidida. Este problema ficou conhecido por Entscheidungsproblem (a palavra alemã Entscheidung significa decisão). Do ponto de vista matemático, implicava a existência de um sistema axiomático bem definido onde todas as consequências decorrentes da aplicação das regras do sistema seriam teoremas válidos e todas as verdades matemáticas seriam por ele demonstráveis.

Em 1931, o lógico austríaco Kurt Gödel criou uma formalização desse sistema. Porém, o presente estava envenenado, limitando definitivamente as esperanças de Hilbert sobre o assunto. Gödel concluía que existiam proposições indecidíveis, i.e., em relação às quais não se poderia demonstrar validade nem falsidade, em qualquer sistema que Hilbert propusera. Se um sistema fosse capaz de representar a aritmética, por ser coerente (demonstra só expressões verdadeiras) implica obrigatoriamente que é incompleto (não é possível concluir tudo o que é verdadeiro). Num segundo resultado, Gödel demonstrou que a consistência de um sistema não se pode provar dentro do próprio sistema. Isto implicava que para além de ser incompleta, a Matemática tinha irremediavelmente de “confiar” na coerência dos seus próprios resultados(!)

No entanto, Gödel tinha deixado por resolver se seria ou não possível responder à questão seguinte: dado um sistema axiomático e uma qualquer proposição, é possível saber algoritmicamente se a proposição é indecidível nesse sistema? Se esta resposta fosse positiva, poder-se-ia eliminar as proposições indecidíveis e trabalhar somente com as restantes dentro do contexto do sistema. Caso contrário, a matemática ficaria para sempre “infectada” de proposições cujo valor lógico não poderia ser demonstrado. Ainda no âmbito desta questão, estava em aberto o problema de se saber exactamente o que algoritmo significava. O que era um algoritmo? [cont.]

Efemeridades

Num atalho da montanha
sorrindo
uma violeta

- Matsuo Banshô (1644-1694)

Estatísticas

Cada vida é um produto de improbabilidades cuja soma, à posteriori, resulta numa certeza.

A linguagem privada da Injustiça

"[...] Romanized governments dismay us. They always resolve themselves into widely separated Ascendants and Subjects, the latter being more numerous than the former, of course. Sometimes it's done with great subtlety as it was in America, the slow accumulations of power, law upon law and all of it manipulated by an elite whose monopoly it is to understand the private language of injustice." - The White Plague, Frank Herbert

Sejam modelos, mesas ou simplesmente luz

O Astrónomo sempre estudou um objecto demasiado grande para a compreensão Humana.
Ontem e hoje nada somos sem instrumentos.

Efeito Borboleta II

"Force, violence, or fraud may not be employed to bring about the conversion of an unbeliever. Such means would be sinful" - The Catholic Encyclopedia

Santo Agostinho (354-430) é um dos doutores máximos da Igreja. Os seus escritos estruturaram a teologia católica durante (pelo menos) um milénio. O motivo deste post é a aparente relevância de uma interpretação. No Evangelho segundo Lucas, num banquete onde Jesus falaria e onde os convidados tinham-se recusado a comparecer, diz-se: "Sai pelos caminhos e valados e força-os a entrar, para que a minha casa se encha.(Lucas 14:23)". S. Agostinho interpretou a frase anterior dizendo que o Novo Testamento justificava o uso da força na tentativa de conversão dos pagãos. Em breve esta interpretação foi formulada juridicamente: "Os hereges devem ser coagidos à sua própria salvação mesmo contra a sua vontade". E devido à sua autoridade, este principio tornou-se mais tarde num fundamento da Inquisição. Um pequeno deslize hermenêutico que desencadeou outros. Daqui ao resto da História foi o voo da borboleta. [1]

Solidão

Nem lua nem estrelas -
O bebedor de saké
bebe sozinho.

- Matsuo Banshô (1644-1694)

Gestão

A melhor forma de manter um segredo é fazer com que os outros acreditem conhecer a resposta. [1,2]

Principio ou fim de viagem?

Para o viajante a nostalgia do prazer não reside no destino mas no caminho.

As cores nas terras do Tzar

Sergei Mikhailovich Prokudin-Gorskii (1863-1944) foi um Russo que no inicio do século XX teve a ideia genial de criar um sistema que produzia fotografias a cores! Com este processo ele foi capaz de retratar em centenas de fotografias o Império Russo de 1907 até 1915, com as cores que até então só tinham sido descritas por pinturas.

A sua técnica baseava-se no mesmo principio utilizado hoje em dia (a composição de três cores fundamentais, como o sistema RGB). Ele tirava três fotografias a preto e branco com três filtros diferentes (vermelho, azul e verde) que eram posteriormente sobrepostas e projectadas para criar a imagem final a cores (como se vê neste exemplo).