On Aug 31, 9:40 pm, Bruno Marchal <[EMAIL PROTECTED]> wrote:

> Only a meta-theory *about* PA, can distinguish PA and arithmetical
> truth. But then Godel showed that sometimes a meta-theory can be
> translated in or by the theory/machine.

But is the meta-theory *about* PA, itself classified as either PA or
'Arithmetical truth' ?  The meta-theory itself (when enacted as a
computation) cannot be classified as either, it seems to me.  So it
appears there's a third category which is neither arithmetic
(descriptions) nor Arithemetic (platonic truth).  And recognizing this
third category is the solution to the puzzle of reflection OK!

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 

Reply via email to