Re: [Logica-l] Fwd: Artigo Jornal da USP

esse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiMcH1f3ywybiT5OKU-JmJRi8A_SbCqHqXGREP%3DNOxktA%40mail.gmail.com. --

Re: [Logica-l] Fwd: Gilles Dowek

--- >> 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 esta convers

Re: [Logica-l] Researchers seek to influence peer review with hidden AI prompts

Obrigado Marcelo. truquinho barato mas funciona , tipo "escrever com limão", eu estava esperando alguma coisa como código malicioso! Abraço Walter ==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Ins

Re: [Logica-l] Researchers seek to influence peer review with hidden AI prompts

E como são essas tais" letras invisíveis" ? É alguma linha de código , ou o que é isso? W. ==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercar

Re: [Logica-l] Uma pergunta sobre didática ("métodos específicos")

se ele(a)s entendem ou sabem usar um certo método específico. Basta esclarecer na pergunta o que você quer, não vejo nenhuma dificuldade muito grande nisso... Abs Walter Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2

[Logica-l] Medalha de Ouro da .Olimpíada de Logica

Rafael é ainda mais impressionante por ter feito a prova num idioma que não é o dele- as provas são todas feitas em espanhol. Parabéns ao Rafael e que sirva de exemplo aos outros estudantes. Um abraço, Walter Walter Carnielli CLE and Department of Philosophy University of

Re: [Logica-l] Many-Valued Logic [SEP]

em aberto, mas certamente com máquinas mais velozes e outras técnicas, alguém conseguirá computar ou encontrar alguma fórmula geral. Talvez seja de interesse. Um grande abraço, Walter ==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICA

[Logica-l] APMP 2025 - deadline extension June 1

r (Chapman University) Erich Reck (UC Riverside) Patrick Ryan (Chapman University) --- Silvia De Toffoli www.silviadetoffoli.net === Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercar

[Logica-l] "Artigos estranhos têm pintado por aí..."

rstandings. + ==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli -- LOGICA-L Lista acadêmica bras

[Logica-l] The International Congress on Charles Sanders Peirce: Peirce in Istanbul (23-24 October 2025)

Pessoal, Divulgando a pedido do colega e amigo Vedat Kamer da Universidade de Istambul: ===/=/ The International Congress on Charles Sanders Peirce: Peirce in Istanbul will be held on October 23–24, 2025, at the Faculty of Letters, Istanbul University. The poster for the congress is attache

Re: [Logica-l] Re: artigos estranhos têm pintado por aí...

Ola João, olá Bismarck: Obrigado por notarem esses artigos estranhos. Eu certamente não aceitei nada disso, vou ver com a produção da Oxford University Press o que está acontecendo . Depois dou alguma notícia. Abraços , Walter Walter Carnielli CLE and

Re: [Logica-l] 19 anos

Parabéns a nós toda(o)s, que organizamos e que participamos A Lista nos conecta muito bem há 19 anos! Abraços, Walter -- 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 Gru

[Logica-l] 5 mil inscritos no AD INFINITUM

Edgar e Alfredo, Parabéns pela excelente iniciativa! Há anos estou querendo lançar meu canal, complementar ao de vocês, mas não tenho tanta coragem quanto vocês. Um abraço, Walter Em seg., 17 de mar. de 2025 22:56, Alfredo Roque Freire < alfrfre...@gmail.com> escreveu: > Olá a todas e todos,

Re: [Logica-l] David Miller (19 August 1942 – 20 November 2024)

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 esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXu-fHQmbOGh3tdy4Q-vhhYV2nHp6DmbqYhi2Kv%3DxR6

Re: [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models

untas. Acima, compartilhei minha visão sobre > isso. Fiquei impressionado porque não havia visto até agora um enfoque mais > profundo. > Abraços, > > Walter > > Em qua., 29 de jan. de 2025 às 17:08, Walter Carnielli < > walte...@unicamp.br> escreveu: > >> Pesso

Re: [Logica-l] Fwd: Krister Segerberg (1936-2025)

Triste noticia. A lógica modal sofrendo grandes perdas. W. Em qui., 6 de fev. de 2025 20:03, Valeria de Paiva < valeria.depa...@gmail.com> escreveu: > Muito triste mesmo Joao Marcos! > obrigada por avisar! > Valeria > > On Thu, Feb 6, 2025 at 7:17 AM Joao Marcos wrote: > >> Uma notícia muito tri

[Logica-l] Postdoctoral Positions in Logic at the ICS CAS (Prague, Czech Republic)

==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli -- LOGICA-L Lista

[Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models

onjunto de algoritmos envolvendo álgebra linear, probabilidades condicionais e cálculo 1. Parece impossível gerar semântica a partir disso… Abraços. Walter -- ==== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University,

Re: [Logica-l] Can you solve it?

de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVOjemAngKKxRQ175mr_3m-R_aq8vUdxvVxcw31ECfMCA%40mail.gmail.com. -- Walte

Re: [Logica-l] Fwd: Divulgação - Novo Workshop sobre IA Generativa para Pesquisa Acadêmica

Sorry... R$ 98,00 para aprender fazer prompt? Posso ensinar gratuitamente... W. Em sex., 24 de jan. de 2025 11:37, Jorge Petrucio Viana < petrucio_vi...@id.uff.br> escreveu: > Divulgando a pedidos. > P > > -- Forwarded message - > De: Harrson Santana > Date: sex., 24 de jan.

Re: [Logica-l] Can you solve it?

meur = (sum_{para todo i na minha frente} cor(i)) mod 3 >- atrasdemim = (sum_{para todo i que já ouviu exceto o primeiro} > cor(i)) mod 3 >- fala (r - meur - atrasdemim) mod 3 > > > > On Tue, Jan 21, 2025 at 7:59 PM Walter Carnielli wrote: >> >> Ola Elia

Re: [Logica-l] Can you solve it?

logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVOjemAngKKxRQ175mr_3m-R_aq8vUdxvVxcw31ECfMCA%40mail.gmail.com. -- Walter Carnielli CLE and Department of Philosophy University of

[Logica-l] Sobre o "South Florida Journal of Development"

revisão por pares e sem uma submissão formal, eu não publicaria ali. Abraços, Walter -- ======== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Int

[Logica-l] Noticia triste: Wolfram Pohlers (1943-2024)

Com tristeza noticio o falecimento de meu colega e amigo de Münster , Wolfram Pohlers em 19.12.2024 depois de uma longa doença. Pohlers , autor de "Proof Theory-The First Step into Impredicativity" (Springer, 2009) foi aluno de Kurt Schütte, colaborador assíduo de Takeuti e orientador de divers

Re: [Logica-l] Teoria dos Conjuntos paraconsistente e paracompleta

oogle. > 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 esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/555d6513-fd8d-4eaa-9757-104183b9cb55n%40dimap.ufrn.br.

[Logica-l] Sobre a(s) teoria(s) de conjuntos paraconsistentes e seus problemas

nivel on line: 2021https://apcz.umk.pl/LLP/article/view/LLP.2020.015 Abraços, Walter -- Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarniell

[Logica-l] Presente de Natal

;utm_term=0_-a0e8404d36-389564189&mc_cid=1c4ec74a07&mc_eid=994f2c0e44 Aliás Feliz Natal, Walter -- Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Intelligence Blog https:/

Re: [Logica-l] [OFF] the well-succeeded GPT philosopher

Muita"hype" em cima da IA. Alem dos "operários de dados" https://youtu.be/DJBGbX9ByLE?si=LbL34S3tBjWkS_ma (eu mesmo estou fazendo algumas "consultorias" para a Outlier por experiência :-)) tem tambem gente vendendo teses academicas via Fiverr, Freelancer e outras. US$ 50 por página. W Em

Re: [Logica-l] Claus Akira Matsushigue (1965-2024)

Que tristeza,o Claus tão de bem com a vida ! Como é que pode a vida terminar assim até para uma pessoa tão de boa? Meus sinceros sentimentos! Walter Em ter., 10 de dez. de 2024 18:53, 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > Caros, > > Com dor no coração inform

Re: [Logica-l] Mecânica Quântica e Realidade (número especial na THEORIA)

Meus sinceros Parabéns ,Raoni ,Jonas Christian e Raimundo! Me lembro que estive numa mesa redonda com o Christian (em Calcutá se não me engano) e ele me contou que estava trabalhando com o Newton em mecânica quântica. Me pareceu um ótimo trabalho. Um abraço, Walter Em qua., 20 de nov. de

[Logica-l] [Off Topic} Plataforma Chagas do CNPq nao funciona?

tal de JWT e o que o bendito sistema quer "validar"? Abraços, Walter -- ======== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil Chapman University, Orange, CA, USA AI2- Advanced Institute for Artificial Int

[Logica-l] Chapman University-MPP Graduate Program Call for Applications

are subscribed to the OCIE Seminar Series announcements mailing list. Please use the link below if you would like to unsubscribe. Preferences <https://schmidcollegeofscienceandtechnology.updatemyprofile.com/r-tdkttlkl-797FDA07-nqltfujd-jl> | Unsubscribe <https://schmidcollegeofscienceandtechnology.cmail20.com/

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

  1   2   3   4   5   6   7   8   9   10   >