... Vejam o comentário 6 (supostamente de um editor de um jornal de Lógica que se manteve anônimo).
https://leiterreports.typepad.com/blog/2022/10/did-a-logic-journal-publish-a-supposedly-pathbreaking-piece-with-a-mistake.html Quem chamou a atenção para esse link foi a Catarina Dutilh Novaes num fio do Twitter. https://twitter.com/cdutilhnovaes/status/1587856536776368128 (o fio é bem longo, o link acima aparece depois de um UPDATE...) Abraços []s Samuel Em quinta-feira, 3 de novembro de 2022 às 07:16:57 UTC-4, samuel escreveu: > Como dizem os jovens, "algo de errado não está certo" > > ----- Mensagem original ----- > De: Joao Marcos <boto...@gmail.com> > Para: Samuel Gomes da Silva <sam...@ufba.br> > Cc: Walter Carnielli <walt...@unicamp.br>, LOGICA-L <logi...@dimap.ufrn.br > > > Enviadas: Thu, 03 Nov 2022 08:15:39 -0300 (BRT) > Assunto: Re: [Logica-l] twin primes > > > https://dailynous.com/2022/11/02/logic-journal-retracts-two-articles-after-refutation-in-online-discussion/ > > Ambos os papers seguem online, sem nenhum aviso visível nas páginas em que > estão publicados. > > JM > > > On Sun, Oct 30, 2022, 11:39 Joao Marcos <boto...@gmail.com> wrote: > > > 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 < > > logi...@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 <walt...@unicamp.br> > >> Para: samuel <sam...@ufba.br> > >> Cc: LOGICA-L <logi...@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 < > >> logi...@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 <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/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 <logi...@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+u...@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/7e0749f2-c798-43fc-9d39-40c5b7704e2en%40dimap.ufrn.br.