Sunday, September 20, 2020

"Working Logician" is BACK!



During these difficult times of pandemic, one of the silver linings has been the creation of several online Logic seminars. Luiz Carlos Pereira (Lattes) created one at Phil-PUC that he called simply "Proof Theory". I asked him to rename it as "Working Logician" because `proof theory' is not descriptive enough and when I search for it in my email, lots and lots of things appear!

I don't know if the renaming will work for everyone, but in any case, let me list some of the talks that we've had since the seminar transitioned to online due to the pandemic and hence I could participate. 

I will probably misremember and forget some stuff, so please give me a hand and send corrections and additions, please!

First, a note of the conference where the picture above was taken:

 O evento ocorreu em Recife nos dias 9 a 11 de outubro de 2019, organizado pelo prof. Marcos Silva (UFPE/CNPq). No canal do youtube da SBFA os vídeos das palestras proferidas pelos prof. Dr. Fernando Raul (UFPE), prof. Dr. João Marcos (UFRN) e prof. Dr. Luiz Carlos Pereira (PUC-Rio/UERJ/CNPq).

Now a list of seminars of "PUC Proof Theory or Working Logician":


20 May and 27th May: Gisele Secco on "Diagrams and Computers in the Proof of the Four-Colour Theorem",  5th International Meeting of the APMP Zurich, Switzerland | January 18 – 21, 2020.


 3rd June, 11th June, 17 June: Tiago Rezende de Castro Alves on SYNONYMY AND IDENTITY OF PROOFS: A Philosophical Essay, doctoral thesis Tuebingen


1st July: John Mumma  (title/slides, please?)


8th July: Wagner Sanz (08/07/2020): Máquinas euclidianas: teoria geral de problemas


20th July: Alberto Naibo "Gentzen on proof theory and projective geometry"


16 Sept: Marcos Silva "Revisão da Lógica e Equilíbrio Reflexivo"