Logicomix

27.02.11

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:

17 hacks no sistema.

  1. Lucas Castro

    uau quanta coisa! haha

    legal kra, tamos aqui esperando pelo novo portal hacktoon!

  2. Lucas Castro

    aaah, esqueci de dizer, Belo quaadro =)

  3. huoxito

    e seu eu fosse rico também financeira seu blog vei pq acho ele muito massa!

  4. Adorilson

    Huoxito,

    mas não precisa ser rico pra ajudar financeiramente o blog.
    Não creio que alguém tenha feito mais que 20 reais por ano.
    Pequenas doações são mais do que bem vindas.


    Adorilson

  5. Paulo Alcântara

    Seu eu fosse rico, também financiaria seu blog i++;

    Não dá ainda para “doar $” na Conta Bacária?

  6. Tati

    Aiai… Jornalismo com imparcialidade… Não sei se digo que não existe ou se é raro demais. Mark All As Read é uma das minhas categorias favoritas daqui!

    Omi, Karlisson! Eu nem sei o que comentar sobre esse post… Fã número 1! Quanta responsabilidade! Acho que vou pintar outro quadro pra manter o posto! Hahaha! XD

    Poxa, obrigada, cara. Tu sabe que tudo que tu disse sobre mim é o mesmo que eu acho desse omi. Manter um blog como seu, num país onde Jovens N00bs tomaram conta do termo Nerd é algo digno de palmas! Tem mais é que botar essa bagaça em inglês mermo! Domine o mundo, meu amigo!

    Enfim, adorei ter feito o quadro. A Beta e o Nerdson são muito fofos, quase que eu não te dava o quadro, pra ficar pra mim! :P

    Xêro no ôi!

  7. Tati

    Ah, gente… Deixa de desculpa, pô! Todo mundo sabe que não é preciso ser rico pra financiar o Nerdson! Se cada um de nós, leitores, doar um real por mês… Dava pra Karlisson viver num porão-nerd-labs, atualizando o blog todo dia!

  8. Juliano

    Olá,

    Já inclui seu novo blog no GReader.
    Sou o segundo a se inscrever, segundo o GReader, kkkk
    Parabéns pelo seus blogs, primeiro comentário que faço aqui, depois de um loooongo tempo assinando o feed… sempre dando boas risadas.
    gosto de tudo aqui, principalmente o mark all as read e o barrabin barrabash.
    continue assim!

    abraço de um nerd

  9. Isaque Fontinele

    Haha, ri com Zombie
    Essas linguagens de programação exotéricas existem msm (digo, compilam e td +) ou são apenas idealizações e viagens de programadores desocupados? :P

  10. J.P.

    Um quadrinho ensinando por onde quem quer aprender a programar seria bem legal, hem? =D

  11. Rodrigo

    Zé, GTFO!

  12. Lidiomar

    Você leu em português? A tradução é boa?

  13. Avatar Karlisson Bezerra

    @Lidiomar É sim, pode comprar.

  14. Sid

    Rodrigo qual é a sua cara ?….se o ze achou que a qualidade baixou…ok opiniao dele (sacas feedback :D ) ou acho melhor mudar o negocio para “Comentários ofensivos ou de conteúdo impróprio e que não seja uma babação de ovo serão enviados para /dev/null.” mas acho que isso é problema seu já que acredito que o Karlisson não pense dessa forma.

  15. Kaqui

    “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.”

    Mifu.

    Kaqui, bacharel e mestre em Computação, doutoranda em lógica.

  16. Jeferson

    @Kaqui Qual o motivo de exibir o teu “doutorando”? status? =\

    Sou mestrando em computação aplicada e não fico colocando na assinatura de email:

    “Jeferson X Y,
    Analista de sistemas,
    Bacharel em ciência da computação e mestrando em comp aplicada”

    ;)

  17. Lidiomar

    Então valeu. Vi umas páginas pela Amazon, parece bem legal. Ótima dica!