Re: article on schools of foundations of mathematics

examachine_at_gmail.com
Date: 02/06/05 

Date: 6 Feb 2005 07:09:00 -0800

Timothy Little wrote:
> > Unfortunately, our computers _and_ minds can carry out only finite
> > number of operations in finite space.
>
> A proof of a result in ZFC is a finite sequence of operations in
> finite space.
>
> In fact if ZFC has any consistent models, it must have a countable
> model -- i.e. one in which every object can be assigned a finite
> number (from outside the system). It is just often convenient to not
> care whether the model is countable or not.

I know the theorem, you have a point.

Regards, 

--
Eray