Logica matematica e algebra de boole

ANALOGIA ENTRE A ÁLGEBRA DE BOOLE E A LÓGICA MATEMÁTICA

Lucas Silva Prado Carvalho

ARACAJU
NOVEMBRO - 2014
Lucas Silva Prado Carvalho

ANALOGIA ENTRE A ÁLGEBRA DE BOOLE E A LÓGICA MATEMÁTICA

Analogia entre álgebra de Boole e a lógica matemática apresentada ao professor Julio Diniz da disciplina Lógica matemática, turno noite do curso de Sistemas da Informação.

Universidade Tiradentes
Aracaju - 29/11/2014
Analogia entre Álgebra de Boole e a Lógica Matemática

George Boole (1815-1864) foi considerado um dos fundadores da Ciência da Computação, apesar de computadores não existirem em seus dias.

O matemático inglês esteve nas origens da lógica formal contemporânea. Os criadores dessa lógica procuraram tratar seu objeto de estudo tradicional (os argumentos válidos ou corretos) por meio de um aparato semelhante ao da matemática. Três características essenciais dessa disciplina inspiraram uma renovação da lógica: o uso de variáveis para representar certas grandezas, o que dá grande generalidade e agilidade ao pensamento matemático; a ideia, já presente no trabalho de Euclides (c. 450-380 a.C.), de que é possível dispor certo corpo de conhecimento na forma axiomática (no campo da geometria, o matemático grego mostrou que as verdades podiam ser deduzidas a partir de uma pequena lista de verdades fundamentais, os axiomas ou postulados); a concepção de cálculo, de um procedimento mecânico e automático para a realização de operações.

O pensamento de Boole é beneficiado pelo grande desenvolvimento da álgebra de sua época e, principalmente, pelas concepções do matemático inglês George Peacock (1791-1858). Esse autor fez pela álgebra o que Euclides fez pela geometria ‐ foi o primeiro a pensar que a álgebra podia ser organizada dedutivamente. Peacock avançou essa idéia na obra A treatise