Public announcement
Recently two articles on the applications of Rasiowa-Sikorski Lemma to arithmetic were published online in Studia Logica without proper examination and beyond reasonable standards of scholarly rigor. As it turned out, they contained an irreparable mistake and, consequently, have been retracted from the journal’s website. The papers will not appear in print. I want to thank all our readers who alerted us to this unfortunate incident. I feel responsible for the reputation damage caused by these publications, and I want to offer my sincere apologies to the scientific community and the author. Studia Logica editors have examined the journal's review procedure to ensure that a similar situation will not happen again. *Jacek Malinowski* *Studia Logica* *Editor-in-Chief* On Sat, Oct 29, 2022, 13:42 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > ... desse imbroglio sobre a twin prime conjecture, o que vai ficar pra mim > é o seguinte blog post, que achei bem interessante: "dez razões para > acreditar que uma demonstração de um resultado divisor de águas em > matemática está errado"... > > https://scottaaronson.blog/?p=304 > > Atés > > []s Samuel > > Ps: Detratores do Latex pulem a primeira razão, hehe... > ----- Mensagem original ----- > De: Walter Carnielli <walte...@unicamp.br> > Para: samuel <sam...@ufba.br> > Cc: LOGICA-L <logica-l@dimap.ufrn.br> > Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT) > Assunto: Re: [Logica-l] twin primes > > Ois, > > > Os artigos vão ser retirados do Sudia Logica. O próprio Janusz > Czelakowski pediu para retirar. > > Abs, > > Walter > Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L < > logica-l@dimap.ufrn.br> escreveu: > > > > > Olás > > > > Na verdade é uma série de quatro artigos, estão os quatro no perfil > > ResearchGate do autor. > > > > Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de > > Mersenne, um deles resolve também > > a Conjectura de Goldbach !!! > > > > Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já tinha > > um contra-exemplo explícito para > > um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um > > número primo - e, nas últimas 15 horas, > > foi acrescentado um post onde supostamente se encontra onde estaria o > erro > > nesse paper II. > > > > Esses lançamentos da Studia Logica vão ser muito discutidos nas próximas > > semanas. > > > > Abraço > > > > []s Samuel > > > > > > Em sexta-feira, 28 de outubro de 2022 às 22:41:01 UTC-4, aldofigallo > > escreveu: > > > >> Os dois trabalhos Czelakowski estão sendo questionados na comunidade > >> lógica. > >> > >> There are Infinitely Many Mersenne Prime Numbers. Applications of > >> Rasiowa–Sikorski Lemma in Arithmetic (II) > >> <https://link.springer.com/article/10.1007/s11225-022-10015-4> > >> Studia Logica (2022) > >> Janusz Czelakowski > >> > >> > >> > https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture > >> > >> > >> > >> > >> > >> El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com) > >> escribió: > >> > >>> The Twin Primes Conjecture is True in the Standard Model of Peano > >>> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I) > >>> Janusz Czelakowski > >>> Studia Logica (2022) > >>> https://link.springer.com/article/10.1007/s11225-022-10017-2 > >>> > >>> > >>> JM > >>> > >>> -- > >>> LOGICA-L > >>> Lista acadêmica brasileira dos profissionais e estudantes da área de > >>> Lógica <logi...@dimap.ufrn.br> > >>> --- > >>> 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+u...@dimap.ufrn.br. > >>> Para ver essa discussão na Web, acesse > >>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com > >>> < > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com?utm_medium=email&utm_source=footer > > > >>> . > >>> > >> -- > > LOGICA-L > > Lista acadêmica brasileira dos profissionais e estudantes da área de > > Lógica <logica-l@dimap.ufrn.br> > > --- > > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > > Grupos do Google. > > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, > envie > > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > > Para ver essa discussão na Web, acesse > > > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br > > < > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br?utm_medium=email&utm_source=footer > > > > . > > > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > 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-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1769119716.42262857.1667061713543.JavaMail.zimbra%40ufba.br > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li%3DUhD7Rx8pFadcHkKMNfgzG3xbMQvV_996Dn7M%3D1Vuxw%40mail.gmail.com.
