Re: [Logica-l] Melhor paper na Conferência KR2024

em co-autoria com > Franz Baader. > > A Renata está sim no Vietnam (ou no caminho de volta), não deve ter tido > tempo para responder emails em um fuso horário oposto ao nosso. > > []s > > > > Em qua., 6 de nov. de 2024 às 16:47, Walter Carnielli > escreveu: > >

Re: [Logica-l] Melhor paper na Conferência KR2024

[]s >> >> -- >> Marcelo Finger >> Departament of Computer Science, IME-USP >> http://www.ime.usp.br/~mfinger >> > Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Ora

[Logica-l] 13 - 3y doctoral candidates, Research Training Group "Contradiction Studies—Constellations, Heuristics and Concepts of the Contradictory" in Bremen, deadline: November 29

Repassando a pedido dos colegas alemães: 13 bolsas na lindíssima cidade de Bremen (morei lá, conheço bem) para estudar contradições. Eu não perderia!!! Abraços, Walter ≈= Thirteen PhD Positions in Contradiction Studies at the University of Bremen Deadline: 29 Nov 2024 The Research Traini

[Logica-l] Doação de livros

matemática 42.. Austin 43. Livros de ética e moral 44. Filosofia da linguagem Algum colega de alguma Universidade se interessaria? Se for o caso por favor me contactr urgente por e-mail ou WhatsApp. Abraços Walter > > Walter Carnielli CLE and Department of Phil

Re: [Logica-l] What should we teach? (a question for mathematicians)

Sendacional, eu estava lá no ICM em 2018 e não pensei em fazer isso... Por outro lado aproveitei para conversar bastante com Michel Atiyah, que infelizmente faleceu no ano seguinte. Ghys, Arora e Jordan falando bem de lógica e probabilidade em prol dw racionalidade sao "música para meus ouv

Re: [Logica-l] Max Cresswell (1939-2024)

Triste e lamentável. Troquei várias mensagens com ele, esteve para visitar o Centro de Lógica há um tempo atrás. Creswell também colaborou em um volume especial de Logica Universalis que Claudio Pizzi e eu editamos em 2013: Cresswell, M. Axiomatising the Prior Future in Predicate Logic. *Log. Un

Re: [Logica-l] Itala no Jornal da Fapesp

Meus sinceros parabéns Itala, e obrigado pela menção. Construímos juntos, e com a ajuda de vários, esse pequeno império da lógica paraconsistente brasileira!! Abraços, Walter > > Eis um artigo sobre a Itala que acabou de sair no Jornal da Fapesp: > > > https://agencia.fapesp.br/professora-da-uni

Re: [Logica-l] John Woods (1937‑2024)

Tristeza,mais um que se vai. 87 anos ,nem era para ir ainda... Sentimentos, W. Em dom., 18 de ago. de 2024 10:54, Joao Marcos escreveu: > John Woods (1937-2024) > https://dailynous.com/2024/08/18/john-woods-1937-2024/ > > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e

Re: [Logica-l] Prêmio SLALM -- Profa. Ítala D'Ottaviano

e 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/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXRJg1pvSXSvBaJMtAgKMBytkNy6w1T64%2BoaLaBW95E9A%40mail.gmail.com. -- ==

[Logica-l] Uma data especialíssima

Pessoal, hoje é o aniversário de uma pessoa muito especial na lógica brasileira-- ela cumpre um aniversário bastante icônico, que é divisível pelo primeiro e terceiro primos. Quem souber quem é, que a cumprimente também! Deixamos aqui um grande abraço, com nossos votos para que ela continue

[Logica-l] Uma data especialíssima

Pessoal, hoje é o aniversário de uma pessoa muito especial na lógica brasileira-- ela cumpre um aniversário bastante icônico, que é divisível pelo primeiro e terceiro primos. Quem souber quem é, que a cumprimente também! Deixamos aqui um grande abraço, com nossos votos para que ela continue

Re: [Logica-l] Luiz Paulo de Alcântara

e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVCNSrEZ3XaR4zwzyqt8V%2B%3DkQgugj4hT5iU1typhZesw%40mail.gmail.com. -- Walter Carnielli CLE and Department of

[Logica-l] Sobre o projeto 'Bilateral AI'

Pessoal, Só um comentário sobre este projeto: excelente a iniciativa austríaca de combinar seriamente a IA sub-simbólica (redes neurais, aprendizado de máquina) com a IA simbólica (lógica e raciocínio formalizado em geral). Uma boa oportunidade para quem está envolvido com lógica paraconsistent

Re: [Logica-l] Re: Noam Chomsky Suffered ‘Massive Stroke,’ Recovering in Brazil | TIME

Olá Cassiano Olá pessoal; o que é interessante aqui é notar que o ícone da esquerda Chomsky e o da extremissima direita Olavo de Carvalho, ambos residentes Estados Unidos, preferiram vir se tratar no Brasil ao invés do "grande" país do Norte. Merece atenção isso, não é?? W. Em seg., 17 de jun.

Re: [Logica-l] Nuel Belnap (1930-2024)

Mais um herói que nos dexa sozinhos deste lado...RIP. W. Em qui., 13 de jun. de 2024 07:47, Joao Marcos escreveu: > https://dailynous.com/2024/06/13/nuel-belnap-1930-2024/ > > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você re

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema

> >> Oi Walter, colegas, >> >> desculpem, segue o pdf em anexo. >> >> Abraços >> Jonas >> >> Em qua., 12 de jun. de 2024 às 09:50, Walter Carnielli < >> walter.carnie...@gmail.com> escreveu: >> >>> Bom dia Jonas, >

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema

Bom dia Jonas, Até onde consegui ler o texto está muito bom, mas tem um."paywall " intransponível para não-assinantes. Vc consegue disponibilizar o PDF? Abraços, Walter Em qua., 12 de jun. de 2024 07:11, escreveu: > logica-l@dimap.ufrn.br >

Re: [Logica-l] El Comercio: Newton da Costa

so está 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: >> &

Re: [Logica-l] El Comercio: Newton da Costa

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

[Logica-l] Open position in Mathematical Logic at ILLC, Amsterdam

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 and

[Logica-l] 2nd RatioLog Workshop: caderno de resumos e início das atividades

. 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

[Logica-l] Newton da Costa (1929-2024)

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/ --

[Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa

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 "LOGICA

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

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

Re: [Logica-l] a maioridade / maturidade da LOGICA-L

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: >

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

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 contr

Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA

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

Re: [Logica-l] idiotas e picadas de abelhas

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 ló

Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY

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 v

Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY

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 é

[Logica-l] A,lógica /n|d/+as aulas de matemática

gt; e no > twitter > <https://twitter.com/sol_logica/status/1748028313585537287> 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

[Logica-l] Indicación de lectura: "Synthetic Philosophy of Contemporary Mathematics"

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 https://medium.com/@NovelNestBooks/6-best-mathematics-books-for

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

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

Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

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

Re: Re: [Logica-l] Consultinha rápida: "Odds"

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

Re: Re: [Logica-l] Consultinha rápida: "Odds"

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

Re: Re: [Logica-l] Consultinha rápida: "Odds"

"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 > *

Re: Re: [Logica-l] Consultinha rápida: "Odds"

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 te

Re: [Logica-l] Consultinha rápida: "Odds"

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, Walter

[Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

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 pesquis

Fwd: [Logica-l] a lógica /n|d/+as aulas de matemática

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

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

gt; > -- > 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 can

Re: [Logica-l] Consultinha rápida: "Odds"

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

[Logica-l] Consultinha rápida: "Odds"

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

Re: [Logica-l] Google DeepMind used a large language model to discover new math | MIT Technology Review

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 acadêmic

Re: [Logica-l] Códigos de ética e conduta em sociedades científicas

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: >

Re: [Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos!

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 > human

Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science

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

[Logica-l] Sobre a prova matemática mais ousada da existência de Deus

. -- 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

Re: [Logica-l] Concurso Filosofia UFFS

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

[Logica-l] Pos-Doc em Roma, Universidade Tor Vergata

*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 founde

Re: [Logica-l] sobre os fundamentos da matemática

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 critical

Re: [Logica-l] "Can the Collatz conjecture be proven, or not?"

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, Color

Re: [Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal

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 Fin

[Logica-l] Códigos de cobertura: um tópico antigo, ainda muito quente

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 é super-ultra-usa

Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

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> esc

Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF

ot;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+u...@dimap.ufrn.br. >>>>>> Para ver essa discussão na Web, acesse &

Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

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 diss

[Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice

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 and

[Logica-l] (SILFS-L) CfP - Philosophy of Mathematics: Models, Methods, and Applications - 3rd FilMat Graduate Conference - Rome, January 11-12, 2024

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” *Organiz

Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30

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 ver essa discussão na Web, acesse >

Re: [Logica-l] Coluna sobre IA no Rádio

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. > > É com

Re: [Logica-l] Lógica em tempos de guerra --- para reflexão

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 parti

Re: [Logica-l] Trends in Logic conference- Torun,2023

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 > > U

Re: [Logica-l] Trends in Logic conference- Torun,2023

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 ap

[Logica-l] Trends in Logic conference- Torun,2023

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 actio

[Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube

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

Re: [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked

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

[Logica-l] Bolsas de Posdoc UFRJ

📣 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; 📌

Re: [Logica-l] Tradução

Confesso que estou ainda procurando a graça dessa "piada"... W. Em sáb., 10 de jun. de 2023 14:23, Abilio Rodrigues Filho < abilio.rodrig...@gmail.com> escreveu: > Oi Cassiano, oi pessoal. > O q acham da pergunta ser: > Desce um chopp pra cada um? > Abraços > A. > > > Em sáb, 10 de jun de 2023 1

[Logica-l] Re: Um "Arenque Vermelho "

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

[Logica-l] Um "Arenque Vermelho "

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: > logica-l@dim

[Logica-l] Oportunidade de Doutorado com Bolsa Integral entre Bolzano (Itália) e Twente (Holanda)

-- 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, Técni

[Logica-l] PhD positions in Philosophy at the University of Rome “Tor Vergata”

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

[Logica-l] Ian Hacking (1936-2023)

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 acad

Re: [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala

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 de

Re: [Logica-l] logic vs "formal methods"

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 indutiv

Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?

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", co

[Logica-l] Mais uma vez, a MDPI e as publicações predatórias

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 Googl

Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?

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 fund

Re: [Logica-l] ChatGPT quis matar Newton da Costa

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

Re: [Logica-l] ChatGPT quis matar Newton da Costa

ed 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

[Logica-l] ChatGPT quis matar Newton da Costa

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. ChatG

Re: [Logica-l] Chocolate, LSD e MDPI

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)

[Logica-l] PhD positions in philosophy (including philosophy and history of mathematics and logic) at Aix-Marseille University (France)

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 t

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

t; prestar 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 > e

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

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 ver es

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

> > 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 paywall

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

discussão boa sobre isso aconteceu na palestra 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

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

Cara(o)s colegas: Recentemente recusei uma oferta de editar um número especial da revista Axioms da MDPI devido aos exorbitantes custos de publicação ("publication fees" de 2000 Francos suíços, aproximadamente R$ 12.000 por peça publicada). Após consultar a comunidade resolvi não bancar o capt

Re: [Logica-l] Theoretical Puppets

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 G

Re: [Logica-l] 17 anos de LOGICA-L

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 d

[Logica-l] [Off Topic] Auxilio para desenvolvimento de projeto em IA

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

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

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 mensagem,

[Logica-l] Re: Uma consulta à comunidade: Ponto final

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

[Logica-l] Uma consulta à comunidade: Ponto final

esta iniciativa 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 c

[Logica-l] PhD or Postdoc Position at LMU Munich about Verified Modal Logics

We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the Isabelle formalization of modal model theory. The work will take place within the Chair of Theoretical Computer Science at LMU Munich under Jasmin Blanchette's supervision with the participation of two ex

Re: [Logica-l] Uma consulta à comunidade

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 p

[Logica-l] Uma consulta à comunidade

rivilé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 Carniell

[Logica-l] Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs)

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, es

  1   2   3   4   5   6   7   8   9   10   >