Não vejo problema. Se tiver que escrever segredos, vou usar outro veículo.
2009/8/10 Renato Mendes Rocha
> Além disso, recomendo ler o item 11 do Termos de Serviço do Google.
>
> 11. Licença de conteúdo do usuário
>
> 11.1 O usuário retém direitos autorais e quaisquer outros direitos que já
> ti
Além disso, recomendo ler o item 11 do Termos de Serviço do Google.
11. Licença de conteúdo do usuário
11.1 O usuário retém direitos autorais e quaisquer outros direitos que já
tiver posse em relação ao Conteúdo que enviar, publicar ou exibir nos
Serviços ou através deles. Ao enviar, publicar ou
Querido João,
O LSFA do ano passado foi em Salvador...
Renata
2009/8/8 Joao Marcos
> Perdão pela falta de atenção: o volume em questão é obviamente
> referente ao LSFA do ano passado! (Ouro Preto, ago08)
>
> JM
>
>
> -- Forwarded message --
>
>
> Acabou de sair o volume do ENTC
Olha, tenho alguns grupos no Google. Aceitam anexos até 3 megas, e permitem
msgs grandes. Há com certeza a quebra da privacidade - mas alguém conta
segredos aqui na lista?
2009/8/10 Eduardo Ochs
> Os arquivos dos grupos do googlegroups sao num formato bem
> pior do que os atuais (feitos com mhon
Os arquivos dos grupos do googlegroups sao num formato bem
pior do que os atuais (feitos com mhonarc?), que estao em:
http://www.dimap.ufrn.br/pipermail/logica-l/
E alem disso o mailman (?) pode ser configurado pra aceitar
anexos maiores...
[[]],
Eduardo Ochs
eduardoo...@gmail.com
Posso dar uma sugestão? Muda para o googlegroups. Acabam os bounces por
excederem 40 kb, anexos são permitidos, e tudo o mais.
2009/8/10 O Administrador da LOGICA-L
> PessoALL:
>
> Aparentemente ocorreu uma pane geral no domínio UFRN neste fim de
> semana, e mensagens enviadas para a LOGICA-L no
Tudo bem, até concordo, mas acho que não faria muito sucesso uma frase como
experimentos duplo cego randomizados identificaram que este produto eleva
para 67,48% a possibilidade de aparecimento de câncer de pulmão...
A propósito, estimo que haja uma probabilidade de 98% de que o cerco aos
fum
-- Forwarded message --
O Departamento de Filosofia da PUC-Rio torna pública a abertura de
processo seletivo para
contratação de Professor Assistente com Doutorado em Filosofia. A
seleção será feita
para o preenchimento de 1 vaga de Professor Doutor Assistente, 40 horas,
em regime
Acabou de sair o volume do ENTCS referente ao último LSFA (Brasília, jun09).
Parabéns aos autores e editores (incluindo "B. Horizonte" ;-b)!
JM
-- Forwarded message --
* Electronic Notes in Theoretical Computer Science
Volume 247, Pages 1-156 (4 August 2009)
Proceedings of
O Departamento de Filosofia da PUC-Rio torna pública a abertura de processo
seletivo para
contratação de Professor Assistente com Doutorado em Filosofia. A seleção será
feita
para o preenchimento de 1 vaga de Professor Doutor Assistente, 40 horas,
em regime de Dedicação Exclusiva, para o início
-- Forwarded message --
From: Boletim Anpof
Date: 2009/8/8
O Programa de pós Graduação em Filosofia da Universidade Federal do
Paraná está selecionando candidatos a uma bolsa Prodoc, para dar
continuidade a um projeto já em execução sobre filosofia da
matematica. O período da bols
A pedido, encaminho.
D.
_
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-970 Florianópolis, SC - Brasil
www.cfh.ufsc.br/~dkrause
"People complain that our generation has no philosophers. Quite
unjustly: it is merely that today's
Olá Rodrigo,
Guardo comigo seu alerta, mas acredito ter sido infeliz sua citação no final da
sua mensagem, pois ela me parece pecar com o que diz no mesmo parágrafo. A
sentença final do Tractatus "Sobre aquilo de que não se pode falar, deve-se
calar" tem um sentido técnico também, compreensív
Perdão pela falta de atenção: o volume em questão é obviamente
referente ao LSFA do ano passado! (Ouro Preto, ago08)
JM
-- Forwarded message --
Acabou de sair o volume do ENTCS referente ao último LSFA (Brasília, jun09).
Parabéns aos autores e editores (incluindo "B. Horizonte"
O Programa de pós Graduação em Filosofia da Universidade Federal do
Paraná está selecionando
candidatos a uma bolsa Prodoc, para dar continuidade a um projeto já em
execução sobre
filosofia da matematica. O período da bolsa vai do segundo semestre de
2009 ao final de 2010,
com possibilidade de r
Caro Alexandre Costa Leite,
Essas questões não são falaciosas, são utilizadas como um recurso retórico mas
tem um conteúdo quase-verdadeiro. A causalidade é usada como deve ser usada.
Não dizemos que há a possibilidade do sol nascer amanhã. Dizemos amanhã quando
o sol nascer, etc.
Abraços,
Díd
Rodrigo:
Acho que o pessoALL aqui já falou sobre os pontos essenciais...
Petrúcio mostrou claramente como há diversos pressupostos por trás do
enunciado do mencionado teorema de Gödel, Marcelo mostrou como há uma
confusão no texto citado entre "demonstrabilidade" e "verdade" (a
sentença de Gödel
> Consistência e Omega-consistência: não dá para não ser técnico, mas vou
> tentar manter a técnica ao mínimo.
Boa, Marcelo!
> Um conjunto de sentenças é consistente quando qualquer subconjunto *finito*
> de fórmulas deste conjunto NÃO implica logicamente na negação de outra
> sentença do conjunt
Caros colegas:
Acabei de encontrar este livro no Gigapedia. É de uma edição esgotada.
a) Arthur Buchsbaum
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Permita-me respeitosamente discordar.
Pela mesma exigência, seria igualmente incorreto afirmar sentenças do tipo
"guerras causam a morte de pessoas". Não é uma verdade conceitual que
guerras causam a morte de pessoas porque existem mundos possíveis onde
confrontos armados ocorrem sem nenhum derram
Olá,
(1) os teoremas de Gödel
São mesmo teoremas de "incompletude"? Parece que neste caso o próprio
Gödel é responsável pela má escolha do termo "incompleteness", em
inglês, dando suporte à tradução do seu artigo feita por van
Heijenoort.
Vale lembrar também que
PessoALL:
Aparentemente ocorreu uma pane geral no domínio UFRN neste fim de
semana, e mensagens enviadas para a LOGICA-L no período podem
simplesmente ter *desaparecido* sem deixar traço...
Recordamos que os arquivos da lista podem ser encontrados on-line a partir de:
http://www.dimap.ufrn.br/p
22 matches
Mail list logo
