Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo

Prezado João, Confesso que não conhecia o PPA. Assim como a Elaine, acredito que a divulgação deste mecanismo é uma ótima sugestão para a consideração das sociedades científicas e da SBL em particular. Abraços Hugo Mariano Em sáb., 15 de jul. de 2023 às 15:30, João Mendes <

[Logica-l] 286386577668298411128469151667598498812366 ...

... é o número de funções boolianas monotônicas com 9 variáveis. https://mathworld.wolfram.com/DedekindNumber.html Mathematicians Discover The Ninth Dedekind Number, After 32 Years of Searching https://youtu.be/7kmf3esmEKA JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e

[Logica-l] Re: 286386577668298411128469151667598498812366 ...

também https://g1.globo.com/mundo/noticia/2023/07/17/matematicos-solucionam-misterio-do-numero-impossivel.html e https://arxiv.org/abs/2304.00895 JM On Tue, Jul 18, 2023 at 7:41 PM Joao Marcos wrote: > > ... é o número de funções boolianas monotônicas com 9 variáveis. >

Fwd: [Logica-l] Re: 286386577668298411128469151667598498812366 ...

-- Forwarded message - Abri a URL acima pelo app do Gmail: página não encontrada. Esta deu certo: https://g1.globo.com/mundo/noticia/2023/07/17/matematicos-solucionam-misterio-do-numero-impossivel.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da

[Logica-l] 2nd CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum + Additional Information

2nd Call for abstracts for the 1st Workshop on Contradictory Logics Workshop page: *https://sites.google.com/view/1stworkshoponcontradictorylogi/home * The first workshop ever on non-trivial negation inconsistent logics is