4 ms·
Careful -- that statement is half true. It's true that no matter what symbolic representation format you choose (binary or otherwise) it will never be able to
by teraflop 10mo ago
Careful -- that statement is half true.
It's true that no matter what symbolic representation format you choose (binary or otherwise) it will never be able to encode all irrational numbers, because there are uncountably many of them.
But it's certainly false that computers can only represent rational numbers. Sure, there are certain conventional formats that can only represent rational numbers (e.g. IEEE-754 floating point) but it's easy to come up with other formats that can represent irrationals as well. For instance, the Unicode string "√5" is representable as 4 UTF-8 bytes and unambiguously denotes a particular irrational.
- cozzyd 10mo agoOr use pieee-754 which is the same as iee-754 but everything is mimtipled by pi.
- electroglyph 10mo agoi really wanted "mimtipled" to be a word =)
- cozzyd 10mo agoI guess my phone thinks it might be since it didn't correct it :)
- andrewflnr 10mo agoI was careful. :) > representable in a finite number of digits or bits Implying a digit-based representation.
- jamster02 10mo ago> the Unicode string "√5" is representable as 4 UTF-8 bytes As the other person pointed out, this is representing an irrational number unambiguously in a finite number of bits (8 bits in a byte). I fail to see how your original statement was careful :) > representable in a finite number of digits or bits
- dullcrisp 10mo agoI don’t think those bits unambiguously represent the square root of five. Usually they represent either 3800603189 or -494364107.
- bsaul 10mo agoIsn't "unambiguous representation" impossible in practice anyway ? Any representation is relative to a formal system. I can define sqrt(5) in a hard-coded table on a maths program using a few bytes, as well as all the rules for manipulating it in order to end up with correct results.
- dullcrisp 10mo agoWell yeah but if we’re being pedantic anyway then “render these bits in UTF-8 in a standard font and ask a human what number it makes them think of” is about as far from an unambiguous numerical representation as you could get. Of course if you know that you want the square root of five a priori then you can store it in zero bits in the representation where everything represents the square root of five. Bits in memory always represent a choice from some fixed set of possibilities and are meaningless on their own. The only thing that’s unrepresentable is a choice from infinitely many possibilities, for obvious reasons, though of course the bounds of the physical universe will get you much sooner.