[Logica-l] Re: Lançamento - Leis da Natureza: uma abordagem filosófica - Rodrigo Cid

2020-01-03 Por tôpico 'Durante' via LOGICA-L
Parabéns, Rodrigo!! E muito obrigado pelo livro! Abraços, Daniel. Em segunda-feira, 30 de dezembro de 2019 19:23:21 UTC-3, rodrigo cid escreveu: > > > -- Forwarded message - > De: rodrigo cid > > Date: seg, 30 de dez de 2019 19:17 > Subject: Lançamento - Leis da Natureza: uma abo

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

2020-01-03 Por tôpico Carlos Gonzalez
Valeria, Obrigado pelos comentários. Primeiro: " sao bem menores do que os do caso do paper sobre o axioma da escolha" Desculpa, mas eu não sei a que paper você está se referindo. Agradeço se especificar. Segundo: Existem em filosofia sérias discordâncias metodológicas. Queria colocar uma delas

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

2020-01-03 Por tôpico Valeria de Paiva
oi Carlos >Desculpa, mas eu não sei a que paper você está se referindo. Agradeço se especificar. Eu estava me referindo a discussao comecada pelo Rodrigo em https://groups.google.com/a/dimap.ufrn.br/forum/#!topic/logica-l/KGfQ33Pp-7w 8 de outubro "a pior tentativa de explicar a hipotese do continu