Arxe Logic

Teorema de la Indecidibilidad de la Medición

• Si un sistema contiene solo dos condiciones

  $q, q′$la medición definida entre ellos es única y necesaria.

• Si un sistema contiene tres condiciones

  $q,q\text{′},q\text{′′}$, la medición definida entre ellos es indecidible, porque existen múltiples pares posibles de inicio-fin y el sistema no provee criterio interno para seleccionar uno.

Medición: lo que media entre dos términos

Formalización

Teorema de la Indecidibilidad de la Medición

• Si un sistema contiene solo dos condiciones

  $q, q′$la medición definida entre ellos es única y necesaria.

• Si un sistema contiene tres condiciones

  $q,q\text{′},q\text{′′}$, la medición definida entre ellos es indecidible, porque existen múltiples pares posibles de inicio-fin y el sistema no provee criterio interno para seleccionar uno.