Comment author:Will_Sawin
03 January 2011 08:44:15PM
3 points
[-]

When I reason inside a fully axiomatized formal system, the axioms don't depend on reality, but the rules for manipulating symbols depend on ... something. You could define it as "if I perform these manipulations in reality, I will get this result" but what if performing the manipulations in different places gets different results?

What if, when you applied the rule "(x+Sy) => S(x+y)" twice and the rule "(x+0)=>x" once, to "(SS0+SS0)", you got "SSS0" instead of "SSSS0"?

Comment author:rkr1410
05 January 2011 11:14:32PM
0 points
[-]

I guess when one reasons inside a fully axiomatized formal system, this something the rules for symbol manipulation depend on is the set of axioms.

Now I'm putting on my uneducated hat, so excuse me if this is heresy:
Starting with the axioms you apply logic to formulate more specific rules (in this case the abstract is empirically falsifiable, since we're working on natural numbers).

So, to arrive at SS0+SS0=SSS0, you'd have to venture outside the realm of reason I'm afraid.Tthat would maybe manifest itself as magic - getting 4 apples on the table during night, but 3 during day when you put 2 and 2 apples side by side. And could mean ability to produce something from nothing by clever arrangement of apples. and waste disposal would become easy :)

In other words my opinion is it's not possible even as thought experiment unless you introduce some random factor from beyond the scope of axioms.

Comment author:Will_Sawin
06 January 2011 02:10:29AM
*
3 points
[-]

well there's the special other thing, the reason you can't explain Peano Arithmetic to a rock, which is that axioms are static sequences of signals, but in addition you have these dynamics.

These dynamics are contained within the structure of our thoughts, which is why they're preserved in a thought experiment. But we still have to actually check our thoughts, which are part of reality.

## Comments (390)

OldWhen I reason inside a fully axiomatized formal system, the axioms don't depend on reality, but the rules for manipulating symbols depend on ... something. You could define it as "if I perform these manipulations in reality, I will get this result" but what if performing the manipulations in different places gets different results?

What if, when you applied the rule "(x+Sy) => S(x+y)" twice and the rule "(x+0)=>x" once, to "(SS0+SS0)", you got "SSS0" instead of "SSSS0"?

I guess when one reasons inside a fully axiomatized formal system, this something the rules for symbol manipulation depend on is the set of axioms.

Now I'm putting on my uneducated hat, so excuse me if this is heresy: Starting with the axioms you apply logic to formulate more specific rules (in this case the abstract is empirically falsifiable, since we're working on natural numbers).

So, to arrive at SS0+SS0=SSS0, you'd have to venture outside the realm of reason I'm afraid.Tthat would maybe manifest itself as magic - getting 4 apples on the table during night, but 3 during day when you put 2 and 2 apples side by side. And could mean ability to produce something from nothing by clever arrangement of apples. and waste disposal would become easy :)

In other words my opinion is it's not possible even as thought experiment unless you introduce some random factor from beyond the scope of axioms.

*3 points [-]well there's the special other thing, the reason you can't explain Peano Arithmetic to a rock, which is that axioms are static sequences of signals, but in addition you have these dynamics.

Best source on this is Lewis Carroll http://www.ditext.com/carroll/tortoise.html

These dynamics are contained within the structure of our thoughts, which is why they're preserved in a thought experiment. But we still have to actually check our thoughts, which are part of reality.

Sorry if this wasn't very coherent.