Obrigado Eduardo.
2011/11/12 Eduardo Ochs
> ...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{sma
...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}}
\def\subst#1{\left[\sm{#
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
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
http://www.dimap.ufrn.br/cgi-bin/mailman/lis
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
> A linha de investigação que me
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 Rod
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 m
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
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 p
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 par
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 a
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
---
2011/11/12 Rodrigo Freire
> 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
>
> > Caros Anderson e Rodrigo, caros todo
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
> Caros Anderson e Rodrigo, caros todos os que têm se esmerado na
> discussão
> (notadamente, o João Marcos, An
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 An
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
Logica-l@dimap.ufrn.br
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
Aderiste às msgs via iPhone? :))
Me junto a teus parabens!!!
2011/11/12 Valeria De Paiva
> Parabens Ruy e Ju!
>
> Sent from my iPhone
>
> On Nov 11, 2011, at 3:18 PM, Ruy de Queiroz wrote:
>
> > Caros(as),
> >
> > Estão todos convidados a comparecer ao lançamento do nosso livro (em
> > parceri
18 matches
Mail list logo
