Logicomix

Acabei de ler o livro Logicomix e fiquei fascinado. Ele conta, através de quadrinhos, a vida de Bertrand Russel e o desafio dos estudiosos do início do século XX para criar bases sólidas para a matemática e a lógica, a busca pela verdade fundamental baseada na razão.

Há vários personagens conhecidos dos cientistas da computação: Boole, Kurt Gödel, Von Neumann e Alan Turing (apesar deste não aparecer na história), além, claro, de vários matemáticos e filósofos famosos. Há alguns trechos curiosos nele, como a relação entre a lógica e a loucura, fato facilmente observável nos nossos professores de lógica da computação. É impossível ler esse livro sem ficar com vontade de querer saber mais. Uma coisa que notei durante a leitura é que obras como essa são leituras essenciais para quem está iniciando no mundo da computação. Para estimular os estudantes é preciso prover o contexto no qual os gênios criaram suas teorias. Apenas jogar fórmulas nos slides e passar alguns exercícios não basta como "educação que se diga de qualidade e valha um outdoor orgulhando-se da nota no MEC".

Apêndice

Links interessantes que favoritei nos últimos dias: