Design Inteligente não costuma andar muito bem com qualquer área periférica
da lógica matemática.

Os resultados de algoritmos evolucionários na solução de problemas de
otimização em diversas áreas de engenharia são instâncias interessantes que
corroboram o poder de mecanismos neodarwinianos.

A teoria da "informação complexa especificada" (complex specified
information) de William Dembski possui a pretensão de exprimir uma
quantidade empiricamente informativa, mas até o momento, carece de sentido
formal. A parte de `complexidade' é descrita em termos da teoria de
informação algorítmica de Kolmogorov-Chaitin; não sei se finalmente nos
últimos anos ele publicou algum paper onde `especificidade' esteja
rigorosamente definida, mas da última vez que vi, todos os exemplos de
`especificidade' tratavam-se de restrições regulares que *reduziam* a
quantidade de complexidade algorítmica. É necessário também dar um critério
não-arbitrário de `especificidade', que *não dependa* dos interesses dos
agentes que estejam detectando os padrões a serem mensurados. Problema
similar aparece no conceito de `effective complexity' de Murray Gell Man e
Seth Lloyd.

Abraços.


2014-04-28 9:01 GMT-03:00 Júnior D. Eskelsen <[email protected]>:

> (...)
>
>
> Bom dia caro Dr. Daniel,
>
>
> Na criação de um modelo junto a Teoria do Design Inteligente e em embates
> com críticos encontrei problemas acerca metafísica, ontologia, matemática e
> lógica. Ao procurar algo relacionado encontrei uma série de emails trocados
> onde aparecia sua defesa a matemática como ontologia referenciando seu
> artigo que explana sobre lógica como metafísica.
>
> Isso se encaixa bem no artigo no qual estou trabalhando chamado Ontologia
> do Design que vai trabalhar os conceitos base para o Design e um conceito
> especial para informação.
>
> Gostaria de saber como está o andamento dessa proposta da matemática como
> ontologia.
>
>
> Grato
> Júnior. D. Eskelsen,
>
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a