Do Desterro

Cálculo proposicional e álgebras de Boole

almuulin — Wed, 04 Jun 2008 20:03:47 +0000

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 e , , mas a fórmula não é igual à fórmula (embora o conjunto de todas as fórmulas logicamente equivalentes a seja de fato igual ao conjunto de todas as fórmulas logicamente equivalentes a , dados os axiomas, regras de inferência e noção de equivalência clássicas), e portanto o conjunto de todas as fórmulas do cálculo proposicional não forma uma álgebra de Boole.

Arqueologia do ‘ser vs. ter’, ou do moralismo dos imoralistas

almuulin — Fri, 28 Mar 2008 11:20:19 +0000

“[...] 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.

Como esconder a barra de topic no ERC

almuulin — Sat, 26 Jan 2008 19:02:55 +0000

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…).

almuulin — Sat, 19 Jan 2008 14:01:44 +0000

А dizer àquela a quem se quer impressionar:

“[Senhora] De costumes suavíssimos e honestos” (Basílio da Gama. O Uraguai, Canto Terceiro)

Da depressão/Espelho d’alma

almuulin — Wed, 24 Oct 2007 14:22:10 +0000

“Sentia o egoísmo indolente dos enfermos minados pela consumpção lenta.” (Camilo Castelo Branco. A Brasileira de Prazins, XIII)

Ainda o argumento transcendental em favor do realismo

almuulin — Wed, 26 Sep 2007 12:29:56 +0000

“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?

São os problemas filosóficos mera doença de certas formas de vida?

almuulin — Sat, 15 Sep 2007 23:16:10 +0000

“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)

Correção ortográfica quebrada no emacs-snapshot-gtk no Ubuntu feisty

almuulin — Tue, 11 Sep 2007 17:49:11 +0000

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″))

NVU no feisty

almuulin — Tue, 11 Sep 2007 17:43:36 +0000

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.

[Quelque chose à détourner]

almuulin — Tue, 11 Sep 2007 15:57:06 +0000

“Há uma saturnal junto de cada cova.” (Guerra Junqueiro. A sesta do senhor abade)