Comment on There’s more to mathematics than rigour and proofs (2007)parentComments−Koshkin4yBut the real numbers cannot be faithfully represented in a computer!−l33t23284ySo? Neither can the list of possible computer programs, yet CS studies them−Koshkin4yIt does not look like CS studies the real numbers.−l33t23284yEach real number can be represented as a subset of the natural numbers. CS surely studies these.−Koshkin4yBut not the representations themselves (which is what's important in this case).
Comments
But the real numbers cannot be faithfully represented in a computer!
So? Neither can the list of possible computer programs, yet CS studies them
It does not look like CS studies the real numbers.
Each real number can be represented as a subset of the natural numbers. CS surely studies these.
But not the representations themselves (which is what's important in this case).