Você não está criticando, Décio. Você está ofendendo a muitos
de nós, que pensamos e agimos politicamente de modo muito
diferente de você.
Mas quero me manifestar de um modo mais geral sobre
o que tem me incomodado. Uma lista temática congrega
pessoas que podem divergir muito em temas alheios aos
É uma ilusão de achar romanticamente que em 64 havia uma opção entre uma
democracia liberal e uma social. Era uma opção entre dois autoritarismos,
um autoritarismo de esquerda, feroz, sanguinário, só Che matou mais de 600
no paredón , e um autoritarismo de direita, envergonhado que toda hora
falava
> Como assim, "nada se fala"? Onde você estava durante a ditadura? Você
> não lia os jornais? E os jornais de depois, nos quais se continuou
> falando? E televisão? Você assistia? Ainda assiste?... E livros, você
Eduardo, me referia à tal Comissão da Verdade que procura denunciar apenas os
crime
>
> E impressionante como a idiotice, para empregar um termo do Eduardo, se
> manifesta. Se você critica alguém, imediatamente se insere no time
> supostamente oposto. Criticar o Grande Boçal não faz de ninguém um admirador
> de Hitler ou do Golbery. Pelamordedeus... Depois, Golbery era pio
Arthur, sua tese tem dois erros fatais (ao meu ver) > O Brasil e alguns outros
países deveriam repensar profundamente a
> conveniência da existência de suas forças armadas, na medida em que for
> constatado que estas não estão se subordinando na prática à vontade soberana
> de seus cidadãos. As m
Prezados,
Eu nao vou ter a mesma educacao ou fineza da Andrea. Entao, por favor,
parem de encher a minha paciencia e a minha caixa postal com assuntos que
nao sao de interesse da lista!
Criem a lista de voces (algo como eu nao tenho educacao e quero discutir
sobre politica, ou bisteca fiorentina,
Não me referia ao senhor quanto à essa admiração pelo dito cujo
austríaco, mas se a carapuça serviu, fique à vontade. E o que falar
dos neo-liberais, filhotes da corja militar? Acho salutar opiniões
divergentes. Gera entropia,
O senhor critica Castro, Chaves, etc. E
que dizer dos office-boys e laca
Só uma observação: a discussão aqui não começou tão gratuitamente quanto
parece. Não foi o Décio, salvo engano, quem linkou o artigo sobre a suposta
refutação do livre mercado neoliberal via procedimentos lógicos. E daí começou
a quizumba.
Manjo (ainda) menos de lógica do que gostaria. Mas not
Prezados,
Ainda estou pondo em dia as mensagens, portanto desculpem-me caso alguém
já tenha apontado para o site
http://www.peticaopublica.com.br/
onde é possivel criar uma peticao e colher assinaturas.
[]s
Jerusa.
--
JERUSA MARCHI
INE - CTC - UFSC
-
oi Jerusa,
obrigada pela sugestao! eu nao sabia sobre esse site nao.
mas 'e claro que precisamos fazer a nossa lista consensual (tanto qto
possivel) de boas revistas de logica matematica, filosofica e pra
computacao, antes de criar qq peticao.
Eduardo, voce pode fazer um google doc/group com as su
Pois é, Francisco, e a questão é: a teoria "neoclássica" - sejamos precisos com
o que primeiro quiseram dizer com isso: o neoliberalismo - no qual colocam a
Terceira Via britânica, o FHC, decerto o Roberto Camos, o estatismo
desenvolvimentista dos milicos brasileiros, Guilherme Merquior et cater
Explicação sobre como funciona o temido Axioma da Escolha
http://xkcd.com/982/
(para adicionar mais graça à anedota, suponham que estejamos falando
da coleção de participantes desta lista de Lógica que esquecem as
regras básicas de NETiqueta e o tema central da lista quando se
envolvem em discussõ
Prezados Colegas do GT Lógica, estudantes e demais interessados:
Como amplamente divulgado pela ANPOF, permanecem abertas as inscrições
para o XV Encontro Nacional da ANPOF que será realizado entre os dias
22 e 26 de outubro de 2010 em Curitiba, PR, vão até dia 15 de março.
Como Coordenador do GT
Tim Gowers comentou esta carta da Elsevier ponto a ponto:
http://gowers.wordpress.com/2012/02/26/elseviers-open-letter-point-by-point-and-some-further-arguments/
JM
2012/2/27 Walter Carnielli :
> ==
> A letter to the mathematics community.
>
> We are writing to let you know of a se
Marcelo
Eu respondi a você em off ,mas como mandou sua mensagem também para a lista, eu
envio minha resposta idem, mas solicito privacidade daqui para a frente,
atendendo nossos colegas, que têm razão. Eu escrevi o seguinte, aqui algo
modificado:
Não sou saudosista dessa corja, Marcelo. Apenas
Puxa, isto está interessante, Georgenes. Dória, o que acha? Qual seria a "tese
certa" na opinião de vocês? Se me permitem, falo como lógico. Quando temos uma
certa concepção algo vaga, como o liberalismo ou mesmo uma teoria científica (e
vou ficar nelas) proposta informalmente, como uma teoria
Tem uma construção devida a Post (1944) que mostra como da indecidibilidade
passamos à incompletude. Sempre me pareceu que indecidibilidade é o
fenômeno mais básico, já que a obtemos num ambiente informal, por assim
dizer, e o caminho contrário, a passagem da incompletude à
indecidibilidade, requer
Sim, Dória, independente de sistemas axiomáticos em particular, mas sim de que
sua linguagem seja recursiva, etc, como nas condições do teorema de Gödel.
Assim, concordo que, independentemene se uma formulação particular, o seu
resultado se aplique, mas as condições do Teorema devem ser cumprida
Ah, uma coisa: no teorema tipo Rice abaixo, até o domínio de P é
indecidível.
On Tue, Feb 28, 2012 at 9:57 PM, Francisco Antonio Doria <
famado...@gmail.com> wrote:
> Tem uma construção devida a Post (1944) que mostra como da
> indecidibilidade passamos à incompletude. Sempre me pareceu que
> ind
-- Forwarded message --
From: Francisco Antonio Doria
Date: Tue, Feb 28, 2012 at 10:18 PM
Subject: Re: [Logica-l] Sobre alguns teoremas de indecidibilidade e
incompletude
To: Décio Krause
Teoria informal como p.e. no livro do Rogers - não dá pra fazer teoria da
computação em lin
20 matches
Mail list logo
