Originally Posted by
Xei
He means they can't take a group of statements that they agree on,
0 + 1 = 1
0 + 2 = 2
0 + 3 = 3
0 + 4 = 4
and create a generalised statement,
0 + x = x.
I think this is more interesting than it seems on the surface, because in my opinion such a generalisation is fundamentally what 'intelligence' is; seeing a pattern and forming a symbol for a generalised circumstance. The really interesting thing is that generally (lol) such generalisations are 'unprovable' in a formal sense, if they are not tautological. Take the above, where we are conceiving the numbers in the traditional way (where 5 is a generalisation of 5 trees, 5 socks, etc.), and 0 to be a generalisation of 'no trees', 'no socks', etcetera (and + meaning 'the generalisation of what you get when you put the two together'). The other path we could have taken is defining 0 as the additive identity, i.e. defining 0 to be a symbol so that 0 + x = x for all x, but then of course any attempt to prove 0 + x = x would be a complete tautology, and would not actually refer to anything. Anyway, can you prove that 0 + x = x, given the former context? I predict that you can't. The question is what this then makes of intelligence, if the knowledge it gives us is not seemingly provable. There are many answers to this 'problem of induction'; a reassuring way to think about it is to just look around you and consider how ridiculously successful intelligence has been; there must be something to it. Indeed, from a biological perspective, its successfulness is precisely WHY we have such a thing in the first place.