Caro Marcelo e Walter,
Obrigado pelo e-mail. Depois de lê-lo, continuamos a insistir nos pontos
matemáticos que mencionámos no nosso e-mail anterior, que diz precisamente
o seguinte.
(1) Nós não dissemos que a estrutura twisted para a lógica LPT0 é booleana:
é claro que ela contém duas negações
Um filme sobre lógica precisa de dois elementos: um são as vozes dos
lógicos explicando o assunto, outro são recursos de animação para ilustrar
o que é explicado.
Por exemplo, se se vai falar do paradoxo de Aquiles e a tartaruga, faz-se
um desenho mostrando a corrida. Se se vai explicar uma ou
The surprising link between recreational math and undecidability
https://blogs.scientificamerican.com/roots-of-unity/the-surprising-link-between-recreational-math-and-undecidability/
E aqui a história contada pelo próprio Matiyasevich sobre sua
extraordinária colaboração por correspondência com
Caro Adonai:
Obrigado pela continuação da discussão. Certamente termos um filme nessas
condições é melhor que não ter nada, e reconheço obviamente que um filme
não se faz com.papel e lápis,mas continuo pensando que o filme poderia ter
sido muito, muito melhor.
Pode passar também minhas opiniões
