[Logica-l] deadline extension EBL 2019 POST-CONFERENCE

2020-01-02 Por tôpico Jorge Petrucio Viana
Dear colleague, the deadlines for the submission to the EBL 2019 POST-CONFERENCE PUBLICATIONS were extended by around 1 month: *NEW* IMPORTANT DATES: > * Deadline for submissions: January 31, 2020. > * Decision notifications: April 30, 2020. > * Deadline for submissions of revised papers: May 31

Re: [Logica-l] deadline extension EBL 2019 POST-CONFERENCE

2020-01-02 Por tôpico Marcelo Finger
Oi Petrucio. Feliz 2020! Onde serão,publicados os artigos? []s Em qui., 2 de jan. de 2020 às 10:37, Jorge Petrucio Viana < petrucio_vi...@id.uff.br> escreveu: > Dear colleague, > > the deadlines for the submission to the EBL 2019 POST-CONFERENCE > PUBLICATIONS were extended by around 1 month:

Re: [Logica-l] deadline extension EBL 2019 POST-CONFERENCE

2020-01-02 Por tôpico Jorge Petrucio Viana
Oi Marcelo, nada menos que o ótimo para você e para os seus nesse novo ano!!! Segue a chamada original com todas as informações (exceto as datas): Dear colleague, We are very happy to announce the call for papers for the EBL 2019 POST-CONFERENCE PUBLICATIONS, to appear as special issues of the J

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

2020-01-02 Por tôpico Valeria de Paiva
Alo Carlos, e todos, Desculpe, mas eu nao acho que o artigo seja ruim nao. De novo, 'e escrito pra gente que nao 'e da area. Os "erros" nesse caso sao bem menores do que os do caso do paper sobre o axioma da escolha. (comutatividade da adicao nao 'e necessaria? pecado pequeno!) Sao simplificacoe

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

2020-01-02 Por tôpico Rodrigo Freire
O teorema como apresentado abstratamente no clássico TMR não tem a alegada hipótese existencial que esconde uma construção. Eles demonstram que para *qualquer* nomeação das fórmulas, ou falha a representabilidade da diagonalização ou falha a representabilidade da teoremicidade. Qual vai falhar,