Digamos que a gente formaliza o problema como:
Encontre uma proposição simples sobre naturais, P(n), tal que os
primeiros elementos do conjunto
{n \in \N | P(n)}
sejam 2, 10, 12, 16, 17, 18, 19.
Pra mim a função que escreve um número por extenso em Português,
ext(0) = "zero"
ext(1) = "um"
...
ext(231) = "duzentos e trinta e um"
não é simples, e nem está bem-definida para todos os naturais -
afinal, como o Carlos Gonzales disse, nós não sabemos qual deve ser o
resultado de ext(10^231)... Daí, pra mim, a proposição P(n) definida
como "a primeira letra de ext(n) é `d'" também não vai ser "simples",
e nem "definida sobre todos os naturais"...
Acho que esse problema não é simplesmente "idiota"; o buraco é mais
embaixo. Talvez um candidato a policial rodoviário não "deva" pensar
que 10^231 é um "número" - e um programador em Java "deva" pensar que
esta função `e' é "simples" ou "elementar" em algum sentido, já que
ela faz parte da biblioteca padrão... da mesma forma, muitos
estudantes de engenharia, economia, etc, e até alguns
engenheiros/economistas/etc formados, se acostumam a fazer as contas o
mais "numericamente" possível, a trocar pi por 3.1416 e e por 2.7183,
e a linearizar as contas, descartando todos os "d-alguma-coisa ao
quadrado" - e os matemáticos têm exatamente o hábito oposto...
[[]],
Eduardo Ochs
eduardoo...@gmail.com
http://angg.twu.net/
P.S.: criei um "thread" novo. Aqui vão dois links pro thread original:
http://www.dimap.ufrn.br/pipermail/logica-l/2010-January/004326.html
http://www.dimap.ufrn.br/pipermail/logica-l/2010-January/004342.html
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
