top of page
L ógica e Paradoxo
Dos Axiomas à Computabilidade: A Linguagem do Rigor
As revoluções espaciais d'A Janela de Euclides (Mlodinow), a álgebra binária de George Boole, a programação estruturada e a teoria de grafos de Dijkstra e os limites formais dos sistemas axiomáticos.
Precursores
Autores deste tema
bottom of page