Em breve

Motivos de força maior (Jânio diria "forças terríveis") me impediram de postar ultimamente. Mas eu tenho pensado em um texto sobre programação e prova de teoremas. Espero mostrar que todo mundo que já programou em Java usou um provador automático de teoremas, mesmo que não tenha consciência disso. Isso nos levará em direção à correspondência de Church-Howard e algumas considerações defendendo a tese que programar é, basicamente, praticar uma forma de matemática construtiva. Ou quase.

Depois disso devem voltar mais alguns posts específicos sobre minha pesquisa atual e assuntos relacionados. Até.