Supongamos que tengo acceso a una moneda justa. ¿Es posible encontrar un procedimiento que (1) devuelva VERDADERO con una probabilidad irracional (digamos $1/\sqrt{2}$ ) y FALSE en caso contrario, y (2) termina en un tiempo finito?
Yo pensaría que no, porque al fin y al cabo sólo estoy asignando VERDADERO o FALSO a secuencias de lanzamientos de monedas, y cualquier asignación de este tipo resulta en una probabilidad racional. Sin embargo, no creo que sea malo preguntar: ¿hay alguna forma extraordinariamente inteligente de extraer probabilidades irracionales?
[Editar] ¿Y si relajamos la condición (2) a "termina con probabilidad 1"? (¡Gracias usuario6312!)