505
edicións
m (Bot:formateando categorías en maíuscula) |
m (Robot: Reemplazo automático de texto (-conceito +concepto)) |
||
== Secuencias Aleatorias de Martin-Löf ==
Unha resposta consistente ao problema de definir o
== Aplicacións ==
Solomonoff propuxo o uso da regra de Bayes para obter previsión inductiva, ou sexa, para prever a secuencia dunha cadea binaria. Para isto el usou como probabilidade previa a probabilidade universal, que pode ser definida como <math>2^{-K(x)}</math>, porque ela domina toda probabilidade previa semi-computable concebible. Isto constituise no núcleo dos métodos de intelixencia artificial MDL (minimum description length) e MML (minimum message length).
A complexidade <math>K(x|y)</math> induce un
Chaitin construíu un paradoxo co tamaño dos programas que constituise nunha proba alternativa ao que ficou coñecido como proba de [[Kurt Gödel|Gödel]] (ou [[Teorema da incompletude de Gödel]]). Chaitin baseouse no paradoxo de Berry que supón considerar o menor número enteiro positivo que non pode ser definido por unha frase con menos de 1.000.000.000 de caracteres. Sen embargo, a propria definición do problema define o número e ten menos de 1.000.000.000 de caracteres, o que é unha contradicción. Isto resulta que as cadeas non se poden producir por programas que teñan menos complexidade que a propria cadea, sendo isto un limite dos sistemas formais.
|
edicións