[Logica-l] Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History

2021-10-19 Por tôpico jean-yves beziau
Artigo de Saul Kripke publicado há pouco em History and Philosophy of Logic https://www.tandfonline.com/doi/full/10.1080/01445340.2021.1976052 In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely ma

[Logica-l] Re: CFP: 100 anos de Tractatus

2021-10-19 Por tôpico Marcos Silva
Corrigindo: a data limite é 31/03/2022. desculpas por este deslize. abraços, marcos On Mon, Oct 18, 2021 at 4:52 PM Marcos Silva wrote: > CHAMADA PARA ARTIGOS > > 100 anos de Tractatus Logico-Philosophicus > > > Número Especial da Revista Analytica > > https://revistas.ufrj.br/index.php/analy

[Logica-l] Open House on Category Theory 2021

2021-10-19 Por tôpico Marcelo Esteban Coniglio
- Forwarded message - Dear all, We are happy to announce the Open House on Category Theory 2021. A short, informal meeting which ideally would have taken place in México but, because of the covid pandemic, will take place online; 18-19 November 2021. We will seize the occasion to