Oi Hermógenes.
Muito obrigado pela referência ao paper do Hodges. Ele formulou com
clareza várias proto-ideias que eu tinha. Em particular:
"In formal logic we teach people how to construct arguments, and how to
check the validity of a formal argument. But we hardly teach anything about
how to a
Olá, pessoal.
Como o João Marcos já esclareceu, nossa discussão revela uma certa
confusão entre a demonstração de que os números naturais podem ser
relacionados bijetivamente com os números (im)pares (ou outros
supostos subconjuntos próprios dos naturais), ideia cuja origem
precede Cantor (Galile
