Long addition is a practical application of the fundamental properties of our number system.
Place Value Decomposition
The algorithm works because it breaks down numbers into their constituent parts. For example, the number 375 is really (3 100) + (7 10) + (5 * 1). When we add 375 + 142, we are implicitly doing:
((3 100) + (7 10) + (5 1)) + ((1 100) + (4 10) + (2 1))
Using the associative and commutative properties, we can regroup this as:
((3 + 1) 100) + ((7 + 4) 10) + ((5 + 2) * 1)
This is exactly what column addition does. The 'carrying' step is how we handle cases where a column sum is 10 or more, converting ten units of a lower place value into one unit of the next higher place value (e.g., ten 'ones' become one 'ten').