a dialeteia de Paul Cohen (!)

[Joao Marcos]

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

[Samuel Gomes]

... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real contradition" como "contradição sobre os números reais"...

[Joao Marcos]

Atualmente não é completamente fora de questão encontrar no Brasil
filósofos que traduzem "actual contradictions" como "contradições
atuais"...

JM

2016-10-25 13:33 GMT+02:00 'Samuel Gomes' via LOGICA-L <logi...@dimap.ufrn.br>:
> ... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real contradition" como "contradição sobre os números reais"...
>

> --
> 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 logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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/140bdcd5-1c4f-47f2-ba7c-03e364f0eb2f%40dimap.ufrn.br.



--
http://sequiturquodlibet.googlepages.com/

[Carlos Gonzalez]

Não é ambiguidade sintática, é só "pôr em evidência" o operador de possibilidade, segundo a regra ensinada no colegial:

Possivel ( p )  ^ Possivel ( - p )
---------------------------------------------

Possivel ( p ^ - p )

:-) :-) :-)

Carlos

2016-10-25 10:00 GMT-02:00 Joao Marcos <boto...@gmail.com>:

Atualmente não é completamente fora de questão encontrar no Brasil
filósofos que traduzem "actual contradictions" como "contradições
atuais"...

JM

2016-10-25 13:33 GMT+02:00 'Samuel Gomes' via LOGICA-L <logi...@dimap.ufrn.br>:
> ... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real contradition" como "contradição sobre os números reais"...
>
> --
> 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 logica-l+unsubscribe@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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/140bdcd5-1c4f-47f2-ba7c-03e364f0eb2f%40dimap.ufrn.br.

--
http://sequiturquodlibet.googlepages.com/

--
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 logica-l+unsubscribe@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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_LhtLTgzOChv80jWpnDEhXd%3Dd-V5kZeNfPzDWp-uU1Y%3D1g%40mail.gmail.com.