>>14128796>numbers which can be algorithmically computed are countableYou mean to say that the set of algorithms for computing a real number is countable.
You learn this in a first year CS course, and it is correct. Kudos to you for paying attention.
But you still do not grasp what it means to 'define' something.
So once more, just for you personally, because I am sure that every other anon got it by now:
to see that something is ' a car', you do not need prior knowledge of all possible cars that
exist. All you need is a concise description of what it means for something to be a car.
So, no. to define what a car is, you do not have to have any mechanism for constructing an
object which has all the features of a car including licence and registration number.
It is sufficient that, once some kind of thing is put before you, you are able to determine whether it is a car or not.
