El Arggone Natinla Laboratory demostró, en esencia, que de las ecuaciones de algebra de Robbins:
x _ y = y _ x
(x _ y) _ z = x _ (y_ z)
: ( : (x_y) _ : (x_:y)) = x
Implican las ecuaciones de algebre de Boole:
x _ y = y _ x
(x _ y) _ z = x _ (y_ z)
: ( : (x_y) _ : (x_:y)) = x
Asi se demostró ser capaz de razonar con ecuaciones matemáticas, de hacer demostraciones dentro de una teoría matemática.
No hay comentarios:
Publicar un comentario