FOM: modeling PRA in the physical world

[Martin Davis]

At 11:23 AM 3/6/99 +0300, sazonov at logic.botik.ru wrote:

>Otherwise, we could ask 
>whether the number of electrons in the universe is even or odd. 

Why shouldn't we ask this question? If we believe there is a fixed finite
number of electrons in the universe, surely that number has a parity. It's
OK to ask meaningful questions that we have no conceivable way to answer. 

Who knows, for that matter, whether some physics of the future will deal
with such things?

Martin