l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Car@s Colegas,
Independente da minha opinião acerca da "produtivite"
(uma inflamação) e suas consequências (muito) danosas
ao trabalho intelectual, gostaria de registrar meu reconhecimento e
apreço, tanto ao esforço de produção do documento, quanto ao resultado
obtido. Resistir é preciso. ONDE E
;http://distropia.wordpress.com/>
Greek van Peixe - Gamer Rock <http://greekvanpeixe.com/>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Francisco Miraglia
_
Car@s,
Tendo lido com atenção as contribuições colegas, continuo
preferindo "weakening". Nâo seria a primeira vez que incorporaríamos
palavras de originárias de outras línguas ao portugues. Poupo-lhes os
abundantes exemplos. Aliás, algo muito comum em todas as línguas!
Um grande abraço,
C
Car@s Colegas,
A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais
alguns comentários:
1. Traduções precisam levar em conta a sintaxe, denotação e conotação
das palavras e/ou expressões na língua original. "Weakening" é a
substantivação
de um gerúndio, algo comum em in
terminologia "teoria da prova"..
Não vejo nada de errado em qualquer das duas formas de expressão no
português.
Abraço,
Ruy
Em 31 de julho de 2012 03:27, Francisco Miraglia
escreveu:
Car@s Colegas,
A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais
alguns co
r/cgi-bin/mailman/listinfo/logica-l
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
z um certo sentido (Q
contribui zero pra corroboracao) e a unica corroboracao que nao 'e
infinitesimal 'e quando P corrobora P mesmo no axioma basico. E' assim que
voce esta' pensando? por que "way below"?
abs
Valeria
2012/7/31 Francisco Miraglia
Caro Ruy,
Obrigado pelas t
ergiversação absoluta, nao
'e nao?
e essa eu tb nunca tinha ouvido...
abracos tradutivos,
Valeria
essa estoria de traducao da' panos pra manga, nao e'?
abracos,
Valeria
2012/8/1 Francisco Miraglia
Cara Valéria,
Obrigado pela tua mensagem; penso que voce captou bem o "jeitã
Caro Hermann,
Foi um enorme parzer conhecer voce e a sua dedicação
ao, entre outras coisas, trablaho intelectual. Minhas mais
cordiais congratulações e votos de continuidade da tua atividade
social e científica.
Um GRANDE abraço,
Chico Miraglia
___
Car@s,
Uma excelente iniciativa; uma pena que lógicos não possam
participar, caso contrário teria algo a contribuir.
Um grande abraço à Ofélia e aos organizadores!!
Chico Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.
mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>
--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/c
Car@s,
Como raramente faço intervenções em nossa lista, talvez tenham
paciência de ler as mal-traçadas que seguem.
1. Em geral, fixada uma certa lógica, ou até mesmo teoria,
enunciados validados por este sistema são equivalentes. Este fato
geral, é, evidentemente, do conhecimento de todos.
2.
Car@s,
Concordo integralmente com o Júlio nas suas
considerações de que campos obrigatórios do tipo
"raça" (um pseudo-conceito, fartamente desqualificado),
religião, entre outros, não podem constar em questionários
de instituições governamentais em uma República laica.
Talvez fosse
l
>>
>
>
> ++
> Itala M. L. D'Ottaviano
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas - UNICAMP
> Sergio Buarque de Holanda, 251 Street
> ZIP CODE 13083-859 - Campinas-SP, Brazil
> Fax: +55-19-3289-3269
> Tel.:+5519-3521-6517
>
>
>
>
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Caros Colegas,
Dois pedidos:
1) Incluir na nossa lista um estudante meu de mestrado.
Seu endereco eletronico e [EMAIL PROTECTED]
2) O Eneas esta interesado em Logica de Segunda Ordem.
Agradeceria que as referencias e indicacoes que voces
possuam acerca do assunto sejam enviadas para ele, com
cop
gt;
> ++
> Itala M. L. D'Ottaviano
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas - UNICAMP
> P.O. Box 6133
> 13083-970 - Campinas-SP, Brazil
>
> Fax: +55-19-3289-3269
&
Ótima nota!
Abraços,
Chico Miraglia
> On 27 Apr 2019, at 10:14, itala loffredo wrote:
>
> Obrigada, caros membros da Diretoria da SBL!
> Itala
>
>> Em sex, 26 de abr de 2019 às 23:17, Cassiano Terra Rodrigues
>> escreveu:
>> Colegas, divulgo aqui a Nota de Repúdio elaborada pela Diretoria d
eitas
Renata Wassermann
Sem bolsas
Abilio Azambuja Rodrigues Filho
Alexandre Rademaker
Arthur Buchsbaum
Cassiano Terra Rodrigues
Cezar Augusto Mortari
Daniel Durante Pereira Alves
Francisco Miraglia Neto
Frank Thomas Sautter
Hércules de Araujo Feitosa
Hugo Luiz Mariano
Joao Marcos de Almeida
Maria d
Car@s,
Faço minhas as palavras tanto do Walter quanto da Andrea.
Chico Miraglia
PS: Talvez fosse adequado alguma atividade de homenagem ao Elias no
próximo EBL, um evento que ele sempre prestigiou e ajudou a construir.
Quoting Andrea Loparic :
Muito triste com a notícia que acabo de ler.
Car@s,
Não posso concordar com o Marcelo, pois na acepção usual "função
parcial" é uma
coleção de pares ordenados. Por exemplo, uma função parcial dos
naturais em 2 = {0, 1} é uma função cujo domínio é um subconjunto dos
naturais, tomando valores em 2.
Como diz o Arthur, "funcional" també
Caros,
Faço minhas as palavras da Ítala e de todos que me antecederam.
Um grande abraço,
Chico Miraglia
Quoting "Itala M. Loffredo D'Ottaviano" :
Caro Marcelo:
Em seu nome, cumprimento os amigos da nova Diretoria da SBL, desejando ao
grupo uma excelente gestão !
Itala
Caros colegas,
Gos
elebrações iniciadas no Workshop "Logic and Applications: in honor
to Francisco Miraglia by the occasion of his 70th birthday" realizado
no IME-USP em setembro de 2016, e reúne 16 artigos de destacados
colegas do Brasil e do exterior (ver informações abaixo).
A versão impressa do volume
Car@s,
Acompanho os sentimentos de pesar do Walter.
Chico Miraglia
Quoting Walter Carnielli :
Colegas e amig@s:
Achei que me cabia, por estar sabendo, repassar a estarrecedora e
pesarorosa
noticia sobre a tragédia que envolveu
nossa querida colega Carol Blasio, organizadora desta lista
Caro Bruno,
As especialidades Lógica, Teoria dos Modelos, Teoria dos Conjuntos,
etc. não constam do formulário. Minha área de atuação
não se encaixa nem em Filosofia, nem em Ciência da Computação, nem é
puramente Matemática (embora eu esteja ligado
ao Departamento de Matemática do IMEUSP). I
Cara Valéria,
Observações que talvez possam ser úteis:
1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,
(versão Heyting); as álgebras de Heyting fornecem uma semântica
completa para a versão do Intuicionismo do Arend;
2) Adicionar o esquema recíproco à axiomatização de
mático. O mundo das ideias e
práticas humanas é um campo fértil para a prática paraconsistente.
Já escrevi demais
Pelo contrário, escreva mais (vezes)!
[]s
2017-10-24 4:08 GMT-02:00 Francisco Miraglia :
Cara Valéria,
Observações que talvez possam ser úteis:
1) O esquema (A -->
ificar.
abracos,
Valeria
2017-10-23 23:08 GMT-07:00 Francisco Miraglia :
Cara Valéria,
Observações que talvez possam ser úteis:
1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,
(versão Heyting); as álgebras de Heyting fornecem uma semântica completa
para a versão
s e', a discussao sobre o adjunto da disjuncao 'e grande e dificil. e
pra mim nao faz parte dessa conversa menorzinha, do que 'e valido pro
Heyting e de que nomes devem ser usados pra que.
obrigada tb por
>A relação intucionista da disjunção com a implicação resume-se ao óbvio;
qual
Car@s,
Alguns esclarecimentos:
1) Nunca disse -- por que não é verdade -- que Brouwer não apreciou a
contribuição de ex-estudante Arend Heyting. Falava das posiçoes (bem
conhecidas) de Brouwer.
2)Sem prejuízo de outras, considero boas as seguintes referências
acerca da história
da orige
Caro Jean Yves,
Acabo de assinar a petição que voce iniciou.
Abraços,
Chico Mraglia
Quoting jyb :
Caro Cassiano
Grato pelo apoio.
Não conhece bem este site de peticao, é aprimeira vez que estou usando ele
mas acredito que não deve ser tão difficil assinar a acrescentar um
comentarios.
Ja
Caro Regivan,
Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e
$\iota_B$ ---> $A \cup B$ as imersões canônicas.
SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
$\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse
não-vazio, esta equação produziria
o Miraglia
Quoting Francisco Miraglia :
Caro Regivan,
Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e
$\iota_B$ ---> $A \cup B$ as imersões canônicas.
SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
$\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio;
Cara Sheila,
Não penso que o Regivan inverteu as flechas; sua dúvida era com a
PROVA de que a interseção era o pull-back em qualquer caso, mesmo se A
e B são disjuntos. Por isto é que enviei para a lista as observações
anteriores, mostrando que a prova ainda vale neste caso, pois o único
n AT DOMAIN=dimap,ufrn,br.
>
> Curriculum Lattes-CNPq
> **
>
>> Em 18 de mar de 2018, à(s) 11:14, Francisco Miraglia
>> escreveu:
>>
>> Caro Regivan,
>>
>> Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$
>> ---> $A \
Car@s,
Os clássicos são, em geral, meus preferidos: Hartley Rogers. Da trabalho, mas
não há tempo perdido com o trabalho necessário.
Abraços ,
Chico Miraglia
> On 13 Apr 2018, at 12:11, Antonio Marmo wrote:
>
> Além dessas indicações do Rodrigo, você pode também dar uma olhada na parte
> his
Assinado!
Chico Miraglia
> On 17 Apr 2018, at 01:08, Walter Alexandre Carnielli
> wrote:
>
> Assinado!
> Walter
>
>
>> Em 16 de abr de 2018, às 23:13, Cassiano Terra Rodrigues
>> escreveu:
>>
>> Colegas, esta mensagem foi veiculada hoje pela ANPOF nas suas redes sociais.
>> Trata-se espe
Caros,
Peço licença à Andrea para fazer minhas as suas palavras.
Abraços com pesar,
Chico Miraglia
> On 11 Jun 2019, at 19:28, Andrea Loparic wrote:
>
> Ficamos todos um pouco orfãos quando partem figuras como essa, que foram
> tão marcantes nos nossos tempos de juventude. Meu abraço de pesa
Car@s,
Infelizmente, não é apenas fascismo e “burrizia”, como diz o Doria.
Trata-se de tentativa consciente e planejada de destruir toda possibilidade de
produção de conhecimento crítico e reduzi-lo à conveniência do capital.
Minhas desculpas às sensibilidades que possa estar ofendendo; mas so
Cara Itala,
Obrigado!
Beijos,
Chico Miraglia
> On 17 Jul 2019, at 12:36, Itala M. Loffredo D'Ottaviano
> wrote:
>
> Parabéns, Chico!
> É isso mesmo, para desalento e desespero nosso e desmonte do país!
> Itala
>
>> Car@s,
>> Infelizmente, não é apenas fascismo e “burrizia†, como diz
Caro Regivan,
Há muitos exemplos. Primeiro uma observação: todo perfeixe sobre um espaço
topológico pode ser reescrito na abordagem proposta por Fourman e Scott (isto é
meio imediato).
1. 0 exemplo mais standard é o prefeixe, P, das funções reais contínuas e
limitadas sobre a reta.
A função
Car@s,
Pergunta: qual é a cardinalidade do conjunto das partes do naturais?
0. É fácil ver que essa cardinalidade é igual à do conjunto dos reais (ou do
intervalo (0, 1), se preferirem);
1. Cantor fez a hipótese de que seria aleph_1, o primeiro cardinal não
enumerável. Esta hipótese passou a
> Car@s,
>
> Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian em
> Princeton, publicada naquela coleção de Princeton que tinha capa vermelha.
> Para quem não conhece , recomendo:
> A theory of formal systems
> Princeton Univ Press, 1961.
>
> Há um artigo anterior d
>> Car@s,
>>
>> Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian
>> em Princeton, publicada naquela coleção de Princeton que tinha capa
>> vermelha. Para quem não conhece , recomendo:
>> A theory of formal systems
>> Princeton Univ Press, 1961.
>>
>> Há um artigo a
tratas
> do resultado gödeliano.
>
> --
> Hermógenes Oliveira
>
>
> From: Francisco Miraglia Neto
> Sent: Sunday, 29 December 2019 12:47
> Cc: Lista brasileira
> Subject: Re: [Logica-l] Kurt Gödel and the mechanization of mathematics
>
>
>> Car@s,
>&
Car@s,
Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear
intuicionista não comutativa poderia...
Abração,
Chico Miraglia
> On 11 Apr 2020, at 13:10, Joao Marcos wrote:
>
> -- Forwarded message -
> From: "Kreinovich, Vladik"
> To: "f...@cs.nyu.edu"
>
os bem,
> abracos,
> Valeria
>
>> On Sat, Apr 11, 2020 at 9:46 AM Francisco Miraglia Neto
>> wrote:
>> Car@s,
>>
>> Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear
>> intuicionista não comutativa poderia...
>>
>&g
Cara Valéria,
Ok, obrigado!!
Abraços,
Chico Miraglia
> On 11 Apr 2020, at 19:45, Valeria de Paiva wrote:
>
>
> Obrigada Chico!
> intuicoes, motivacao e trabalho anterior, ja' sao suficientes pra mim.
> abs
> Valeria
>
>> On Sat, Apr 11, 2020 at 3:29 PM
o?
>>
>> Abraços,
>>
>> Caio
>>
>> Em sáb., 11 de abr. de 2020 às 19:45, Valeria de Paiva
>> escreveu:
>>> Obrigada Chico!
>>> intuicoes, motivacao e trabalho anterior, ja' sao suficientes pra mim.
>>> abs
>>> V
Caro Rodrigo ,
Em complemento à mensagem anterior, me lembro de St. Agostinho: o tempo; se me
perguntares o que é, direi não sei. Se não for perguntado, então tenho a
impressão de saber.
Outro abraço,
Chico Miraglia
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L
Caro Rodrigo,
Obrigado pela tua mensagem.
Apontaria que há outras questões envolvidas as quais me parece que a lógica
intuicionista não pode dar conta: observáveis que não comutam (i.e., operadores
que não comutam),o problema (não é um paradoxo) EPD (Einstein, Podolski e
Rosenberg), as variad
Car@s,
Há também a possibilidade de que a teoria de hidden variables volte à moda.
Nesse caso, talvez a lógica intuicionista e a teoria das espécies nos forneça
alguma luz.
Estou quase arrependido de ter entrado nesta conversa, tão interessante... a
“coceira” de pensar nela aumentou muito e há
Car@s,
Concordo inteiramente com as considerações do Walter.
Com votos de que todos estejam bem,
Abraços e cuidem-se!!
Chico Miraglia
> On 24 Jul 2020, at 13:23, Walter Alexandre Carnielli
> wrote:
>
> Car@s colegas:
>
> embora ninguém desta lista tenha comentado minha mensagem ao Be
Car@s,
Esse é o projeto de reforma administrativa do governo Dória, que foi cabo
eleitoral de Bolsonaro e trará consequências gravíssimas para o desenvolvimento
paulista e brasileiro. Precisamos reagir de forma unitária e enérgica a mais
esse ataque às universidades, à Fapesp e aos serviços púb
Também apoio a posição da Elaine, assim como as do Marcelo, do Walter e as
ponderações do Júlio. Ça suffit!
Abraços e cuidem-se bem!
Chico Miraglia
> On 17 Sep 2020, at 12:04, Marcelo Finger wrote:
>
>
> Apoio a posição da Elaine.
>
> Na época em que essa newsletter rodava por email, eu
Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à
família e, em particular, à Sheila.
Chico Miraglia
>
>> On Sat, Nov 14, 2020 at 10:30 AM nastassja pugliese
>> wrote:
>> Lembro com carinho do prof. Paulo Veloso, sempre presente nos eventos de
>> lógica organiz
Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à
família e, em particular, à Sheila.
Chico Miraglia
> On 14 Nov 2020, at 14:49, Bruno Lopes wrote:
>
> Caros,
>
> Encaminho a nota da SBL em pesar pelo falecimento do Prof. Paulo Augusto
> Veloso.
>
> Abraços,
Car@s,
Corroboro inteiramente as palavras do Walter. Além disso, dependendo do
assunto, há outros lugares (Columbia, Stanford, Cambridge, etc.) que tratam bem
esses assuntos. Na realidade, nada como uma boa biblioteca e a conversa com
quem é do ramo...
Abraços e cuidem-se bem!!
Chico Miragli
Caros,
Apoio à proposta do Marcelo, por exatamente a mesma razão.
Abraços,
Chico Miraglia
> On 3 Mar 2021, at 15:18, Marcelo Finger wrote:
>
>
> Caros.
>
> Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL
> contemple a alternativa de votação eletrônica. Estamos en
Caros e Caras Colegas,
Faço minhas as palavras e propostas da Ítala : meus parabéns à diretoria que
termina seu mandato e meu total apoio à que vai assumir a direção da SBL.
Um grande abraço e cuidem-se bem nestes tempos dark.
Chico Miraglia
> On 6 Mar 2021, at 15:52, C. Mortari wrote:
>
>
Car@s,
Também apoio a proposta do Walter, endossada pela Ítala.
Abraços,
Chico Miraglia
> On 16 Apr 2021, at 15:16, Walter Carnielli wrote:
>
> A SBL certamente deveria se posicionar também, como fez (muito bem)
> em várias ocasiões.
>
> Abs,
>
> Walter
>
>> Em sex., 16 de abr. de 2021
Caros Colegas, Prezadas Colegas,
Meus sentimentos de profundo pesar aos familiares do Carlos, um amigo querido
de tantos anos.
Abraços,
Chico Miraglia
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e par
Colegas,
Faço minhas as palavras da Ítala. Mais uma amiga e companheira querida de
luta, que não está mais entre nós.
Chico Miraglia
On Mon, Oct 25, 2021 at 10:53 AM Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> wrote:
> Colegas, que notícia triste!
> Tempos tão difíceis, tantas perdas.
Faço minhas as palavras do Wslter!
Abraços,
Chico Miraglia
On Sat, 25 Mar 2023 at 21:57 Walter Carnielli wrote:
> A Lista de Lógica quase maior de idade!
>
> Parabéns ao João pela boa vontade em administrar, sem esquecer que a
> Carol foi também administradora.
>
> Parabéns a todos nós que f
https://www.theguardian.com/science/2023/may/07/too-greedy-mass-walkout-at-global-science-journal-over-unethical-fees
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupo
Caro João,
O livro do Kleene, “Mathematical Logic” (John Wiley) nas sessões 14 e 15 do
capítulo I tem exemplos e exercícios que achei pertinentes (Applications to
ordinary language, p. 58ff e 67ff.) Mas talvez eu esteja chovendo no
molhado.
Abraços,
Chico Miraglia
On Thu, 16 Nov 2023 at 10:29 J
66 matches
Mail list logo