Steve Price wrote:
>Marchal wrote: "Only a very tiny part of the possible mathematical
>structures can be
>formalised or axiomatized.
>There is no possible formalisation of Arithmetical Truth.
>This is a consequence of Godel's Theorem."
>
>Strong disagreement. You should have said: Only a very tiny part of the
>possible mathematical structures can be formalised or axiomatized in a
>purely finitistic way. There is no possible FINITE formalisation of
>Arithmetical Truth which is both complete and consistent.
You are wright. Sorry. I e-mail to quickly. Note that you could have
said "There is no possible ALPHA formalisation of
Arithmetical Truth which is both complete and consistent, with
ALPHA any recursive transfinite ordinals.
I have not succeed the printing of Lucian Wischik's 1997 paper
"Non-finite computation in Malament-Hogarth spacetimes," available from
http://www.wischik.com/lu/researcher.html
... I will try again.
Bruno.
Received on Sat Jul 17 1999 - 06:26:16 PDT