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
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
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
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.
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
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
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:
>
>
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
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
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,
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
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,
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
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
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
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
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
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
>>> Valeri
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 Fran
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
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"
>
s
> 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,
>
> 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
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
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
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
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
27 matches
Mail list logo
