Aderiste às msgs via iPhone? :))
Me junto a teus parabens!!!
2011/11/12 Valeria De Paiva valeria.depa...@gmail.com
Parabens Ruy e Ju!
Sent from my iPhone
On Nov 11, 2011, at 3:18 PM, Ruy de Queiroz r...@cin.ufpe.br wrote:
Caros(as),
Estão todos convidados a comparecer ao lançamento
Caro Ruy:
meus sinceros parabéns à Angiolina, a você e ao Dov. Infelizmente,
esta mensagem não vale como RSVP
porque Recife está um tanto longe... :-)
Mas o Dov Gabbay tem tido tantas parcerias por aqui que já merece
ser considerado um lógioc brasileiro, assim como
os australianos
http://www.cartacapital.com.br/sociedade/miguel-nicolelis-%E2%80%9Ceinstein-nao-seria-considerado-pesquisador-top-no-cnpq-brasileiro%E2%80%9D/#.Tr1UNtt6tlo.facebook
--
fad
ahhata alati, awienta Wilushati
___
Logica-l mailing list
Caros Anderson e Rodrigo, caros todos os que têm se esmerado na discussão
(notadamente, o João Marcos, Andréia e Daniel, que me parece que mais
debateram ):
Parabenizo a todos pelo enorme esforço em digitar milhares de
linhas e manter o foco da discussão.
Acho que esta proposta do
Olá Walter
Vou acrescentar uma sugestão:
11) set-theoretic: conjuntista.
E uma pergunta:
12) proof-theoretic: prova-teorética(o)?
Abraço
Rodrigo
2011/11/12 Walter Carnielli walter.carnie...@gmail.com
Caros Anderson e Rodrigo, caros todos os que têm se esmerado na
discussão
2011/11/12 Rodrigo Freire freires...@gmail.com
Olá Walter
Vou acrescentar uma sugestão:
11) set-theoretic: conjuntista.
E uma pergunta:
12) proof-theoretic: prova-teorética(o)?
Feio paca...
Abraço
Rodrigo
2011/11/12 Walter Carnielli walter.carnie...@gmail.com
Caros
Parabéns Ruy e demais autores. Certamente mais um excelente trabalho.
Abraço
Décio
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
PessoALL:
Que bela se revelou esta discussão, afinal! Mais uma vez a lista
mostrou que pode ser arena para discordâncias, concordâncias, e muito
debate racional e inteligente. Os colegas apresentaram argumentos tão
superiores aos argumentos iniciais que ousei propor que ao fim fico
até tentado
Parabéns, Ruy e Anjolina, pelo livro e pelo trabalho realizado!
Bjs e abraços,
Ana
Caro Ruy:
meus sinceros parabéns à Angiolina, a você e ao Dov. Infelizmente,
esta mensagem não vale como RSVP
porque Recife está um tanto longe... :-)
Mas o Dov Gabbay tem tido tantas parcerias
Rodrigo Freire escreveu:
Outro ponto sobre a linguagem usada em lógica: notações.
Acho que notação é um ponto crítico em lógica.
Tendo esclarecido que não me parece possível, e nem muito menos
necessário, termos uma notação _universalmente partilhada_, ofereço
aqui apenas algumas sugestões
Esqueci-me desta:
12) proof-theoretic: prova-teorética(o)?
Demonstracional?
JM
--
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Olá João.
Mais grave me parece o problema anterior de usarmos a notação E[t/x],
usando a convenção anglófona, para expressar a substituição da
variável x pelo termo t na expressão E. Neste caso a leitura em Bom
Inglês é substitute t for x in E. No entanto, uma alternativa de
leitura mais
A linha de investigação que me parece mais próxima de resolver este
problema específico é a dos *cálculos com substituição explícita*, que
aparecem em alguns ramos de estudo da teoria da reescrita e do cálculo
lambda.
http://en.wikipedia.org/wiki/Explicit_substitution
Bastarão?
JM
2011/11/12
Entendo que no contexto de programação essa ambiguidade é inadmissível e
isso resolve sim, você está certo. Mas eu gostaria de algo mais humano,
para apresentar nos textos básicos sem transformá-los em sopa de letrinhas.
Abraço
Rodrigo
2011/11/12 Joao Marcos botoc...@gmail.com
A linha de
On Nov 12, 2011, at 4:46 PM, Joao Marcos wrote:
Esqueci-me desta:
12) proof-theoretic: prova-teorética(o)?
Demonstracional?
Credo…
Elaine.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
A quem possa interessar:
A TV Senado tem um programa chamado Repórter Senado, de boa qualidade,
que costuma abordar temas bem interessantes.
Uma das reportagens é o Cérebros para o Brasil, que mostra os trabalhos
de pesquisadores (Miguel Nicolelis, Sidarta Ribeiro, etc.) e institutos do
Rio
...pra substituição eu uso uma convenção que não é comum, mas que acho
que é bem clara: E[x:=t], e quando preciso de substituição simultânea
eu em geral ponho os := empilhados, cada um numa linha. O código em
LaTeX é:
\def\sm#1{\begin{smallmatrix}#1\end{smallmatrix}}
Obrigado Eduardo.
2011/11/12 Eduardo Ochs eduardoo...@gmail.com
...pra substituição eu uso uma convenção que não é comum, mas que acho
que é bem clara: E[x:=t], e quando preciso de substituição simultânea
eu em geral ponho os := empilhados, cada um numa linha. O código em
LaTeX é:
18 matches
Mail list logo
