[Logica-l] Fwd: Paul Benacerraf (1930-2025)

-- Forwarded message - Paul Benacerraf, professor emeritus of philosophy at Princeton University, has died. https://dailynous.com/2025/01/16/paul-benacerraf-1930-2025/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está re

[Logica-l] [humor] resolvedores SAT

demonstração de teoremas + redes neurais https://www.smbc-comics.com/comic/applied JM -- 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 insc

[Logica-l] WLD @ Daily Nous

https://dailynous.com/2025/01/14/happy-world-logic-day/ "Today is World Logic Day! May all of your arguments be valid." Mind your p's and q's! Joao Marcos -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo est

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

sistentistas ou não--- terão a dizer sobre isso. []s, Joao Marcos On Fri, Jan 3, 2025 at 10:56 AM 'samuel' via LOGICA-L wrote: > > Prezados, > > Feliz ano novo, > > Acabei de receber o anúncio da publicação do artigo abaixo, só li o abstract. > > Imagino que sej

[Logica-l] AI & Mathematics

ESSAY: Machine-Assisted Proof by Terence Tao https://www.ams.org/journals/notices/202501/noti3041/noti3041.html LECTURE The Potential for AI in Science and Mathematics, by Terence Tao https://youtu.be/_sTDSO74D8Q?si=ZQkvXVGp38vfF1d5 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estu

[Logica-l] TALK @ WLD: Machine Learning and Logic: Fast and Slow Thinking, por Moshe Y. Vardi

On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi. Date: January 14, 2025 Time: 0700 CST, 1300 GMT, 1400 CET, 1830 IST, 2100 (Beijing) Zoom Link: URL: https://cmi-ac-in.zoom.us/j/89055168551?pwd=7SeShM

[Logica-l] WLD Zoom Event: [Far Eastern-]Southern Summer Logic Day (January 14 in AU/NZ)

-- Forwarded message - The Australasian Association for Logic is hosting a Southern Summer Logic Day (Monday, 13 January 2024 at 23:00:00 (UTC); notice that in AU/NZ this will be a Tuesday 14), to celebrate the UNESCO World Logic Day. More details can be found on the website: http

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

“Gpt could easily get a PhD on any philosophical topic” https://dailynous.com/2024/12/18/gpt-could-easily-get-a-phd-on-any-philosophical-topic/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu

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

https://mat.unb.br/index.php/outras-noticias/930-nota-de-pesar JM On Tue, Dec 10, 2024, 23:53 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Caros, > > Com dor no coração informo que o colega e amigo Claus Akira Matsushigue > faleceu hoje de manhã em Brasília, aos 59 ano

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

O querido Claus passa para a turma da saudade... https://photos.app.goo.gl/JW3WDHsdDD2x2rZv8 Tristíssima notícia! João Marcos On Tue, Dec 10, 2024, 23:53 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Caros, > > Com dor no coração informo que o colega e amigo Claus Akir

[Logica-l] Fwd: AI for Math Fund announcement

-- Forwarded message - The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, is a grant opportunity committing $9.2 million to research, field-building and development of open-source tools and datasets in the intersection of AI and mathematics. Projects rela

[Logica-l] Harness AI to Help Your Students Learn Basic Logic

https://dailynous.com/2024/12/04/harness-ai-to-help-your-students-learn-basic-logic-and-more-guest-post/ JM -- 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 Goog

[Logica-l] Fwd: CfP: Truth and Falsity in Feminist Epistemology, Workshop in Freiburg, 6-7 August 2025

-- Forwarded message - CFP: “Is that so? Truth and Falsity in Feminist Epistemologies”, Workshop at the Professorship for Epistemology & Theory of Science, UCF, University of Freiburg, Freiburg, Germany, 6–7 August 2025 Confirmed participants include Linda Martín Alcoff (CUNY), N

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

https://www.royalsociety.org.nz/who-we-are/our-people/our-fellows/obituaries/fellows-obituaries/maxwell-john-cresswell/ Obituário escrito por Rob Goldblatt e Ed Mares. []s, JM https://sites.google.com/site/sequiturquodlibet/ On Tue, 24 Sep 2024 at 08:24 Joao Marcos wrote: > Max Cressw

[Logica-l] Arnold Koslow (1933-2024)

Arnold Koslow (1933-2024) https://dailynous.com/2024/11/26/arnold-koslow-1933-2024/ 😓 JM -- 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

[Logica-l] seminários sobre História da Lógica

these fields. %%% []s, Joao Marcos -- 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 nesse grupo e parar de receber e-

[Logica-l] Fwd: [PHILOS-L] Call for Abstracts: Trends in Logic XXV: Non-Classical Approaches to Traditional Philosophical Problems

-- Forwarded message - Call for Abstracts: Trends in Logic XXV: Non-Classical Approaches to Traditional Philosophical Problems Website: https://sites.google.com/view/logica-mexa/events/tlxxv Trends in Logic will be held in Mexico City, 16-20 June 2025. Certain paradigmatic

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

propriamente *com Lógica*? Ah, sim, Bremen é realmente linda e é bem conhecida como um ótimo lugar para se montar uma banda de música, particularmente se você for um animal saltimbanco. ;-) Abraços, e muita sorte para vocês aí nas terras trumpianas! Joao Marcos On Tue, Nov 5, 2024 at 3:40 PM Walter

[Logica-l] bolsa de pós-doutorado no programa de Filosofia da UFSC

qui: https://ppgfil.posgrad.ufsc.br/pos-doc/pipd-2025/ Os pesquisadores interessados nesta (imperdível!) oportunidade podem ficar à vontade para entrar em contato comigo para outras informações que se fizerem necessárias. Joao Marcos -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes

[Logica-l] Fwd: Pavel Materna death notice

-- Forwarded message - With great sadness, we announce that Prof. Pavel Materna, aged 94, passed away peacefully on October 25 in Prague. Pavel was a Czech logician, philosopher and musician. He was a follower of Pavel Tichy, the founder of Transparent Intensional Logic (TIL). Pave

[Logica-l] prêmio Nobel de Física para a Computação?

Was the Nobel prize for physics? Yes — not that it matters https://www.nature.com/articles/d41586-024-03435-w "Almost a decade ago, two of us (M.S. and R.S.) co-authored an analysis of referencing and citation patterns that explicitly placed Hopfield’s seminal 1982 paper on neural networks among 3

[Logica-l] Computer Scientists Combine Two ‘Beautiful’ Proof Methods

combining zero-knowledge proofs with probabilistically checkable proofs https://www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta men

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

What should we teach? --- respostas de Donoho, Jordan, Figalli, Ghys, Daskalakis, Arora, Esteban, Bryant, Nesin... à pergunta feita a eles durante o ICM 2018, no Rio. https://youtu.be/pyGWW28EQuI?si=wyu50wproWU1vIUX Notadamente, alguns destes matemáticos mencionam a importância de não se ensinar ap

[Logica-l] Fwd: Dov Gabbay Prize 2024 - the Winners

-- Forwarded message - The Jury of the "Dov Gabbay Prize for Logic and Foundations", chaired by Philip Welch, and the "Initiative for Logic and Foundations (ILOAF asbl)" are pleased to announce that in 2024 the prize is awarded jointly to * David Asperó and Ralf Schindler

[Logica-l] [OFF] Fwd: Survey on Epistemic Challenges Faced by Native and Non-native English Speakers in Philosophy

Um questionário bastante interessante, organizado por colegas da universidade de Utrecht, que seria interessante de se circular nos programas de Filosofia brasileiros: https://survey.uu.nl/jfe/form/SV_7ajkbaMwHOZLSM6 Em semana de ANPOF, parece vir em boa hora! JM -- Forwarded message

[Logica-l] Fwd: Logics, Volume 2, Issue 3 (September 2024) Released

-- Forwarded message - [image: logics-logo]

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

Max Cresswell (1939-2024) https://dailynous.com/2024/09/24/max-cresswell-1939-2024/ JM -- 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 in

[Logica-l] enforcamento inesperado

Por que o 'paradoxo do enforcamento inesperado' é tão surpreendente https://www.bbc.com/portuguese/articles/ckgnz4d4xdzo JM -- 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" do

[Logica-l] Kids Should Be Taught to Think Logically

Training in symbolic logic is critical in many careers, for responsible citizenship and better lives. It is also an underexploited antidote to today’s bizarre conspiracy thinking --- artigo de opinião, por Vinay K. Chaudhri https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-thi

Re: [Logica-l] Lista de periódicos em lógica

mas ainda não existia quando eu construí a minha, vale acrescentar que também é um periódico Open Access. E também ainda não foi implementada nenhuma taxa para os autores. []s, Joao Marcos On Wed, Sep 4, 2024 at 9:26 PM Bruno Bentzen wrote: > > Caros colegas, > > Ano passado, c

[Logica-l] Fwd: ICLA 2025

-- Forwarded message - As you may know, the Indian Conference on Logic and its Applications (ICLA) is a biennial international conference conducted by the Association for Logic in India (ALI; https://logicindia.org). The conference spans a wide range of themes in logic as pursued i

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

John Woods (1937-2024) https://dailynous.com/2024/08/18/john-woods-1937-2024/ JM -- 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çã

[Logica-l] Re: Workshop on Paraconsistent Reasoning, Calcutá / online, 17-18 Ago 2024

O link prometido, para o evento em Calcutá: https://meet.google.com/utk-wifm-dxn []s, JM On Wed, Aug 14, 2024 at 10:31 AM Joao Marcos wrote: > > Este evento ocorrerá no próximo fim de semana: > > Workshop on Paraconsistent Reasoning > (An assembly of researchers from India a

[Logica-l] seleção mestrado / doutorado UFSC 2024/2025

contactar diretamente. Joao Marcos -- 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 nesse grupo e parar de receber e-

[Logica-l] Workshop on Paraconsistent Reasoning, Calcutá / online, 17-18 Ago 2024

Residential College, Narendrapur, West Bengal, India https://rkmrc.in/workshop-on-paraconsistent-reasoning/ Consta que em breve estará disponível o link para participação remota. Vale notar que a diferença de fuso entre o horário de Brasília e o de Calcutá é de 8h30min. []s, Joao Marcos -- LOGICA-L

[Logica-l] Fwd: [SBL-Sócios] Dia do Filósofo -- SBL

-- Forwarded message - From: Sociedade Brasileira de Lógica Colegas, Em celebração ao Dia do Filósofo, a SBL promove a seguinte palestra: Para que ensinamos lógica nos cursos de Filosofia? Prof. César Frederico dos Santos (UFMA) 16 de agosto, 10:00 https://www.youtube.com/watch?v

[Logica-l] Fwd: New AI Venture Focuses on Mathematical Reasoning

-- Forwarded message - From: Daily Nous Of possible interest to philosophers working in logic and philosophy of math, as well as anyone curious about the reasoning abilities of artificial intelligence [insert scare quotes where you need to] is a new model from Harmonic called "Aris

Re: [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

Da homenagem que fizemos ao Aldo em Montevideo: https://x.com/antitheorem/status/1809411014024126621?t=ypCfscXNcu-Gozd1g3DQCA&s=19 JM On Mon, Jul 1, 2024, 17:04 Hugo Luiz Mariano wrote: > Car@s colegas, > > Recebemos com grande pesar a notícia do falecimento, ocorrido na > quinta-feira 27 de ju

[Logica-l] Luiz Paulo de Alcântara

comunidade nenhuma nota a respeito do recém-ocorrido, achei que conviria registrar aqui a perda do nosso colega. Cuidem-se bem! Joao Marcos -- 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

Re: [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

Esperávamos por Aldo hoje no SLALM em Montevideo. Uma notícia tristíssima, chocante... Joao Marcos On Mon, Jul 1, 2024 at 5:04 PM Hugo Luiz Mariano wrote: > > Car@s colegas, > > Recebemos com grande pesar a notícia do falecimento, ocorrido na quinta-feira > 27 de junho, do

Re: [Logica-l] Raciocínio e Linguagem

Pretendo apresentar alguns resultados preliminares dele no > próximo SBFA. > > Abraços > Bruno Ramos Mendonça > Universidade Federal da Fronteira Sul > > Em segunda-feira, 24 de junho de 2024 às 11:54:45 UTC-3, Joao Marcos > escreveu: > >> É de se supor, ainda, que o c

Re: [Logica-l] Raciocínio e Linguagem

na formação dos conceitos abstratos na mente. > > []s > > > Em dom., 23 de jun. de 2024 às 16:17, Joao Marcos > escreveu: > >> O fanatismo é sempre um problema. >> >> Imaginar que a teoria da Gramática Universal, que sugere que a >> habilidade de aquis

[Logica-l] Workshop de Lógica PPGLM / UFRJ

Amanhã começa este evento, transmitido em tempo real pelo YouTube: Workshop de Lógica PPGLM / UFRJ https://www.youtube.com/playlist?list=PLqOJPms8r-Uh5mo_8He5CgDEbeBmFso54 Parece-me que não chegou a ser divulgado nesta lista? Infelizmente, na programação não constam os títulos das palestras. Est

[Logica-l] questão sobre material de ensino para Filosofia: lógica & recursão

taria antes de mais nada de receber dos colegas, na lista ou fora dela, sugestões de material a usar em sala de aula para o tratamento adequado deste tópico, com particular aplicação ao ensino de Lógica para estudantes de Filosofia (ou de Linguística). Agradeço desde já, Joao Marcos -- https

Re: [Logica-l] Raciocínio e Linguagem

minha maior preocupação tem sido a aparente débil formação lógica, que os leva com alguma frequência a escrever algumas barbaridades... []s, Joao Marcos On Sun, Jun 23, 2024 at 2:30 PM Carlos Augusto Prolo wrote: > > > > Em dom., 23 de jun. de 2024 14:14, Joao Marc

Re: [Logica-l] Raciocínio e Linguagem

O que todo matemático sempre soube, rsrsss... JM On Sun, Jun 23, 2024, 14:12 Carlos Augusto Prolo wrote: > Boa tarde. > > > https://www1.folha.uol.com.br/ciencia/2024/06/nao-precisamos-de-linguagem-para-pensar-sugerem-neurocientistas.shtml > > Abraco. > Prolo > > -- > LOGICA-L > Lista acadêmica

[Logica-l] A Searchable Digital Map of Principia Mathematica

https://dailynous.com/2024/06/19/a-searchable-digital-map-of-principia-mathematica/ The aim of the map, say creators Landon D.C. Elkind (Western Kentucky), Gregory Landini (Iowa), and Matthew Butler (Iowa), is to “make clear structural connections between different parts of Principia and to make a

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

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ê está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar

Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

ar LaTeX... []s, Joao Marcos -- https://sites.google.com/site/sequiturquodlibet/ -- 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 cancel

[Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

AI Will Become Mathematicians’ ‘Co-Pilot’ - Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ (incluindo grande propaganda do LEAN) JM -- LOGICA-L List

[Logica-l] Alonzo Church Award 2024

The European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS), and the ACM Special Interest Group for Logic and Computation (SIGLOG) are pleased to announce that the 2024 Alonzo Church Award for Outstanding Contributions to Logic and

[Logica-l] [humor] da profundidade axiomática

https://www.smbc-comics.com/comic/simple JM -- 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 nesse grupo e parar de receber e-ma

[Logica-l] Fwd: Fully Funded PhD Position on Axiomatic Definitions at the University of Aix-Marseille

-- Forwarded message - just for advertising this Fully funded PhD position in "Axiomatic definitions. Criteria of adequacy and typologies of definitions in axiomatic theories of 19th and 20th centuries", at the Centre Gilles Gaston Granger, University of Aix-Marseille. It is part o

[Logica-l] fail better!

How Failure Has Made Mathematics Stronger: The topologist Danny Calegari discusses the inevitability of disappointment in math, and how to learn from it. https://www.quantamagazine.org/how-failure-has-made-mathematics-stronger-20240522/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionai

[Logica-l] Fwd: New Master's Degree in Logic - Athens, Greece

-- Forwarded message - **CALL FOR EXPRESSION OF INTEREST IN THE M.Sc./M.A. PROGRAMME “LOGIC”** The National and Kapodistrian University of Athens (Department of History and Philosophy of Science), the Academy of Athens (Research Centre for Greek Philosophy) and the National Techn

[Logica-l] MA in Philosophy & Computing

Novo mestrado na Universidade de Bayreuth: https://dailynous.com/2024/05/06/new-an-ma-program-in-philosophy-computing JM -- 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

[Logica-l] Nel Logic Workshop, 13-14/05/2024

PessoALL: Com apresentações do Cezar, do Ederson, da Evelyn, do Hitoshi e do Jonas, este evento na UFSC pode ser de interesse para alguns dos colegas: https://drive.google.com/file/d/1o6pqC5Pg-6_rNPSpd9PO0ctJ9D_cPUBI/ []s, Joao Marcos -- https://sites.google.com/site/sequiturquodlibet

[Logica-l] Fwd: CALL FOR APPLICATIONS -- Logic for the AI Spring 2

-- Forwarded message - CALL FOR APPLICATIONS Logic for the AI Spring 2 Summer School at Lake Como School of Advanced Studies, September 2-6, 2024 https://lais.lakecomoschool.org/ DESCRIPTION In its second edition, Logic for the AI Spring, continues bringing together logician

[Logica-l] NF really is consistent

https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/ (because Lean says so!) the paper https://randall-holmes.github.io/Nfproof/maybedetangled2.pdf []s, JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensage

[Logica-l] Fwd: One-year postdoc, University of Salzburg (corrected version)

-- Forwarded message - As part of the Cluster of Excellence ‘Knowledge in Crisis’, funded by the Austrian Science Fund (FWF) [COE 03], the Paris Lodron University of Salzburg is seeking to appoint a *postdoctoral researcher (f/m/d; 40 hours/week; for 1 year)* The advertised posi

[Logica-l] Fwd: 2nd CFP (extended deadline): Non-Classical Logics. Theory and Applications XI, Lodz, Poland, September 5-8, 2024 - Michał Zawidzki

zyńska-Jasion (Adam Mickiewicz University, Poznań, Poland) - Joao Marcos (Federal University of Santa Catarina, Florianopolis, Brazil) - Manuel Antonio Martins (University of Aveiro, Portugal) - Dale Miller (Inria Saclay - Ile-de-France, Palaiseau, France) - Nicola Olivetti (Aix-Marseille University

[Logica-l] Re: resources on AI to assist mathematical reasoning

e and appealing to the broader public." -- Terence Tao, UCLA On Sat, Apr 20, 2024 at 10:20 AM Joao Marcos wrote: > > editable list of resources > https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit > > workshop > https://www.nationalacademie

[Logica-l] resources on AI to assist mathematical reasoning

editable list of resources https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit workshop https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da

[Logica-l] Fwd: Women in formal Mathematics

-- Forwarded message - From: Valeria de Paiva Date: Thu, Apr 18, 2024 at 1:55 PM Subject: [WiL] Women in formal Mathematics To: hi all, I am very pleased to announce our workshop as part of the Hausdorff Institute program on Prospects of Formalized mathematics https://www.mathem

[Logica-l] Re: Newton da Costa [1929-2024]

Obituário publicado pela Filosofia / UFSC: https://fil.cfh.ufsc.br/nota-de-pesar-newton-carneiro-affonso-da-costa-1929-2024/ JM On Wed, Apr 17, 2024, 11:24 Joao Marcos wrote: > Qual o valor exato das palavras? Este é aquele momento em que mais > sentimos falta delas, e em que mais el

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

aprouver, suas ternas lembranças e suas homenagens ao mestre da Costa: https://twitter.com/antitheorem/status/1780569310894666211 Com pesar, Joao Marcos -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se

[Logica-l] Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award

https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/ JM -- 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. P

[Logica-l] Fwd: CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024

-- Forwarded message - E W BETH DISSERTATION PRIZE 2024 = Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D.

[Logica-l] Fwd: CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024

-- Forwarded message - The ''Dov Gabbay Prize for Logic and Foundations'' is an international research prize aimed at outstanding and inspirational contributions in Logic and Foundations. It targets active researchers combining foundational insight and conceptual innovation with so

[Logica-l] Fwd: CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024.

-- Forwarded message - ACKERMANN AWARD 2024 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2024 Ackermann Award. PhD dissertations in topics specified by the CSL an

[Logica-l] vaga para Docente Permanente no Instituto de Computação da UFRJ

Esta vaga em *Teoria da Computação* pode eventualmente interessar a alguém nesta lista? https://concursos.pr4.ufrj.br/images/Edital-54-2024-MS-efetivos/5-Conteudo-Programatico-e-Sistematizacao/5.2-Conteudo-Programatico-e-Sistematizacao-25-03-24/MC-095_conteudo_programatico_edital_54-retificado.pdf

[Logica-l] evento: Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology

Evento: Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology Bergen, 02.05.2024 - 09.30–17.00 https://www.uib.no/en/fof/169442/workshop-monism-vs-pluralism-logic-and-metaphyiscs precedido por: A two-day master class by Owen Griffiths (UCL/Cambridge) and Alex Paseau (Oxford)

[Logica-l] Fwd: [LAST CALL] C-FORS Graduate Conference (Oslo): Constructional Approaches in the Foundations of Mathematics and Philosophy

O evento a seguir pode interessar jovens pesquisadores da área. JM -- Forwarded message - *C-FORS Graduate Conference:* *Constructional Approaches in the Foundations of Mathematics and Philosophy* *Important Informations:* - *Topics*: Philosophy of Mathematics, (Philosophy

[Logica-l] vaga para Professor Visitante Júnior na UFSC

quatro programas nacionais (juntamente com os programas de Filosofia da USP, da UFMG e da PUC/RS) que têm nota máxima na avaliação da CAPES. O que mais preciso dizer? Abraços, Joao Marcos %%% NOTAS (0) Do edital: "Para ser admitida como Professor Visitante Júnior, a pessoa candidata dever

[Logica-l] Will machines change mathematics?

volumes especiais do Bulletin of the American Mathematical Society "Will machines change mathematics?" https://www.ams.org/journals/bull/-000-00/S0273-0979-2024-01836-9/ tópicos cobertos no primeiro volume, publicado este mês: - AI and formalization as a tool for traditional mathematics - Can

Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism

Olha, será que já não chega de "[OUF]"? Talvez este tipo de conversa *sem nenhum esforço de conexão com os temas centrais desta lista* deveria ir para os "grupos de WhatsApp da família"? []s, JM On Thu, Mar 28, 2024 at 7:14 PM jean-yves beziau wrote: > > https://www.change.org/p/boycott-norway-

[Logica-l] on the formalization of mathematical proofs

Timothy Gowers @wtgowers: "Formalization of mathematical proofs has been talked about a lot recently. Today a new journal is launched, the Annals of Formalized Mathematics, aimed principally at mathematicians rather than computer scientists. 🧵" https://twitter.com/wtgowers/status/177118007405569660

[Logica-l] Fwd: Reminder – Women in Logic Online with Valeria de Paiva, March 20, virtual event

Vale lembrar aqui a palestra da Valeria amanhã! JM -- Forwarded message - Dear Women in Logic, this is a reminder that the first talk in the new seminar series "Women in Logic Online" will be given by Valeria de Paiva on Wednesday! Date:Wednesday, March 20, 2024

[Logica-l] Fwd: Call for applications: Summer School on Mathematical Philosophy for Female Students 2024

-- Forwarded message - Idea and Motivation The Munich Center for Mathematical Philosophy (MCMP) is organizing the Summer School for Widening Participation in Mathematical Philosophy, which will take place from Monday 22 July to Friday 26 July, 2024 in Munich, Germany. Following a s

[Logica-l] Re: on math as art, math as language, and math as abstract thought

Sim, claro, igualmente interessante: (early career section) How to Make a Portrait of a Bird Claire Voisin https://www.ams.org/journals/notices/202206/rnoti-p950.pdf thx, Valeria! JM On Sun, Mar 17, 2024 at 8:44 AM Joao Marcos wrote: > > ‘The Rest of the World Disappears’: Claire Voi

[Logica-l] on math as art, math as language, and math as abstract thought

‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity The recipient of the 2024 Crafoord Prize in Mathematics discusses math as art, math as language, and math as abstract thought. https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/

[Logica-l] Fwd: [PHILOS-L] Rolf Schock prize in Logic and philosophy 2024

-- Forwarded message - Prize announcement. The Rolf Schock Prize in Logic and philosophy 2024 is awarded jointly to Hans Kamp, Stuttgart, and Irene Heim, MIT, "for the (mutually independent) conception and early development of dynamic semantics for natural language". Read more ab

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

> >> A SBL enviou uma carta de apoio há cerca de semana e a SBPC também já o fez. >> >> De fato, está havendo, se iniciou neste momento, um "reforço" da SBPC junto >> às entidades filiadas sobre estas manifestações de apoio. >> >> Abraços >&g

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

Importantíssimo, Hugo! Muito preocupante a situação da ciência cis-cis-platina! Valeria a pena, talvez, a SBL também se manifestar oficialmente? []s, João Marcos On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano wrote: > Prezad@s coleg@s, > > Dada a importância e gravidade do assunto, tomo a libe

[Logica-l] [XX SLALM] Call for Contributions, Registration and Grant Application

+++ CALL FOR CONTRIBUTIONS XX SLALM - 20th Latin American Symposium on Mathematical Logic Uruguay July 1 to 5, 2024 https://xxslalm.cmat.edu.uy/ +++ The Latin America

[Logica-l] Re: regras induzindo um conjunto

Vox twitteri, vox dei: ;-) https://twitter.com/antitheorem/status/1763573386054095173 JM On Fri, Mar 1, 2024 at 6:02 PM Joao Marcos wrote: > > Let R be a set of rules inducing a set S of individuals. What is your > favorite way of defining S from R? > > > [A] Nothing is a mem

[Logica-l] regras induzindo um conjunto

Let R be a set of rules *inducing a set S of individuals*. What is your favorite way of defining S from R? [A] Nothing is a member of S unless it is produced by the rules in R. [B] S is the smallest set closed under R. [C] S is generated by R through a fixed-point construction. [D] None of the ab

[Logica-l] CFP: Non-Classical Logics: Theory and Applications 2024

NCL'24: Non-Classical Logics: Theory and Applications 2024 University of Lodz Conference Center Łódź, Poland, September 5-8, 2024 Conference website https://easychair.org/smart-program/NCL'24/ Submission link https://easychair.org/conferences/?conf=ncl24 Conference program https://easychair.org/sm

[Logica-l] Fwd: Logic Colloquium 2024, Gothenburg, 24-28 June 2024

-- Forwarded message - Registration open Contributed talks deadline extended Student travel grants deadline approaching Scientific Programme available Logic Colloquium 2024 Gothenburg, Sweden 24-28 June 2024 web: http://lc2024.se contact: i...@lc2024.se The Logic Colloquium is th

[Logica-l] Fwd: CFA: MCMP Summer School for Widening Participation in Mathematical Philosophy

-- Forwarded message - [Idea and Motivation] The Munich Center for Mathematical Philosophy (MCMP) is organizing the Summer School for Widening Participation in Mathematical Philosophy, which will take place from Monday 22 July to Friday 26 July, 2024 in Munich, Germany. Following

[Logica-l] Fwd: CfR: Lindström Lectures: Phokion G. Kolaitis, 15 & 17 April, Hybrid: Gothenburg and Online

-- Forwarded message - On 15-17 April, 2024 the University of Gothenburg will host the 2024 edition of its annual Lindström Lectures. The Lindström Lectures is a distinguished lecture series initiated in 2013 celebrating the memory of Per (Pelle) Lindström, former (and first) profe

[Logica-l] Fwd: [WiL] Invitation – Women in Logic Online with Valeria de Paiva, March 20, virtual event

-- Forwarded message - Dear Women in Logic, we are starting a new seminar series called "Women in Logic Online"! The first talk will be given by Valeria de Paiva. Date:Wednesday, March 20, 2024 Time: 17:00 CET Venue: Online via Zoom (link

[Logica-l] idiotas e picadas de abelhas

https://twitter.com/antitheorem/status/1758641575763337657 Uma piada do Mark Twain, e exercício de lógica do Copi. Aparentemente amplamente mal entendido, há 140 anos! Joao Marcos -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e

[Logica-l] Quando ensinar Lógica Formal, em um curso de graduação?

Opiniões podem ser registradas aqui: https://twitter.com/antitheorem/status/1757812328366539213?t=3J5BBarav5vooDvVBd2wVA&s=19 []s, JM -- 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 "LOG

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

formalismos dedutivos "parecidos" (método de resolução ou tableaux analíticos não valem como resposta à minha pergunta!). []s, Joao Marcos On Wed, Jan 31, 2024 at 8:48 AM Walter Carnielli wrote: > > Em tempo: > > Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming. &

Re: [Logica-l] Re: "Funções são conjuntos"

> * > > O encapsulamento do código evita que o cliente faça perguntas > bobas, > como "será que {a}∈(a,b)?" > **

[Logica-l] Re: calcular é fazer dobraduras

ma referência geral sobre a construtibilidade via espirógrafos) Abraços, Joao Marcos -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no g

Re: [Logica-l] Re: "Funções são conjuntos"

entre mais no que > é "existência em matemática", > enfim. Que aí a coisa da matemática construtiva vem em cheio também. Isto daria uma discussão deveras interessante! Abraços, Joao Marcos -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasile

[Logica-l] Re: calcular é fazer dobraduras

uclidiana (o Hamkins não menciona uma referência para este resultado, e eu também não procurei). Parece-me que um bom problema (em aberto?) para uma estudante de pós-graduação que queira aparecer na Quanta Magazine seria o de mostrar que espirógrafos também são Turing-completos. Abraços, Joao Marco

[Logica-l] Logic puzzle: CLIMATE JOURNEY

Five persons make separate journeys within Europe using different modes of transport. Match the travelers with their respective journey and mode of transport and calculate the amount of CO2 emissions that they cause in the process! https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf

  1   2   3   4   5   6   7   8   9   10   >