El 

sistema binario, llamado también sistema diádico1 en ciencias de la computación, es un sistema

de numeración en el que los números son representados utilizando únicamente dos cifras: cero (0)
y uno (1). Es uno de los sistemas que se utilizan en las computadoras, debido a que estas trabajan
internamente con dos niveles de voltaje, por lo cual su sistema de numeración natural es el
sistema binario.

Aplicaciones[editar]

En 1937, Claude Shannon realizó su tesis doctoral en el MIT, en la cual implantaba el Álgebra de

Boole y la aritmética binaria utilizando relés y conmutadores por primera vez en la historia.
Titulada Un Análisis Simbólico de Circuitos Conmutadores y Relés, la tesis de Shannon básicamente
fundó el diseño práctico de circuitos digitales.

En noviembre de 1937, George Stibitz, trabajando por aquel entonces en los Laboratorios Bell,

construyó una calculadora basada en relés —a la cual apodó "Modelo K" (porque la construyó en
una cocina, en inglés "kitchen")— que utilizaba la suma binaria para realizar los cálculos.
Los Laboratorios Bell autorizaron un completo programa de investigación a finales de 1938, con
Stibitz al mando.

El 8 de enero de 1940 terminaron el diseño de una "Calculadora de Números Complejos", la cual

era capaz de realizar cálculos con números complejos. En una demostración en la conferencia de
la Sociedad Estadounidense de Matemática, el 11 de septiembre de 1940, Stibitz logró enviar
comandos de manera remota a la Calculadora de Números Complejos a través de la línea
telefónica mediante un teletipo. Fue la primera máquina computadora utilizada de manera remota
a través de la línea de teléfono. Algunos participantes de la conferencia que presenciaron la
demostración fueron John von Neumann, John Mauchly y Norbert Wiener, quien escribió acerca
de dicho suceso en sus diferentes tipos de memorias en la cual alcanzó diferentes logros.
Actividada

 Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y

propone un número infinito de valores de verdad.

 Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir

que para que un argumento sea válido, las premisas y la conclusión deben compartir al
menos una variable proposicional.

 Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica

cuántica; su característica más notable es el rechazo de la propiedad distributiva.

 Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una
fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría
se reduzca.

 Lógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las

transformaciones de las proposiciones.
referencias