In article <1118704300.093504.7130@g47g2000cwa.googlegroups.com>, "Nathan" <ntspam2@netscape.net> wrote: [snip]
>It might be fun to see an extensive foundation of mathematics >that allowed only computable entities to exist. I'm not sure >if it's really been tried; it hardly seems worth the effort.
One immediate problem is that presumably any such foundation would include all the computable total predicates (boolean functions) of the naturals. But the list of those functions is not itself computable!
[snip]
-- --------------------------- | BBB b \ Barbara at LivingHistory stop co stop uk | B B aa rrr b | | BBB a a r bbb | Quidquid latine dictum sit, | B B a a r b b | altum viditur. | BBB aa a r bbb | -----------------------------
