Divulgar ciência é uma tarefa ingrata, mas também é bom não abusar... Neste site sobre história da matemática muitos lógicos (incluindo Cantor, Russell, Hilbert, Gödel, Turing, Robinson, Matiyasevich) são mencionados, e há em particular uma página sobre Paul Cohen, o matemático que: "Proved that continuum hypothesis could be both true and not true (i.e. independent from Zermelo-Fraenkel set theory)"
Aqui alguns comentários sobre os exageros desta página particular: http://blog.computationalcomplexity.org/2016/10/exaggeration-is-one-thing-but-this-is.html JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li6Thb57TT6wpfQU5oSWvgMGZ3S1i9_wy%3DXJEDu5%3D48wQ%40mail.gmail.com.
