On 29/10/2015 4:25 pm, Bruno Marchal wrote:
On 26 Oct 2015, at 05:40, Bruce Kellett wrote:
I think Carroll's Paradox (or 'What the Tortoise Said to Achilles')
effectively undermines computationalism, or any argument that
arithmetic is prior to physics.
See: https://en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achilles
In order to escape the paradox, you have to resort to a formalist
approach, and that renders the formalism devoid of semantic content.
Only because we forget one half of computer science.
It is already a problem when engineers do that, but if the
philosophers do that, where are we going (grin)
Typically the machine itself when ideally correct avoid the mistakes,
and separate G from G*, proof and truth, and consistency. The machine
has the resource to understand the difference between syntax and
semantics.
Only if that comes from outside the machine. Otherwise you are merely
shuffling symbols, and Carroll's paradox hits with full force.
Bruce
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
