LÓGICO !

O principal organizador da lógica clássica foi Aristóteles, com sua obra chamada Organon. Ele divide a lógica em formal e material.
Já a lógica booleana, originalmente desenvolvida por George Boole em meados de 1800, permite que uma série de coisas pouco prováveis sejam mapeadas em bits e bytes .Na ciência da computação, as álgebras booleanas são estruturas algébricas que "capturam a essência" das operações lógicas baseada em números binários.
Por fim, Friedrich Ludwig Gottlob Frege Trabalhando na fronteira entre a filosofia e a matemática, Frege foi o principal criador da lógica matemática moderna. Sua principal preocupação básica era a sistematização do raciocínio matemático, ou dito de outra maneira, encontrar uma caracterização precisa do que é uma “demonstração matemática”