Uma Nova Viagem

Com a sonda Cassini-Huygens, temos a oportunidade de aprofundar o conhecimento sobre o sistema de Saturno. Uma das características especiais deste planeta gigante são os seus anéis. Três deles podem ser vistos da Terra, os anéis C, B e A (progressivamente mais distantes do planeta, como se vê na seguinte simulação do planeta com a posição correcta dos satélites às 18h30 de hoje). O espaço entre os anéis A e B é chamado de divisão de Cassini (um astrónomo Francês do século 17-18) cujas descobertas inspiraram o nome da sonda. Um buraco muito mais fino na camada exterior do anel A designa-se divisão de Encke (que também se observa nesta imagem).

Há muita informação sobre os anéis de Saturno mas conhece-se pouco das causas e efeitos de Saturno e dos seus satélites sobre a estrutura e estabilidade dos anéis (nestes últimos dias têm-se multiplicado imagens com extremo detalhe). Um curioso facto ocorre com o anel F (exterior ao anel A) que, devido à interacção de duas luas "pastoras", mantém uma pequena espessura, às quais deve também a sua estabilidade (ou assim se pensa). Na figura simulada é possível intuir o anel F a partir da posição dessas luas (Prometeu e Pandora).

Fronteiras III

Como ver a escuridão senão pela luz? Como descobrir o labirinto sem a esperança da saída? Como se saber feliz sem a memória do momento oposto? Dou valor aos cinzentos por lhes conhecer os extremos.

Distinções

 

 

(c) Bill Watterson

O Barco dos Loucos

A Renascença desenvolveu uma deliciosa, porém horrível forma de lidar com os seus cidadãos loucos: eram postos num barco e confiados à navegação, porque, como toda a gente sabia, o mar e a loucura tinham afinidades entre si. Assim, os barcos dos loucos cruzavam os mares e os canais da Europa com a sua cómica e patética carga de almas. Alguns encontravam uma cura na flutuante mudança de cenários, na insolação do naufrago, enquanto outros afastavam-se ainda mais, pioravam, morriam longe da terra natal e da família. Desta forma, cidades e vilas livravam-se dos seus loucos e ao mesmo tempo desfrutavam do prazer ocasional de acolher um novo barco, uma novidade de lunáticos estrangeiros que atracavam nos seus portos por uns dias. (adaptado da introdução de Jose Barchilon ao livro de Michael Foucault, "História da Loucura")

Prêt-à-porter II

Qual o prazo de validade de uma ideia? Vestem-se de palavras e dificilmente se despem. Habitam um presente que rápido se faz passado. Nascem num Homem amanhã já morto. E o que sobra? Distorção de algumas, esquecimento das outras.

Prêt-à-porter

Quando mentes vestes essa roupa a mais que te afasta da nudez da Verdade. Não te esqueças que, embora pareça, não está assim tanto frio.

Física e Computação: Qual é a ponte? Quais são as margens? (última parte)

Não creio, porém, que a validade da Tese de Church seja uma má notícia para o progresso da Ciência. Existem muitos pontos obscuros e talvez algumas luzes que apontam para descobertas futuras:

• As recentes ligações entre sistemas dinâmicos e a computabilidade. Por um lado as questões da Teoria da Computação passam a ser relevantes em outros domínios físicos. Também as características dos sistemas dinâmicos (como a teoria do Caos) tornam-se mais próximos da computação. Há sistemas dinâmicos cuja capacidade de computação convive com a existência de órbitas estranhas e comportamentos caóticos.
• A complexidade emergente de um conjunto de interacções simples pode trazer respostas fundamentais sobre variados processos naturais. Mesmo se a Tese de Church Estendida for válida, a emergência produzida pela interacção de um enorme número de unidades simples pode ser suficiente para a resolução efectiva de muitas instâncias de problemas exponenciais.
• A aleatoriedade inscrita na Matemática (descoberta por Chaitin) pode criar outros contactos entre a computação, os processos estocásticos e a dinâmica quântica.
• A possível construção de uma nova visão científica baseada nos números discretos (defendida por Zuse, Fredkin e Wolfram no livro “A New Kind of Science”) pode libertar as teorias matemáticas e os modelos físicos dos números reais. Uma consequência deste facto seria aproximar a visão da Física à visão da Computação, salientando outros contactos entre estas duas disciplinas (ainda) misteriosamente interligadas.

Absurdos

Porque olho o espelho quando não me quero ver? Porque manter a TV ligada que tanto me cansa? Porque insisto no que posso evitar? Serão as matizes da queixa, o atraente brilho de uma ânsia absurda?

Opiniões

"Senhor, é melhor morrer de acordo com as regras do que viver em contradição com a Faculdade de Medicina" - Moliére [Médico a falar com um paciente recuperado por um tratamento heterodoxo]

Física e Computação: Qual é a ponte? Quais são as margens? (parte II)

Será possível que o Universo se reja por leis computáveis? E se assim for, será que a Tese de Church Estendida se verifica? A recente linha de investigação da computação quântica parece negá-la. É possível encontrar algoritmos polinomiais nas máquinas quânticas para problemas cuja solução na MT possui complexidade exponencial. Mas ainda não existe um computador quântico em funcionamento nem existem estimativas concretas para alcançar esse objectivo... Porém, é conhecido que os limites computacionais dos computadores quânticos são iguais aos da MT, logo não são máquinas super-Turing (MST) que – caso existissem – negariam a Tese de Church. Talvez Einstein ao comentar “Deus não joga aos dados” quisesse dizer “Deus não usa máquinas super-Turing”. Talvez não suspeitasse tanto da Teoria Quântica se conhecesse estes resultados.

Existem investigações sobre MST capazes de executar hipercomputações (i.e., computações para lá do limite das MT). Uma familia dessas máquinas baseia-se no uso de reais. Os números reais possuem uma longa história de sucesso na Matemática. São o alicerce do cálculo, ferramenta indispensável na teoria de Newton e na maioria das teorias físicas. Os modelos da Física usam reais para representar a nossa imagem do Mundo. Desta forma, os construtores deste tipo de MST defendem-se por utilizarem a mesma bagagem conceptual usada da descrição da realidade. Mas será isto uma atitude defensável? Os reais são conceitos abstractos. Da mesma forma que o círculo ou a recta são idealizações úteis para o geómetra, os reais são idealizações úteis para o físico. Nem os círculos nem os reais existem a não ser, talvez, como ideais platónicos. Não possuem correspondência na realidade, cujas pistas providenciadas pela Ciência moderna apontam cada vez mais para a essência discreta da Natureza. Qualquer modelo é apenas um reflexo distorcido da realidade. O contínuo é uma aproximação do discreto, uma ferramenta conceptual capaz de simplificar teorias cientificas mas que pode adulterar conclusões se for levada aos seus extremos lógicos. Existe um limite para o qual as abstracções não são concretizáveis.

Medidas

Talvez o horizonte nos fascine porque podemos preenchê-lo com a mesma imaginação que nos povoa a memória.

Física e Computação: Qual é a ponte? Quais são as margens? (parte I)

Desde os anos 30, os formalismos apresentados para descrever computação multiplicaram-se (ver História da Computação). As mais variadas formas de expressão da computabilidade eram análogas. Seria a computação uma invenção ou uma descoberta? O que começara como uma série de invenções, abstracções matemáticas livres de contexto, tornaram-se reflexos de uma descoberta mais profunda. Kleene, em 1952, apelidou de Tese de Church a conjectura vigente que a máquina de Turing (MT) e sistemas equivalentes exprimiam o conceito intuitivo de algoritmo. Esta tese teve posteriormente uma versão mais forte, a Tese de Church Estendida que afirma que qualquer processo computacional fisicamente realizável pode ser simulado por uma MT com atraso polinomial. Ou seja, as computações executadas por MT são tão eficientes (em termos de complexidade) como qualquer sistema computacional fisicamente realizável.

Num outro caminho, no fim do Século XIX, começavam a surgir diversas pistas que obscureciam o sucesso sem precedentes da Física. A precessão de Mercúrio não era explicável pela teoria de Newton; a radiação do corpo negro, um problema posto por Kirchhoff, não podia ser resolvido convenientemente pela Física da altura. Esses e outros eventos levaram à construção da Teoria da Relatividade e da Teoria Quântica, revolucionando totalmente a Física dos últimos 100 anos.

Em 1993 descobriu-se que usando somente as leis de Newton, existem situações gravitacionais com N corpos que não seguem um padrão simulável num computador. isto é, demonstrou-se que o cálculo dessas órbitas não são computáveis pela MT! Porém, ao usar efeitos relativistas, as órbitas recaíam novamente no domínio da Tese de Church. Não é uma questão explicável pela noção de caos (o efeito permanece se fornecermos ao sistema dados com precisão infinita). Ou seja, a Teoria de Newton viola a Tese de Church-Turing. O que significa isto? Poderemos usar a Tese de Church como elemento falsificador de teorias científicas? Um modelo teórico pode ser invalidado se for encontrado um fenómeno não computável pela MT? A Tese de Church não pode ser violada por modelos físicos? Toda a Física tem de ser computável? Estas questões terão respostas muito diferentes de físicos e filósofos, mas o facto da pertinência da pergunta já é suficientemente interessante para uma investigação mais profunda.

A redenção são os outros

A distância indiferente dos planetas diz-me tanto como este lápis. O sentido de mim faço-o nos outros, em ti, naquele que talvez nunca conheça.

Aproximação

Aprendemos e ensinamos por sucessivas aproximações do que achamos ser verdade. Aproximação é palavra suave para dizer mentira. Não tem grande mal enquanto nos lembrarmos disso. Aluno e professor.

Abducção

Uma teoria matemática (i.e., um sistema axiomático) define-se através de:

• Axiomas (verdades por definição)
• Regras de inferência (combinam verdades para produzir mais verdades)

Um teorema T é verdadeiro a partir de uma teoria se existir uma sequência finita de passos lógicos que levem a T. Estes passos lógicos têm de começar em verdades conhecidas (axiomas ou teoremas já conhecidos) sendo aplicações das referidas regras de inferência. Assim, o raciocínio matemático é puramente dedutivo. Toda a verdade está contida na teoria inicial. A dedução é a única ferramenta capaz de extrair os padrões enterrados nessa teoria. Por isso se diz que não é possível extrair um teorema de 20 Kg de uma teoria que só pesa 10 Kg.

Mas a Matemática também se faz de pessoas. E nem sempre a dedução é o único processo utilizado. Em vez dos constante pequenos passos sobre a luz de um sistema axiomático, dá-se ocasionalmente enormes saltos no escuro. E no seio do desconhecido encontra-se uma potencial verdade (uma conjectura) de 20Kg à qual a nossa teoria de 10Kg não permite validar e para a qual é necessário recriar, expandir (ou mesmo deitar fora) a teoria utilizada. Muitos destes saltos são processos de indução (que já aqui referi) ou de abducção (palavra introduzida por Charles Peirce). Enquanto a indução diz:

A1 é B
A2 é B
A3 é B
--------------------------
Logo todos os Ai são B

A abducção diz:

Se ocorre C então ocorre D
Ocorreu D
--------------------------
Logo ocorreu C

Ambos os raciocícios podem produzir conclusões erradas. No entanto estes raciocinios fazem parte integrante da forma como construímos explicações do Universo. Mesmo que as conclusões não sejam verdadeiras per si (tendo de se validar por meios dedutivos ou estatísticos), Peirce argumentou que a indução e a abducção fazem parte de uma "lógica" da descoberta. Este processo seguiria os passos seguintes:

1) Observação de um problema não previsto pelas Leis em vigor (ou de uma conjectura de 20Kg sobre uma teoria de 10Kg)
2) Abducção de uma hipótese nova (que leve a uma teoria com 20Kg ou mais) para explicar (1)
3) Teste indutivo com experimentações para validar determinadas propriedades de (2)
4) Confirmação dedutiva de (1) a partir de (2)

Para Peirce a abducção era restrita à geração de hipóteses explanatórias (servindo apenas no passo (1) da descoberta científica). Posteriormente foi generalizada como um tipo de inferência - se não válida - pelo menos tão criativa como a indução.

K.O. Técnico

A memória entra sempre em conflito com a História. Durante algum tempo. Depois da morte da última testemunha, a História ganha por falta de comparência.

Machina ex homo

Quanto do que fazemos é hábito ou reacção? Relembrar diariamente que não somos só piloto automático.

Perda

Uma fotografia é o constatar da inevitável perda de um momento.

Majorantes

"A sanidade mental não é uma questão estatística" - George Orwell, 1984

Fronteiras II

Da pele nasceu em nós a ideia de fronteira. Desta imitação que não evitamos, transferimo-la para as linhas imaginadas entre rios e montanhas. Só que a pele cresce, é fonte de prazer, está viva. As fronteiras são apenas dela um reflexo de morte.

Koan

Numa estrada infinita
o Zen espera o Fim,
o Tao caminha para o Meio,
a Fé cega ambos.

Micro-narrativas

A blogoesfera é composta por autores, uma intricada rede de blogs e leitores. Apesar da necessidade do emissor por receptores não ser tão forte como nos media, qualquer autor gosta de leitores interessados. Isto ocorre principalmente nos blogs "profissionais" mas não deixa de reflectir-se nos alternativos menos atraídos pelas estatísticas da Technorati. Esta dinâmica favorece descrições sucintas, sem rodeios, com o menor número possível de palavras. Textos longos são lidos em diagonal, o olhar fixa-se nas poucas linhas que encerram "mensagens de sucesso".

Na literatura existem diversas micro-narrativas que exploram os limites da linguagem escrita. Pouco se explica confiando na interpretação alheia. A história contida nesse micro-relato é tão versátil quanto a imaginação voluntariosa do leitor. Tarefa arriscada quando destinado a um público amplo mas atraente pelo espartilho de simplicidade que promove. Entre os exemplos tradicionais encontramos os aforismos, os poemas Haiku, os Koan. Actualmente, destaco as Greguerías de Ramón Gomez de la Serna, os Contos de Gin Tonic do Mário Henrique Leiria e na blogoesfera, as Mil e uma pequenas histórias de Luís Ene. Até se encontram conselhos para esta nova-velha arte.

Encontro

Vermeer - Mulher lendo uma carta

Coberta de expectativa ou surpresa, uma carta é expressão de um momento, de um desejo, de um relato. Mensagem que redime o mensageiro, ideia que se lê, intenção que se escreve, memória retida no silêncio desse triplo encontro.

Fluxo

A cada dia acumulamos diferenças que nos alteram. Cada um de nós é um somatório de passados sobrepostos numa série de contigências até este preciso segundo. Talvez explique porque muitas relações não funcionam ao fim de uns anos: quem se juntou já não existe. Somos outros a manter compromissos de outrora.

Ao racista interessado:

O sexo não surgiu para a reprodução. Muitos seres vivos multiplicam-se sozinhos desde há milhares de milhões de anos. O sexo existe para a mistura.

Fronteiras I

Tudo na fronteira é aversão às tensões que a delimitam.

O Ovo da Serpente

Ingmar Bergman realizou, em 1977, "The Serpent's Egg" sobre Abel Rosenberg, um americano que vai viver na Alemanha dos anos 20. Rosenberg apercebe-se da estranha direcção que a nação Alemã parece seguir. Um dos personagens descreve essa estranheza como o ovo da serpente. Inofensivo porém transparente o ovo mostra, a quem o observar, o animal que germina dentro de si. Uma promessa por cumprir. À espera.

Há 71 anos, no dia 10 de Maio de 1933, em Berlim e noutras cidades várias universidades juntaram pilhas de livros caídos em desgraça pela serpente nazi que enredava lentamente todos os poderes da frágil República Alemã. Esses livros serviram para alimentar enormes fogueiras e discursos que arderam nessa noite. Hitler e o NSDAP tinham acedido ao poder há pouco mais de dois meses. Há três semanas que o novo chanceler alemão dispunha de poder ditatorial. A serpente saíra do ovo e crescia. O pouco que antes havia para resolver transformar-se-ia num Inferno lavrado por dezenas de milhões de mortos.

Aos Georges Bushes (X)

Que seria da virtude sem o vício? Num mundo sem sexo como exerceria o casto a sua hipocrisia?

Diferenças

Os dias correm e limitamo-nos a correr atrás deles. Passamos o tempo a reagir perante o mundo, somos solucionadores de uma sequência infindável de pequenos e grandes problemas. Aprendemos e planeamos para melhorar as respostas, reagimos em conformidade, gerimos as crises dos erros cometidos. Deste limitado ponto de vista, o que nos destingue? Qualquer animal relativamente evoluído é capaz de reagir, aprender, planear. Não é difícil observar uma progressão de capacidades desde os répteis até aos mamíferos, dos Primatas aos Humanos. Deste limitado ponto de vista, existe uma diferença quantitativa do Homo Sapiens em relação às restantes espécies: aprendemos mais, planeamos melhor, aperfeiçoámos a linguagem com a invenção da escrita, construímos sociedades e culturas mais complexas.

Existe igualmente uma diferença qualitativa: a consciência do eu, a análise dos próprios comportamentos, a capacidade de auto-crítica. Esta diferença não serve para responder a perguntas mas para questionar essas mesmas perguntas. Sem ela, é conveniente aceitar a moralidade imposta pela sociedade. É preferível não reler o que já vem acompanhado por algo parecido a uma resposta. É fácil acreditar no branco/preto, no que nos dizem que é certo ou errado, no bom e no mau, o que deve ser ou não censurado.

É verdade que para vivermos em democracia existe a aceitação implícita de um contrato social: cada um de nós transfere um pouco dos seus possíveis para vivermos segundo um padrão de direitos partilhados. Mas nesta transferência não se tem de passar o "eu" para a sociedade. A Ética individual não se esvai na moral actual (que tanto muda). A crítica não tem de parar na convenção do que é errado. O olhar não deve reflectir-se no verniz dos preconceitos. Esse esforço, o esforço que realmente nos destingue dos animais é nosso, nunca dos outros. É um preço demasiado alto a pagar quando decidimos encher de ócio, tédio ou ódio o que nos sobra destes dias que tanto correm.

Viagens

Luis Bacharel - Nocturna, a máquina fantástica

Cada viagem desejada é uma promessa de passado a guardar no futuro. Há aquelas a cumprir na chegada ao destino e há outras a criar no caminho percorrido. Ainda há as que não interessa para onde ou por onde se vai mas como se fazem. É quando o Horizonte se torna mais belo.