En este caso, la razón logarítmica después de n observaciones es la sumaSn=Z1+Zn de lasn razones de verosimilitud logarítmica individual Así, aparte ··· de la cuestión de tomar una deci...En este caso, la razón logarítmica después de n observaciones es la sumaSn=Z1+Zn de lasn razones de verosimilitud logarítmica individual Así, aparte ··· de la cuestión de tomar una decisión después de cierto número de observaciones, la secuencia de proporciones logarítmicas de verosimilitudS1,S2,... es una caminata aleatoria.
Decimos que la lógica de primer orden es decidible si existe un método efectivo para determinar si una oración dada es válida o no. Resulta que no existe tal método: el problema de decidir la validez ...Decimos que la lógica de primer orden es decidible si existe un método efectivo para determinar si una oración dada es válida o no. Resulta que no existe tal método: el problema de decidir la validez de las oraciones de primer orden es irresoluble.