tá narrado em nosso livro sobre a história da paraconsistência, na
> edição em Português, e aparecerá também na edição inglesa.
>
> Abraço amigo,
>
> da Itala
>
> Em qua., 22 de mai. de 2024 às 21:57, Walter Carnielli
> escreveu:
>>
>> Estimado Luis:
>>
>
ue está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dima
is for a logician working in model theory or set
theory. The closing date for applications is Sunday 9 June 2024.
For more information, see
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/14967/Assistant-professor-in-Mathematical-Logic
--
Walter Carnielli
CLE
.
Organizadores:
Walter Carnielli
Maira Bittencourt
Rafael Ongaratto
--
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
Grupos do Google.
Para cancelar inscrição n
of the
international scientists members of CLE-Unicamp.
====
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
https://advancedinstitute.ai/
Blog https://waltercarnielli.com/
--
Do site do CLE, que ele ajudou a fundar:
https://www.cle.unicamp.br/cle/newton-carneiro-affonso-da-costa-nota-de-falecimento
W.
--
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
a declaração antissemita.
>
> É um raciocínio análogo a: eu não gosto das atitudes do Brasil sob
> Bolsonaro (ou Lula, ou FHC, etc) portanto o Brasil deve parar de existir.
> Um raciocínio assim é absurdo em relação ao Brasil, por que seria aceitável
> em relação a Israel? Por antisse
Apesar de alguns percalços, a lista LOGICA-L é bastante útil .
Parabéns ao João Marcos pela iniciativa de criá-la e mantê-la , e parabéns
a nós que nos mantivemos como membros até hoje!
W.
Em qui., 28 de mar. de 2024 23:18, O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> escreveu:
>
Non sequitur.
Ainda que tudo isso fosse verdade, não seria justificativa para amassar
palestinos inocentes só porque sao árabes.
De forma análoga, nada justifica amassar franceses no Brasil, porque eles
invadiram parte do Brasil com intenções colonialistas, ou porque praticaram
atrocidades
Parabéns aos colegas da UFBA, um grupo poderoso, lindo logo!
Só da um pouco de medo que a Lógica escorregue sobre a Topologia. :-)
Abraços,
Walter
Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:
> Parabéns, Samuel e colegas da UFBA, pela maioridade
Quem não entendeu isso está na situação em que, se tivesse um concurso de
idiotas, pegaria em segundo lugar. Porque é um idiota!
W.
Em sex., 16 de fev. de 2024 22:41, Joao Marcos
escreveu:
> https://twitter.com/antitheorem/status/1758641575763337657
>
> Uma piada do Mark Twain, e exercício de
qua., 31 de jan. de 2024 08:39, Walter Carnielli
escreveu:
> Este puzzle é analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e
> se resolve facilmente com Prolog:
>
> https://github.com/pjpjq/zebra-puzzle
>
> Escrevi uma vez um programinha numa versao
Este puzzle é analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e se
resolve facilmente com Prolog:
https://github.com/pjpjq/zebra-puzzle
Escrevi uma vez um programinha numa versao de K-Prolog, mas não me lembro
mais. Com paciência talvez o encontre, se alguém se interessar...
No fundo é
5537287> um breve
> tutorial de inscrição.
>
> Vale destacar que, mesmo este sendo um evento cujo público-alvo são
> estudantes, toda a comunidade está convidada a participar!
>
> Em ter., 16 de jan. de 2024 às 17:52, Evandro L. Gomes
> escreveu:
>
> Voltar ao
Caro Fernando;
Mis congratulaciones por la indicación de tu libro en la publicación
MEDIUM. El articulista Rocco Gangle, el mismo matemático y filósofo,
indica el libro como "un puente entre filosofía y matemáticas".
Abrazos,
Walter
a espécie de Emmy Noether nacional (até
> bem parecida), adorava mostrar demonstrações simples em geometria, à la
> Euclides.
>
> O que mais vc sabe dizer sobre a professora Ausenda Fratini?
> muito obrigada,
>
> Valeria
>
> On Thu, Dec 28, 2023 at 4:29 PM Walter Carnie
Finalmente o CNPq parece estar despertando de seu sono dogmático!
Bela iniciativa, deveria ser extensiva a outros casos de desatenção.
W.
Em sáb., 6 de jan. de 2024 21:12, Joao Marcos escreveu:
> > Sem querer estender muito mais este assunto OFF, parece-me essencial
> > enfatizar o conteúdo
mo “cotação”.
>>
>> Abraço.
>> Att. Matheus Rui.
>>
>> On Wed, 3 Jan 2024 at 11:35 Marcelo Finger wrote:
>>
>>> Essa razão ODDS(A) = P(A)/(1-P(A)) é o que o Julio disse que se chama
>>> "chances".
>>>
>>> Já a &quo
gt;
>> Em qua., 3 de jan. de 2024 02:25, Julio Stern
>> escreveu:
>>
>>>
>>> Caro Walter:
>>>
>>> Em Estatistica, o termo
>>> "Odds" eh traduzido por "Chance"
>>>
>>> O termo "Odds Ratio&qu
"Odds Ratio" ou "Razão de Chances" expressa o quociente
> RC = Prob(efeito favoravel) / Prob(efeito desfavoravel)
>
> Ajuda?
> Tudo de bom, ---Julio
> --
> *From:* logica-l@dimap.ufrn.br on behalf of
> Walter Carnielli
> *
Olá Juan,
Obrigado pela sugestão, mas "chance", em português, é usado como
oportunidade. Nao descreve bem essa medida.
Estou quase achando que a melhor traducao seria "taxa de risco".
Mas gostaria de saber dos estatísticos-probabilistas: que termo os livros
didáticos usam?
Abs
Walter
Em
Muito obrigado Marcelo, esse termo é terrível para traduzir e causa sempre
mal entendido
Eu pensei em traduzir por "azar", não no sentido de má sorte , mas de
"jogos de azar" .
Mas as casas de apostas (bets) não vão gostar nada disso, porque vai
revelar quem sempre ganha na verdade...
Abs,
Colegas:
Copio aqui a matéria do GGN de 28/12/2023, mas está em vários outros
lugares.
Acho que é um ponto importante para reflexão de todos aqueles que têm, ou
aspiram ter, bolsa PQ do CNPq.
///
Repercute nas redes sociais nesta semana o caso da cientista social,
professora e
as
> sobre o "Ensino Colegial", mas reitero a minha questão inicial: será
> que o estudo de tabelas de verdade (que, no meu entendimento, não
> ajudam nada ou quase nada no quesito "métodos de demonstração") não
> teriam melhor lugar, de fato, no estudo pré-universitário
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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
> Grupos do Google.
> Para cancelar i
o termo mais
> preciso é blablablablá mas que eu vou usar bleblé, que é mais curto...
> [[]], Eduardo
>
>
> On Fri, 22 Dec 2023, 17:10 Walter Carnielli, wrote:
>>
>> Pessoal,
>>
>> Consultinha rápido antes que cheguem as renas: qual é a melh
Pessoal,
Consultinha rápido antes que cheguem as renas: qual é a melhor.
tradução em PT "odds"? "Chance " não vale :-)
Abs
Walter
========
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Inst
Um notavel avanço- até agora os LLM só copiavam e formatavam!
W.
Em dom., 17 de dez. de 2023 12:41, Ruy de Queiroz
escreveu:
>
>
> https://www.technologyreview.com/2023/12/14/1085318/google-deepmind-large-language-model-solve-unsolvable-math-problem-cap-set/
>
>
> --
> LOGICA-L
> Lista
Prezada Elaine:
Parabéns pela iniciativa, os códigos estão claros!
A questão agora é como agiremos com aqueles colegas que insistem num
comportamento desrespeitoso e descordial.
Abraços,
Walter
Em sáb., 16 de dez. de 2023 03:16, Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> escreveu:
>
Seulement si c'est le jour de certains singes.
Mais ça n'amuse personne...
W.
Em qui., 14 de dez. de 2023 10:03, jean-yves beziau
escreveu:
> https://www.nationaldaycalendar.com/national-day/monkey-day-december-14
> ... é daqui um mês, dia 14 de janeiro, vai ser o dia mundial dos seres
>
Exatamente, Mr.Finger tem razão .
Dado um ponto x numa função exponencial com valor y= e(x), existe um
polinomio p tal que p(x)> e(x)...
Sem contar os problemas quanticamente dificeis destinados a embasbacar os
computadores quanticos (a existir), para ajudar na criptografia quantica.
Abs
.
--
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
https://advancedinstitute.ai/
Blog https://waltercarnielli.com/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6PHV2tWECAMz239yFCuTko6qPfCiLiYLAs7TkWV1eEhn%2BmoQ%40mail.gmail.com.
--
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligenc
*PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS*
*(12 months postdoc position, University of Rome Tor Vergata. Supervisor:
Gabriele Pulcini)*
A one-year postdoc position is now open at the Dep. of Literary,
Philosophical and Art History Studies, University of Rome Tor Vergata. The
position is
Em sex., 3 de nov. de 2023 22:03, Joao Marcos escreveu:
> O que acham os colegas disto?
>
> What do we mean by "the foundations of mathematics"?
> https://lawrencecpaulson.github.io/2023/11/01/Foundations.html
> "The world has moved on. People no longer worry about the issues that
> were
Muito interessante. Adoro este terrivel problema :-)
Vou checar a "prova " dos poloneses, mas acontece que certas
generalizações ja foram provadas indemonstraveis:
John Conway. Unpredictable iterations.in: Proceedings of the 1972 Number
Theory Conference, University of Colorado, Boulder,
Participei ativamente,enquanto editor, do processo de aceitação e
publicação deste artigo no Logic Journal of the IGPL.
Foi preciso romper, com argumentação e suavidade, certas barreiras
erguidas pelo pessoal da área de terapia e psicanálise...
W.
Em seg., 30 de out. de 2023 08:16, Marcelo
Pessoal,
acabou de sair um artigo no Computer Science Technical Reports,
Helsinki, Finlândia, sobre métodos gerais de construção de códigos de
cobertura.
Os "códigos de cobertura" são um problema matemático (NP-completo)
de combinatória finita (para quem não sabe, este assunto é
Ola Samuel,
O estudante é criativo ,mas está enganado: una das leis da Igualdade diz
que "qualquer coisa é igual a si própria", mas não diz que existe algo.
O axioma de Kunen assevera a existência.
Abs,
W.
Em seg., 9 de out. de 2023 13:57, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br>
s
>>>>>> Grupos do Google.
>>>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>>>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>>>>> Para ver essa discussão na Web, acesse
>>>>&g
Parabéns João , a você e ao Vitor Greati, que além do prêmio ainda inicia
um doutorado em Groningen.
Desejos de muito sucesso!
Walter
Em qua., 30 de ago. de 2023 13:55, Joao Marcos
escreveu:
> Estou muito orgulhoso de ter orientado Vitor Greati
> (https://vitorgreati.me/) em sua excelente
Pessoal,
alguém sabe como inserir símbolos lógicos. (quantificadores,
operadores modais, implicação, disjunção, negação,
conjunção,equivalência, etc). no LibreOffice?
Uso a versão do MacOs.
Agradeço antecipadamente,
abs
Waler
--
Walter Carnielli
CLE
Repassando a pedidos ,
abraços
Walter
*=**Philosophy of Mathematics: Models, Methods, and
Applications*
*Third Graduate Conference of the Italian Network for the Philosophy of
Mathematics – FilMat*
www.filmatnetwork.com
January 11-12, 2024
University of Rome “Tor Vergata”
gica
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.g
Parabéns Marcelo, que maravilha!
Você vai ter aqui um ouvinte fiel :-)
Eu estou tentando também um podcast sobre matemática, ciência e
racionalidade, mas não sei como conseguir.
Grande abraço, e boa sorte!
Waltet
Em qui., 3 de ago. de 2023 14:32, Marcelo Finger
escreveu:
> Pessoal.
>
> É
A proposito, Valentin Goranko está fazendo uma campanha bastante ruim, na
minha opinião, forçando as pessoas a não participar de eventos russos e a
sair de conselhos editoriais de publicações russas, promovendo boicotes
Ele escreveu a mim, Avron, Wansing e a vários outros "exigindo" que não
Gisele,
Não é apelo a "nem todo homem", ou a "nem todo evento" ou a nem tudo isso
ou nem tudo aquilo-- é também, ao invés de só criticar, reconhecer o
esforço em contrário de muita(o)s. Mulheres inclusive.
Abs
Em sáb., 22 de jul. de 2023 19:52, Gisele Secco
escreveu:
> Oi pessoal
>
>
Acho tudo isso um tanto discutível.
Eu ja orientei diversas moças (mulheres)
em graduação, mestrado, doutorado, pós-doutorado -não vou declinar nomes
aqui- inclusive ajudando a "lançar na carreira" nomes hoje conhecidos
internacionalnente na Itália e Austria. Sem nomes...
Acho que não se deve
CALL FOR PAPERS
Trends in Logic XXIII: Bridges Between Logic, Ethics and Social Sciences
(BLESS). 70 years of STUDIA LOGICA will be held in Toruń (Poland), 22-24
November 2023.
The BLESS conference is devoted to the application of formal tools (logical
and mathematical) to issues related to
https://www.youtube.com/live/pb4b4_MlNwo?feature=share
Eu acho que vale a pena ver essa entrevista do Nicolellis.
É um grande cientista, pena que se meta a falar de tudo, do que muitas
vezes não sabe...
Aos 48 minutos aparece uma referência à "paraxonsistência e computação
quântica",
que ele
Obrigado Ruy.
Tenho usado uma versão gratuita do GPT4 através do sincode.ai, me parece
que o Terry Tao está absolutamente correto.
Quando integrado com ferramentas como verificadores de prova, assistentes
de prova como Coq e Isabelle, pesquisa na internet e pacotes matemáticos
simbólicos como
O NetLab UFRJ está com vagas para bolsistas de pós-doutorado, que irão
atuar em pesquisas sobre desinformação com ênfase nos seguintes tópicos:
Desinformação política e eleitoral;
Discurso de ódio e luta por igualdade racial;
Meio ambiente, mudanças climáticas e negacionismo científico;
l do Departamento de Matemática da
> UFBA, no YouTube:
>
> https://www.youtube.com/channel/UCx5uesxW-Jt3qdyHTEdcmwg
>
> Então... Grandes chances de ser nesse canal. Até lá eu confirmo.
>
> Abraço
>
> []s Samuel
>
>
>
> Em terça-feira, 6 de junho de 2023 às 07:13:52
Este anúncio do querido Samuel já é ele próprio um "arenque vermelho", que
nem tem cheiro de arenque, nem é vermelho:
Convidar a gente para uma palestra tão interessante,e não dizer como se
assiste :'-)
Belo truque Samuel,
abraços
W.
Em ter., 6 de jun. de 2023 07:10, escreveu:
>
-- Forwarded message -
De: Giancarlo Guizzardi
Prezados,
Gostaria de compartilhar uma oportunidade de financiamento para um
doutorado integral entre a Universidade de Bolzano, na Itália, e a
Universidade de Twente, na Holanda. O tema dessa pesquisa combina Knowledge
Graphs,
ish).
https://dottoratofilosofiaroma2.org
https://dottorati.uniroma2.it/news.aspx?id_news=51
Abs
Walter
--
====
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
ht
Gosto muito dos livros dele, grande perda- que descanse em paz, mas parece
que ele nem estava cansado!
Podia ter ficado mais um pouco.
W.
Em qua., 31 de mai. de 2023 08:49, Joao Marcos
escreveu:
> https://www.nytimes.com/2023/05/28/science/ian-hacking-dead.html
>
>
>
>
--
LOGICA-L
Lista
Prezada(o) Priscila e César:
Parabéns pela homenagem à Ayda Arruda e à Itala D'Ottaviano.Fui aluno da
Ayda, e colega da Itala na primeira turma onde Ayda começou a reunir
estudantes do Departamento de Matemática da Unicamp para estudar lógica,
nos idos de 1974.
Fui tambem estudante da Itala
Estão exagerando. Trocar lógica por teoria dos jogos e estatística vai
piorar tudo.
Um dos argumentos diz os cursos estao dando " knowledge of
the Löwenheim–Skolem theorem but no understanding of what a correlation
coefficient".
Outro diz que os alunos aprendem métodos dedutivos, mas não
Lendo abaixo nesse mesmo post,alguém perguntou a seguinte questão para o
GPT 3 e o GPT4, comparando respostas: prove que a média aritmética de
dois primos ímpares em sequência não pode ser primo.
O GPT3 escreveu uma besteira absoluta (está em PDF no post).
O GPT4 respondeu errado, "provou",
https://blogdopedlowski.com/2023/04/17/a-derrubada-das-revistas-predatorias-envergonha-a-ciencia-espanhola/
--
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
Grupos do
Olá pessoal ,
o que tem se mostrado até agora é uma característica crucial do ChatGPT ,
o "levanta que eu corto": você levanta um assunto idiota ou falso,;ele
assume que é verdadeiro e dá uma resposta.
E a reação a isso são muitas opiniões, cada um "acha" uma coisa ,e essas
opiniões não são
Claro que não serve Marcelo ,
mas ele se arvora em responder, e isso confunde os incautos, que são
milhões e milhões.
ChatGPT se transforma, desse modo, numa verdadeira máquina automática de
mentiras!
W.
Em seg., 10 de abr. de 2023 09:16, Marcelo Finger
escreveu:
> CAros.
>
> Está mais que
orked on developing a framework for understanding paraconsistent
reasoning in terms of a class of logics known as relevance logics. He
has also collaborated with other prominent paraconsistent logicians,
such as Newton da Costa and Walter Carnielli, on various projects
related to paraconsistent logic&q
Pergunta: Quando foi a data da morte de Newton da Costa?
Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011.
Ele foi um renomado matemático e lógico brasileiro, considerado um dos
fundadores da lógica paraconsistente.
"ChatGPT Mar 23 Version. Free Research Preview.
Vendendo chocolate que não produz e lavando dinheiro que nao gerou.
É de se recomendar também "La Suisse lave plus blanc" de Jean Ziegler.
W.
Sobre axiomas recomendo o livro de Max Gunther
"Os Axiomas de Zurique" (o livro explica bem como a Suíça se tornou um
país rico vendendo chocolate)
The "Langage Cognition Education" doctoral school at the University of
Marseille offers several three-year doctoral contracts each year, often
including positions in philosophy (and maybe this year one in philosophy
and history of mathematics and logic). The doctoral contract lasts 3 years
and is
estar contas.
>
> Grande abraço, para aqueles que ainda sonham em publicar no Journal of
> Symbolic
> Logic, ACM Journal of Logic e similares. Grande despreço para aqueles que
> pretendem continuar investindo recursos públicos, que bem poderiam ser
> aplicados
> em mai
dantes da área de Lógica
>
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ve
>
> A Valeria tem razão quando lembra que não há almoço grátis ,mas há almoços
muito mais caros que os outros.
>
> Gostaria de ver mais reflexão por parte de tantos colegas que topam
> trabalhar de graça para máquinas de fazer dinheiro que trancam nossos
> trabalhos para sempre por trás de
alestra do Gabriel Scherer no
>> Logicos em Quarentena https://www.youtube.com/watch?v=l1CukusUAbI. Todo
>> mundo devia dar uma olhada, pois o Gabriel esta' falando de pesquisa em
>> linguagens de programação, mas publicação em lógica e' muito parecido.
>>
>> abraços,
Uma interessante bobagem, com diálogos rasteiros e "deja vu", francamente
não imagino que Dekeuze e Michel Foucault iriam responder de maneira tão
idiota a perguntas tão tolas.
Enfim, é mais impressionante o bonequinho e o sotaque (não sei se conseguem
ser gerados automaticamente pelo GPT4, o
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 fazemos parte-
a Lista de Lógica ajudou a levantar a comunidade brasileira que trabalha no
tema!
Abçs,
Walter
Em sáb., 25
Caros colegas:
Estou participando de um projeto que tem interesse em um treinamento
específico em uma área particular do GPT4 e do modelo livre de LLM
Alpaca/Llama.
Precisamos de uma ou duas pessoas que tenham capacidade de trabalhar com o
núcleo do GPT4 (já temos autorização)e
que conhecessem
Olá Hugo, Cara(o)s toda(o)s:
Eu assinei o formulário, estou em princípio de acordo com esse tipo de
mudança mais racional .
Mas não ficou claro para mim qual é a carta exata que vai ser enviada ao
CA-MA.
Deve ser alguma coisa melhor redigida do que as meras ponderações que
aparecem na
im (que trabalho de graça para a Oxford Univ. Press) mas de
todos nós.
como autores. Você não quer organizar isso?
Abs
Walter
> Abraços, Joao Marcos
>
>
> On Sun, Mar 12, 2023 at 12:50 PM Walter Carnielli wrote:
> >
> > Colegas:
> >
> > Agradeço a todas e
ativa particular.
>> Obviamente, agora dependemos do apoio da comunidade para que a coisa
>> "pegue" pra valer... Vamos ver!
>>
>> > O que eles querem realmente é que a gente trabalhe de graça para eles...
>>
>> E quem não quer? A diferença é o custo (e o
Olá Elaine, Joao Marcos,
Obrigado pelo feedback,
estou perguntando a eles se fariam a redução total dos custos de
publicação nesse caso.
Vamos ver o que eles vão dizer.
Eu também fui convidado para o corpo editorial da revista "Logics" que é da
MDPI da Bulgária.
Não me parecem ser daquelas
égios, Contudo,
com este valor altíssimo de "publication fees",
fico hesitante em aceitar, embora seja uma revista respeitável e com
ótima divulgação.
Gostaria de saber a opinião de toda(o)s O que vocês me diriam?
abraços,
Walter
--
====
Walter Carnielli
CL
Parabéns ao Bernardo Gonçalves, à
Sociedade Brasileira de Filosofia Analítica, ao Pedro bravo como
entrevistador e ao Coletivo Lógica Viva pela excelente live.
Muita informação interessante e uma interpretação filosófica sui generis,
surpreendente até para quem estuda Turing como matemático,
).
All the best.
Marco (Panza)
--
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
https://waltercarnielli.com/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta
>
> João Marcos
>
> On Thu, Feb 16, 2023, 15:11 Walter Carnielli wrote:
>
>> Pessoal,
>>
>> No ambito do grande evento SP Logic
>>
>> https://www.cle.unicamp.br/splogic/index.php/organization/
>>
>> estamos organizando (sob minha orientaç
Pessoal,
No ambito do grande evento SP Logic
https://www.cle.unicamp.br/splogic/index.php/organization/
estamos organizando (sob minha orientação e participação) duas series de
entrevistas,
uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
professores estrangeiros, (ou do
Divulgando a pedidos:
==
LPAR-24 Call for Papers
LPAR-24 will be held in Manizales, Colombia, at the National University of
Colombia, 4-9th June 2023.
Details are online at :
https://easychair.org/smart-program/LPAR2023/
The Call for Papers is available at ...
Pessoal,
Há semanas tento acessar a plataforma Carlos Chagas do CNPQ para resolver
um problema de bolsa.
Não ebtra, talvez a senha tenha sido caducada, e se tento nova senha
recebo sempre a mesma resposta ;
"Não foi possível validar o token JWT".
Alguém está conseguindo entrar ?
Será que é um
gt;>> organizaram o SPLogic! Não imagino a dor de cabeça que foi para elaborar
>>> toda a logística.
>>>
>>> Já estou preparando as malas para viajar até Campinas amanhã e
>>> participar desse evento que será monumental.
>>>
>>> Abraços,
>
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv4e9COE9kJo5_ZbLnXtM8LnFqMsQL53oCRiuknb
submetido à Logica Universalis.
Att.
Walter Carnielli e Juliana Bueno-Soler
==
Dear colleagues of the Brazilian Logic Society (SBl) and members of
the Brazilian Logic List:
We would like to thank the Newton da Costa 2022
; Abraços,
>
> On Fri, Jan 13, 2023 at 5:07 PM Walter Carnielli
> wrote:
>
>> WORLD LOGIC DAY - CLE '23
>> Online Event
>> January 16, 2023
>> 10:00-12:00 (UTC/GMT -3)
>> Link: https://meet.google.com/gon-mjxb-uyj
>>
>>
>> Prog
-Soler - FT and CLE - Unicamp
- Advances in Possibilistic Logic
11:00-11:20 Dr. Rodolfo Ertola Biraben - CLE - Unicamp
- Recent research
11:20-11:40 Walter Carnielli interviews Dr. Felipe Abraão - CLE- Unicamp
11:40-12:00 Prof. Marcelo E. Coniglio - CLE and IFCH - Unicamp
- On Logics of Formal
Gonçalves: será: https://w3.impa.br/~goncalves/
>
> At.te,
> --
> Clodomir Silva Lima Neto
> Professor EBTT Matemática
> IFCE Campus Maranguape
>
> Em seg., 19 de dez. de 2022 23:35, Walter Carnielli
> escreveu:
>
>> Oi Samuel, oi pessoal:
>>
>> Sem d
Oi Samuel, oi pessoal:
Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo.
E deveriam convidar um lógico, mas acharam um "number theorist" entre eles.
Mas eu não sei quem é, vc conseguiu saber?
Abs
Walter
Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L <
> Tel. (+55) 12 3305 8438
>
> --
> lealdade, humildade, procedimento
>
>
> On Wed, Dec 14, 2022 at 5:24 PM Walter Carnielli
> wrote:
>
>> Oi Cassiano,
>>
>> Você escreveu umas 60 ou 70 linhas como advogado do diabo, só que o diabo
>> escorrega no s
Oi Cassiano,
Você escreveu umas 60 ou 70 linhas como advogado do diabo, só que o diabo
escorrega no seguinte:
alguém consegue ter bacharelado em matemática e licenciatura em filosofia,
ou vice-versa?
Você conhece alguém nessa situação fora dos Estados Unidos, onde o(a)
cara faz o major e o
Olá João Ferrari,
é claro que deve mudar !
Isso é uma evidente reserva de mercado-- se fosse o caso de se exigir
diploma de graduação em filosofia para fazer filosofia, ou bacharelado em
matemática para se fazer matemática, etc , Fermat (que era advogado) não
teria tido chance, nem
Caro Henrique, caro Damian:
Parabens pela publicação do segundo volume de "Logics and Their
Interpretations", que junto com.o primeiro volume formam uma bela coleção
de artigos.
Acho que seria otimo noticiar os dois juntos!
Abraços,
Walter
Em dom., 11 de dez. de 2022 21:42, Henrique
Dear colleagues:
Due to several requests, the deadline for applications to SPLogiC has
been postponed to *November 14, 2022*.
The São Paulo School of Advanced Science on Contemporary Logic,
Rationality and. Information (SPLogIC) is currently offering 100
grants for travel, lodging, and food
Parabéns, Valéria em #3 e Itala em #7 na lista das " Matemáticas
brasileiras mais buscadas": ambas na frente da Marilda Sotomaior!
Parabéns para elas e para a nossa comunidade,
Walter
Em sáb., 29 de out. de 2022 12:30, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:
> Colegas,
>
>
Ois,
Os artigos vão ser retirados do Sudia Logica. O próprio Janusz
Czelakowski pediu para retirar.
Abs,
Walter
Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:
>
> Olás
>
> Na verdade é uma série de quatro artigos, estão os quatro no perfil
>
Pessoal,
Esses números de Carmichael são bem estranhos: passam no teste de primidade
de Fermat, mas não são primos, e podem ser usados para mostrar que outros
números são compostos.
São como os "primos de segundo grau" na familia...
Eu encontrei aqui a prova (nada trivial) do Daniel Larsen,
1 - 100 de 788 matches
Mail list logo