agosto 30, 2004
julho 28, 2004
Um ano de Ruminações
- 1984 de George Orwell. A vida de Winston Smith num regime ditatorial que absorveu todos os aspectos públicos e privados dos seus habitantes."It was terribly dangerous to let your thoughts wander when you were in any public place or within range of a telescreen. The smallest thing could give you away. A nervous tic, an unconscious look of anxiety, a habit of muttering to yourself—anything that carried with it the suggestion of abnormality, of having something to hide."
- Fahrenheit 451 de Ray Bradbury. O despertar de Guy Montag de um mundo de conteúdo simplificado onde livros são objectos para queimar. "Give the people contests they win by remembering the words to more popular songs.... Don't give them slippery stuff like philosophy or sociology to tie things up with. That way lies melancholy."
- O Processo de Franz Kafka. Joseph K. vê-se como réu de um processo judicial que não entende. "Não é necessário aceitar tudo como verdadeiro mas apenas aceitar aquilo que é necessário."
- Darkess at Noon ("O Zero e o Infinito" nas Ed. Europa-América) de Arthur Koestler. Nicholas Rubashov é um membro da velha guarda revolucionária da União Soviética (este livro é o único dos quatro que ocorre num país concreto e trata de acontecimentos verídicos mesmo que ficcionados) que se vê enredado nas purgas estalinistas dos anos 30. "A sua tarefa é simples: dourar o que é certo, enegrecer o que está errado. A política da oposição está errada. A sua tarefa é, pois, fazer com que a oposição se torne desprezível; fazer com que as massas compreendam que a oposição é um crime e que os dirigentes da oposição são criminosos. É esta a linguagem simples que as nossas massas compreendem. Se começar a falar das suas complicadas motivações, só conseguirá criar confusão nos espíritos."
Por João Neto às 08:39 0 comentário(s)
julho 26, 2004
Não se pode provar uma negativa universal? (parte II)
Explicações sobrenaturais são inerentemente inferiores às naturais. Por exemplo, são menos simples porque assumem a existência de entidades sobrenaturais (fantasmas, poltergeist, anjos, deuses, relações não triviais como na astrologia); não explicam os fenómenos de forma conveniente, produzindo mais perguntas que respostas; são menos conservativas porque é normal violarem leis naturais; não são úteis porque não são aptas para preverem acontecimentos novos. Por isso os cientistas as evitam.
[...] E se não existir uma razão natural plausível para algum fenómeno? Poderá isso justificar a existência de Deus? A nossa incapacidade para encontrar uma explicação conveniente pode simplesmente ser devido à nossa ignorância sobre o funcionamento das leis naturais. Muitos fenómenos que já tiveram explicações sobrenaturais como vulcões, terramotos e doenças são agora entendidos como fenómenos naturais. Como Santo Agostinho entendeu, os milagres não são contrários à Natureza, são contrários ao nosso conhecimento da Natureza.
Dada a inferioridade das explicações sobrenaturais e a incompletude do nosso conhecimento, os teístas apenas deveriam oferecer uma explicação sobrenatural de um fenómeno se conseguissem provar ser impossível encontrar uma explicação natural para o mesmo. Ou seja, para invalidar a prova científica da não-existência de Deus, os teístas têm de provar uma negativa universal: que nenhuma explicação natural para o fenómeno pode ser encontrada. E isso, acredito, é uma negativa universal que nenhum teísta será capaz de encontrar.
Por João Neto às 09:07 0 comentário(s)
julho 23, 2004
julho 21, 2004
Fronteiras IV
Por João Neto às 09:18 0 comentário(s)
julho 20, 2004
Não se pode provar uma negativa universal? (parte I)
De facto existem muitas negativas universais que foram provadas. Parmenides (há 2500 anos) afirmou que não podem existir contradições lógicas: não há solteiros casados, nenhum circulo é quadrado, e não existe o maior número porque estas noções são contraditórias. Elas violam a mais fundamental lei lógica: a lei da não-contradição (nada pode ter e não ter uma dada propriedade). Uma forma de provar uma negativa universal é provar que uma dada noção é contraditória (também se designa inconsistente). Para provar que Deus não existe, basta demonstrar que a concepção de Deus é inconsistente:
- O teísmo tradicional define Deus como o ser supremo, do qual não se pode conceber maior, como Santo Agostinho disse. Sabemos que não existe um número supremo X - se existisse, o número 2^X era um número maior (contradição). Muitos acreditam que a noção de um ser supremo é análoga ao de um número supremo.
- Outros (o cristianismo, por exemplo) afirmam que Deus é perfeitamente justo e misericordioso. Se é perfeitamente justo, todos terão o que merecem. Se é perfeitamente misericordioso, perdoará a todos. Mas não parece ser possível ser as duas coisas. Assim, esta noção pode ser inconsistente.
Estão são apenas algumas inconsistências encontradas nas definições tradicionais de Deus. [...] Os teístas afirmarão que se estas noções forem bem entendidas não existe contradição lógica. E se tiverem razão? Se for logicamente possível existir Deus? Será que isso implica que não se pode provar a inexistência de Deus? Não, para provar que algo não existe basta provar que é epistimologicamente desnecessário, ou seja, que esse algo não é necessário para provar nada. A Ciência tem provado a não-existência de vários conceitos desta forma, como o flogisto, o éter e o planeta Vulcão. As provas cientificas não são como as provas lógicas, não precisam estabelecer as suas conclusões para lá de qualquer dúvida. Basta que as suas conclusões estejam para lá de qualquer dúvida razoável, sendo justificação suficiente para lhes dar valor.
O flogisto, o éter e o planeta Vulcão são entidades teóricas postuladas para explicar certos fenómenos. O flogisto foi usado para explicar o calor, o éter para justificar a propagação da luz através do espaço, e Vulcão para acertar as perturbações da órbita de Mercúrio. A Ciência, desde então, mostrou que os respectivos fenómenos podem ser explicados sem invocar estes conceitos. Ao demonstrar a sua inutilidade, ficou provada a sua inexistência.
Por João Neto às 08:44 2 comentário(s)
julho 16, 2004
Ecos
Por João Neto às 17:23 0 comentário(s)
julho 15, 2004
Pontos de vista
Por João Neto às 08:34 0 comentário(s)
julho 13, 2004
Geração
Bolívia 1955-67 Conflito com a Guerrilha 200,000 mortos civis
Chile 1974 Execuções da Junta Militar 20,000 mortos civis
Colômbia 1949-62 Liberais vs. Conservadores 200,000 mortos civis
Colômbia 1970s-90s Governo vs. Guerrilha Comunista 120,000 mortos civis
Guatemala 1966-89 Governo vs. URNG 100,000 mortos civis
Nicarágua 1978-79 Guerra Civil 40,000 mortos civis
Peru 1981-89 Sendero Luminoso 20,000 mortos civis
Peru 19?? Comissão da Paz e Reconciliação 60,000 mortos civis
Egipto/Israel 1967-70 Guerra dos Seis Dias e pós-guerra 50,000 mortos civis
Síria 1981 Massacre pelo Governo da Irmandade islâmica de Hamah 10,000 mortos civis
Turquia 1984-89 Governo vs. Partido Trabalhista Curdo 10,000 mortos civis
Bangladesh 1971 Guerra civil, intervenção Indiana 1,000,000 mortos civis
Iraque 1960s-1980s Massacre dos Curdos 100,000 mortos civis
Iraque 1991 Guerra com EUA 100,000 mortos civis(?)
Iraque 2003/4 Guerra com EUA 10,000 mortos civis
Guerra Irão/Iraque 1980s 1,000,000 mortos civis
Índia 1946-48 Processo de Partição 800,000 mortos civis
Índia 1965 Índia vs. Paquistão 13,000 mortos civis
Afeganistão 1980s,90s Guerras continuas 1,000,000 mortos civis
Tadjiquistão 1992 Guerra Civil 60,000 mortos civis
Tchechénia 1990s Conflito com Rússia 30,000 mortos civis
Camboja 1975-78 Governo de Pol Pot 2,000,000 mortos civis
Camboja 1978-90 Invasão Vietname e guerra civil 20,000 mortos civis
China 1946-50 Guerra civil 5,000,000 mortos civis
China 1949-54 Reforma Agrária 4,500,000 mortos civis
China 1949-54 Supressão da contra-revolução 3,000,000 mortos civis
China 1965-75 Revolução Cultural 1,613,000 mortos civis
Indonésia 1965-66 Massacres relacionados com golpe de estado 500,000 mortos civis
Indonésia 1975-89 Anexação de Timor Leste 90,000 mortos civis
Sri Lanka 19??-hoje Conflito governo - Tigres Tamil 50,000 mortos civis
Coreias 1950-53 Guerra da Coreia 3,000,000 mortos civis
Laos 1960-73 Guerra Civil, conflito com Indónesia 12,000 mortos civis
Laos 1975-87 Governo vs Frente Libertação Nacional 30,000 mortos civis
Filipinas 1972-87 Governo vs. Movimento Muçulmano (MNLF, MILF) 20,000 mortos civis
Vietname 1945-54 Guerra da Independência com França 300,000 mortos civis
Vietname 1960-75 Guerra com EUA 1,200,000 mortos civis
Angola 1961-75 Guerra da Independência com Portugal 300,000 mortos civis
Angola 1980-88 Guerra civil 500,000 mortos civis
Algéria 1992-2002 Governo vs. FIS e GIA 100,000 mortos civis
Burundi 1972 Hutus vs. Governo 80,000 mortos civis
Burundi 1988 Hutus vs. Governo 200,000 mortos civis
Nigéria 1967-70 Guerra Civil 1,000,000 mortos civis
Ruanda 1956-65 Tutsis vs. Governo 102,000 mortos civis
Ruanda 1995 Hutu vs Tutsi 1,050,000 mortos civis
Somália 1990-93 Guerra civil 250,000 mortos civis
Sudão 1955-hoje Guerra Civil 1,900,000 mortos civis
Uganda 1971-78 Massacres Idi Amin 300,000 mortos civis
Uganda 1981-85 Massacres Governo Obote 300,000 mortos civis
Uganda 1981-89 Resistência Nacional vs. Governo 100,000 mortos civis
Congo 1960-64 Conflito de Independência(?) 100,000 mortos civis
Congo 1998-hoje Guerra civil 3,000,000 mortos civis
Jugoslávia 1990s Guerra civil 300,000 mortos civis
Principais fontes: [1,2]
Por João Neto às 11:49 0 comentário(s)
julho 02, 2004
Uma Nova Viagem


Por João Neto às 18:45 0 comentário(s)
Fronteiras III
Por João Neto às 08:47 0 comentário(s)
junho 30, 2004
junho 29, 2004
O Barco dos Loucos

Por João Neto às 08:56 0 comentário(s)
junho 24, 2004
Prêt-à-porter II
Por João Neto às 08:19 0 comentário(s)
junho 22, 2004
Prêt-à-porter
Por João Neto às 09:17 0 comentário(s)
junho 21, 2004
Física e Computação: Qual é a ponte? Quais são as margens? (última parte)
- 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.
Por João Neto às 08:40 0 comentário(s)
junho 18, 2004
Absurdos
Por João Neto às 17:06 0 comentário(s)
junho 17, 2004
Opiniões
Por João Neto às 08:30 0 comentário(s)
junho 15, 2004
Física e Computação: Qual é a ponte? Quais são as margens? (parte II)
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.
Por João Neto às 09:09 0 comentário(s)
junho 14, 2004
Medidas
Por João Neto às 08:37 0 comentário(s)
junho 09, 2004
Física e Computação: Qual é a ponte? Quais são as margens? (parte I)
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.
Por João Neto às 13:02 0 comentário(s)
junho 08, 2004
A redenção são os outros
Por João Neto às 08:29 0 comentário(s)
junho 07, 2004
Aproximação
Por João Neto às 08:38 0 comentário(s)
junho 03, 2004
Abducção
- Axiomas (verdades por definição)
- Regras de inferência (combinam verdades para produzir mais verdades)
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.
Por João Neto às 08:47 0 comentário(s)
junho 01, 2004
K.O. Técnico
Por João Neto às 08:21 0 comentário(s)
maio 31, 2004
Machina ex homo
Por João Neto às 08:38 0 comentário(s)
maio 28, 2004
Perda

Uma fotografia é o constatar da inevitável perda de um momento.
Por João Neto às 08:28 0 comentário(s)
maio 26, 2004
Majorantes
"A sanidade mental não é uma questão estatística" - George Orwell, 1984
Por João Neto às 08:21 0 comentário(s)
maio 25, 2004
Fronteiras II
Por João Neto às 08:47 0 comentário(s)
maio 24, 2004
Koan
Numa estrada infinita
o Zen espera o Fim,
o Tao caminha para o Meio,
a Fé cega ambos.
Por João Neto às 09:43 0 comentário(s)

