[Logica-l] an infection of software in pure mathematics

Number Theorist Fears All Published Math Is Wrong "I think there is a non-zero chance that some of our great castles are built on sand," he said, arguing that we must begin to rely on AI to verify proofs. https://www.vice.com/amp/en_us/article/8xwm54/number-theorist-fears-all-published-math-is-wron

Re: [Logica-l] Feminist Theory and Formal Logic

Olá João Marcos e Gisele, obrigado pelo envio dos títulos. Muito gratificante conhecer essas referências, especialmente a do livro editado no México, com vários amigos da América Latina escrevendo. Um abraço, cass. On Tuesday, September 24, 2019 at 11:01:11 AM UTC-3, gisele secco RS wrote: >