Estadstica bayesiana

La estadstica bayesiana responde a las investigaciones del matemtico britnico Thomas Bayes
(1702 - 1761), quien se preocup por el problema de la determinacin de la probabilidad de las
causas a travs de los efectos observados.

El teorema estructurado por Bayes consiste en evidenciar la probabilidad de un suceso condicionado

por la ocurrencia de otro suceso. Es decir, permite resolver un problema conocido como "de la
probabilidad inversa". Esto es, valorar probabilsticamente las posibles condiciones que rigen
supuesto que se ha observado cierto suceso. Se trata de probabilidad "inversa" en el sentido de que
la "directa" sera la probabilidad de observar algo supuesto que rigen ciertas condiciones.

Desde esta postura se afirma que los intereses de la ciencia responden justamente a la
trascendencia de la probabilidad inversa ya que procura sacar conclusiones generales (leyes) a
partir de lo objetivamente observado, y no viceversa.

A principios de silgo XX se dice que el enfoque bayesiano empieza a consolidarse, esto se ve reflejado
en la formalizacin de una teora de inferencia estadstica a travs de la teora de la decisin; entre
los aos 1920 y 1950 aportes a este enfoque por parte de autores como Ramsey, Finetti o Savage,
permitieron extender el mbito del principio de la utilidad esperada a situaciones en las que la
probabilidad debe interpretarse de manera subjetiva, y de esa manera le dieron una base firme a la
teora bayesiana de la decisin en ambiente de incertidumbre. Raiffa y Schlaifer apostaron por la
aplicacin su aplicacin en la economa.

En la actualidad, el uso del teorema de Bayes en pruebas de diagnstico es bastante comn y no

causa controversias. En cambio, es mucho ms controversial su uso en anlisis estadsticos
generales, en los que los eventos de inters estn en trminos de los valores desconocidos de los
parmetros de un modelo y por lo tanto se requiere especificar una distribucin de probabilidad
sobre dichos valores.
Diferencias entre la estadstica bayesiana y la frecuentista (clsica)1

Caractersticas del enfoque bayesinao

Cmo analizamos la evidencia, cmo cambia nuestra opinin conforme recibimos ms

informacin, y cmo tomamos decisiones en presencia de incertidumbre?

1. Uso de informacin adicional: cada problema es nico y tiene su propio contexto, del cual
se deriva la informacin inicial sobre el parmetro (o cualquier otra caracterstica) de
inters.

1
Grfico tomado de: http://www.revista.unam.mx/vol.14/num11/art42/#
 2. Interpretacin subjetiva de la probabilidad: se reconoce explcitamente que toda asignacin
de probabilidades es subjetiva (i.e., dependen del estado de informacin del individuo que
las asigna). No pretende ser un enfoque objetivo.
3. Coherencia interna: al considerar el valor del parmetro como aleatorio, los mtodos
bayesianos de inferencia se desarrollan de manera natural a partir de la teora de la
probabilidad y por lo tanto no presentan contradicciones internas.

Principio de incompletitud

Est basado en los teoremas del matemtico estadounidense Kurt Gdel (1906 1978), es para
1931 que propone, en un artculo titulado Sobre proposiciones formalmente indecidibles del
Principia Mathematica y sistemas relacionados en el que se plantean los dos teoremas
correspondientes al enfoque de la incompletitud.

Dichos teoremas afirman en general que, bajo ciertas condiciones, ninguna teora matemtica
formal capaz de describir los nmeros naturales y la aritmtica con suficiente expresividad, es a la
vez consistente y completa. Es decir, si los axiomas de dicha teora no se contradicen entre s,
entonces existen sentencias que no pueden probarse ni refutarse. Las teoras aritmticas para las
que el teorema es vlido son bsicamente aquellas en las que la deduccin de teoremas puede
realizarse mediante un algoritmo.

La prueba del teorema es totalmente explcita: en ella se construye una frmula, denotada
habitualmente G en honor a Gdel, para la que dada una demostracin de la misma, puede
construirse una refutacin, y viceversa. Sin embargo, la interpretacin natural de dicha sentencia
en trminos de nmeros naturales es verdadera. El segundo teorema de incompletitud es un caso
particular del primero: afirma que una de las sentencias indecidibles de dicha teora es aquella que
"afirma" la consistencia de la misma. Es decir, que si es sistema en cuestin es consistente, no es
posible probarlo dentro del propio sistema.

La estructura en la cual se basan los teoremas se encuentra en una teora formal de primer orden.
Una teora de primer orden no es ms que un modelo simplificado del razonamiento matemtico,
formado por dos elementos:

1. Un lenguaje formal, que consta de un conjunto de signos, y de una sintaxis, que determina
qu cadenas de signos son frmulas bien formadas.
2. Un clculo deductivo, formado por las reglas de inferencia, que definen cuando, de una
serie de frmulas dadas, una de ellas es consecuencia del resto; y por los axiomas, un
cierto conjunto de frmulas (que puede ser infinito).

Implicaciones de los teoremas

1. La verdad matemtica objetiva se opone a la mera demostrabilidad (argumento favorable

al platonismo).
 2. No hay posibilidad de construir un sistema global nico para la matemtica formalizada
(argumento en contra del logicismo y el formalismo).
3. No existe ningn algoritmo posible al que reducir la matemtica, lo que nos lleva a pensar
que la mente humana supera cualquier formalismo.
4. Gdel insisti en las implicaciones realistas, que hacen hincapi en el carcter objetivo de
los conceptos matemticos (nmero, conjunto, etctera), que rebasan cualquier intento
de formalizacin completa. Podemos decir por tanto que los conceptos matemticos son
objetos, y eso hace obstculo a la formalizacin o logificacin.
5. La explicacin del acceso a las supuestas entidades matemticas es todava problemtica,
no sabemos cmo se produce. (dificultad epistemolgica) El sujeto est, si puede decirse,
en exclusin interna de su objeto. Y, sin embargo, hay el fantasma. Lacan

Referencias

1) https://www.biografiasyvidas.com/biografia/b/bayes.htm
2) https://www.biografiasyvidas.com/biografia/g/godel.htm
3) http://www.revista.unam.mx/vol.14/num11/art42/#
4) http://ief.eco.unc.edu.ar/files/seminarios/2011/20y21marzo11_palacios_bayesiano01.pdf
5) https://www.ecured.cu/Teorema_de_Incompletitud
6) https://psicoanalisisyciencia.wordpress.com/2010/07/04/el-teorema-de-incompletud-de-
godel-sus-implicaciones-filosoficas-y-su-posible-interes-para-el-psicoanalisis/