2 ms·
>6. Are these finite strings of symbol sequences – the form of our mathematics and languages – necessary features of physical reality, or do they instead reflec
by mikewarot 4y ago
>6. Are these finite strings of symbol sequences – the form of our mathematics and languages – necessary features of physical reality, or do they instead reflect the limits of our ability to formalise aspects of reality?
No, the symbols are the map, not the territory. We know formal systems are incomplete thanks to Gödel. Informal systems, on the other hand, can keep going. If we find a bit of territory that we can't describe, we'll invent or refine existing symbols to the point that we can map it, and then continue.
- sorokod 4y agoThe statement is oddly phrased, the converse of "necessary features of physical reality" is obviously not "they instead reflect the limits of our ability..." Naturally we formalize to the extent it is expedient and no further.