I'm sure their spaceships will work just fine.
I'm sure their spaceships will work just fine.
We tend to deal numbers by turning them into symbol sequences and then applying grammatical rules to them --- we're good at grammar, we have hardware acceleration for it. Digital computers work the same way: the quantity is measured, turned into a number, turned into a symbol sequence, then we manipulate those symbols before turning them back into a number.
But analogue computers work by taking a measurement, representing it directly as a potential, and then performing various analogue operations on that potential to yield another potential. At no point during the operation is the potential converted to a number. (Disclaimer: our analogue computers do use numbers for I/O, because they measure the result potential and express it in ways we can understand, but that's just a UI issue.)
So I can totally imagine an alien technology that manipulated quantities using mathematical operations without having any way to express those quantities themselves other than in relation to other quantities. They could use symbol streams to represent the relationships --- if so, they'd probably get on quite well with algebra --- but the idea of representing the potentials themselves as a power series would be completely alien to them.
And before that, the way we write language, numbers, and music is digital, not analog- despite the fact that we seem to think more in an analog way than a digital one. Come to think of it, even our language is digital, despite the fact that our experiences are not and we often struggle to find the combination of words that will better reproduce the meaning we have in our minds.
Come on, this is HN, how can you not see the advantage of calculating with numbers, and writing down numbers, in place of approximate quantities? And why we converted an entire century's worth of audio and photographic recordings to a digital format?
Machines built by people who think differently will work differently.
As for the fact we're "symbolic creatures", perhaps we are, but again- is it because our brains are natively digital or because we really put a lot of effort in trying to be symbolic? (I don't know whether our brains can be called digital- neural networks seem more analog than digital, but there might be quantization going on at some levels to manage the complexity and the noise of handling analog information.) Maybe symbolic reasoning emerges despite being really hard to master, because it actually manages to grasp some fundamental aspect of reality?
You can have logic -binary or not- to define rules of inference, without defining a particular rule of inference for numbers (measuring quantities).
As someone else sort of implied elsewhere [1], if aliens use mathematics at all, it would probably be easier to reason with them in terms of topology rather than number theory.