Aula 01, 12.08.

2014
Isto est errado, ou no faz sentido. No
foi o que falei. A lgica clssica abomina
contradies porque elas leva
trivializao das teorias que as tm por
base. Explico isso mais tarde.
Suponha que elas se encontram. Da...contradio. Ele imaginava figuras que no poderiam
existir na realidade.
Voc deve procurar ler algo a respeito de Boole e de seu trabalho.
Referncias sugeridas:
1. R. L. Wilder, Introduction to the foundations of mathematics
2. P. J . Davis e Hersh, R. A experincia matemtica
3. D. Krause, Introduo aos fundamentos axiomticos da cincia