Una paradoja lógica irresoluble se convierte en el dolor de cabeza de matemáticos que estudian el aprendizaje automático
250 visitas
| votos: 5 · 0
| karma: 60
| 0
El constante desarrollo del machine-learning se ha topado con un muro gigantesco: una paradoja lógica descubierta por el matemático Kurt Godel el siglo pasado. Pero eventualmente será resuelta, ¿cierto? No mientras se sigan usando los axiomas (afirmaciones que se consideran verdaderas) sobre los cuales se basa todo el lenguaje matemático estándar.
