Quando se quer mostrar que o cálculo proposicional possui uma estrutura booleana, sempre se apresenta a Álgebra de Lindenbaum que lhe está associada. Pois eu fiquei cá pensando por que não se pode dotar o próprio conjunto de todas as fórmulas do cálculo de uma álgebra de Boole? Por que passar por todo aquele trabalho de definir uma relação de equivalência e passar o quociente? Afinal, pegue-se o conjunto de todas as fórmulas, ele é fechado pela conjunção, pela disjunção e pela negação. Pois bem, o problema é que para ser uma álgebra de Boole deveríamos ter que, entre outras, para duas fórmulas 
“[...] y el día de hoy, mi señor Don Quijote, antes se toma el pulso al haber que al saber: un asno cubierto de oro parece mejor que un caballo enalbardado” (Cervantes. Don Quijote, Segunta Parte, Cap. XX)
Os anticapitalistas costumamos a dizer que mercantilização da humanidade é característica própria do capitalismo. A cantilena do ’ser vs. ter’ é já um velho e tedioso lugar-comum entre os círculos autoproclamados bem pensantes e de esquerda. Há uma certa graça amargosa em ver os supostos progressistas, revolucionários, vanguardistas, críticos, e todos aqueles que, pela esquerda, tão avidamente abraçam as belas críticas à moral, à tradição e aos bons costumes, abraçarem incônscios o mais tradicional e costumeiro moralismo.
Aquela barra de tópico no ERC era um irritante desperdício de tela, depois de cogitar hackear o erc.el eu consegui livrar-me dela colocando '(erc-header-line-format nil) no custom-set-variables do meu .emacs (um setq direto deve provavemente obter o mesmo resultado de maneira mais robusta…).
А dizer àquela a quem se quer impressionar:
“[Senhora] De costumes suavíssimos e honestos” (Basílio da Gama. O Uraguai, Canto Terceiro)
“Sentia o egoísmo indolente dos enfermos minados pela consumpção lenta.” (Camilo Castelo Branco. A Brasileira de Prazins, XIII)
“No one would designate as the province of natural science the psychic processes of experiencing Nature and thinking about it, rather than Nature itself.” (Husserl. Formal and Transcendental Logic, p. 152)
Em resumo, se a ciência não é ciência da natureza, qual o sentido de se engajar na prática científica?
“Die Krankheit einer Zeit heilt sich durch eine Veränderung in der Lebensweise der Menschen und die Krankheit der philosophischen Probleme konnte nur eine veränderte Denkweise und Lebensweise geheilt werden, nicht durch eine Medizin die ein einzelner erfand” (Wittgenstein. Über die Grundlagen der Mathematik,Teil II, 23)
Depois de descobrir o emacs com suporte a xft eu simplesmente não consigo mais voltar às fontes horrendas do emacs sem xft. No entanto, por algum motivo, a correção ortográfica nos pacotes disponibilizados para o Ubuntu estava quebrada, algumas palavras acentuadas não eram reconhecidas. É certo que o corretor funcionava muito bem chamando o emacs com a opção -nw, mas o AUCTeX, por sua vez, não parecia muito feliz de rodar num terminal. Burlei os erros instalando o aspell e colocando o seguinte no meu ~/.emacs
;Para resolver os problemas de codificacao no emacs-snapshot-gtk
(setq-default ispell-program-name “aspell”)
(setq ispell-extra-args ‘(“–encoding=iso-8859-1″))
O NVU sumiu dos repositórios oficiais, quem como eu sente falta deste editor e é preguiçoso demais para instalar manualmente, pode ver aqui como instalar o Kompozer.
“Há uma saturnal junto de cada cova.” (Guerra Junqueiro. A sesta do senhor abade)
