How does a computer interpret real numbers?
$begingroup$
I understand that the modern day digital computer works on the binary number system. I can also get, that the binary representation can be converted to rational numbers.
But I want to know how does the present day computational model interpret real numbers.
For eg:
On a daily basis we can see that a computer can plot graphs. But here, graphs may be continuous entities. What is the
mathematical basis, that transforms a discrete (or countable, at most)
like the binary system to something mathematically continuous like a
say, the graph of $f(x) = x$.
mathematical-programming mathematical-foundations
$endgroup$
add a comment |
$begingroup$
I understand that the modern day digital computer works on the binary number system. I can also get, that the binary representation can be converted to rational numbers.
But I want to know how does the present day computational model interpret real numbers.
For eg:
On a daily basis we can see that a computer can plot graphs. But here, graphs may be continuous entities. What is the
mathematical basis, that transforms a discrete (or countable, at most)
like the binary system to something mathematically continuous like a
say, the graph of $f(x) = x$.
mathematical-programming mathematical-foundations
$endgroup$
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago
add a comment |
$begingroup$
I understand that the modern day digital computer works on the binary number system. I can also get, that the binary representation can be converted to rational numbers.
But I want to know how does the present day computational model interpret real numbers.
For eg:
On a daily basis we can see that a computer can plot graphs. But here, graphs may be continuous entities. What is the
mathematical basis, that transforms a discrete (or countable, at most)
like the binary system to something mathematically continuous like a
say, the graph of $f(x) = x$.
mathematical-programming mathematical-foundations
$endgroup$
I understand that the modern day digital computer works on the binary number system. I can also get, that the binary representation can be converted to rational numbers.
But I want to know how does the present day computational model interpret real numbers.
For eg:
On a daily basis we can see that a computer can plot graphs. But here, graphs may be continuous entities. What is the
mathematical basis, that transforms a discrete (or countable, at most)
like the binary system to something mathematically continuous like a
say, the graph of $f(x) = x$.
mathematical-programming mathematical-foundations
mathematical-programming mathematical-foundations
asked 8 hours ago
evil_potatoevil_potato
698189
698189
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago
add a comment |
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
They represent continuous quantities with discrete approximations. Mostly, this is done with floating point, which is analogous to scientific notation. Essentially, they work with something like $1.xyztimes 10^k$, with some appropriate number of decimal places (and in binary, rather than decimal).
It's also possible to work with some irrational numbers directly. For example, you could create yourself an object called "$sqrt{2}$" without particularly worrying about what it is, except that it obeys the usual arithmetic rules and that $(sqrt{2})^2=2$. So then you could compute $$(sqrt{2}-1)(sqrt{2}+1) = (sqrt{2})^2 + sqrt{2} - sqrt{2} - 1 = 2 - 1 = 1$$
exactly, as an algebraic fact that's not susceptible to rounding errors.
Note that, if you're plotting a graph on screen, regardless of how far you zoom in, you're plotting it as discrete pixels so using an appropriate number of significant figures basically gets you everything you need.
$endgroup$
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
add a comment |
$begingroup$
The real numbers are uncountable. The set of real numbers that can be represented in any way is countable. Therefore, almost all real numbers cannot be represented by a computer at all.
The most common method is to store floating point numbers, which are reasonably precise approximations to real numbers that are not excessively large or small.
$endgroup$
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "419"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f105923%2fhow-does-a-computer-interpret-real-numbers%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
They represent continuous quantities with discrete approximations. Mostly, this is done with floating point, which is analogous to scientific notation. Essentially, they work with something like $1.xyztimes 10^k$, with some appropriate number of decimal places (and in binary, rather than decimal).
It's also possible to work with some irrational numbers directly. For example, you could create yourself an object called "$sqrt{2}$" without particularly worrying about what it is, except that it obeys the usual arithmetic rules and that $(sqrt{2})^2=2$. So then you could compute $$(sqrt{2}-1)(sqrt{2}+1) = (sqrt{2})^2 + sqrt{2} - sqrt{2} - 1 = 2 - 1 = 1$$
exactly, as an algebraic fact that's not susceptible to rounding errors.
Note that, if you're plotting a graph on screen, regardless of how far you zoom in, you're plotting it as discrete pixels so using an appropriate number of significant figures basically gets you everything you need.
$endgroup$
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
add a comment |
$begingroup$
They represent continuous quantities with discrete approximations. Mostly, this is done with floating point, which is analogous to scientific notation. Essentially, they work with something like $1.xyztimes 10^k$, with some appropriate number of decimal places (and in binary, rather than decimal).
It's also possible to work with some irrational numbers directly. For example, you could create yourself an object called "$sqrt{2}$" without particularly worrying about what it is, except that it obeys the usual arithmetic rules and that $(sqrt{2})^2=2$. So then you could compute $$(sqrt{2}-1)(sqrt{2}+1) = (sqrt{2})^2 + sqrt{2} - sqrt{2} - 1 = 2 - 1 = 1$$
exactly, as an algebraic fact that's not susceptible to rounding errors.
Note that, if you're plotting a graph on screen, regardless of how far you zoom in, you're plotting it as discrete pixels so using an appropriate number of significant figures basically gets you everything you need.
$endgroup$
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
add a comment |
$begingroup$
They represent continuous quantities with discrete approximations. Mostly, this is done with floating point, which is analogous to scientific notation. Essentially, they work with something like $1.xyztimes 10^k$, with some appropriate number of decimal places (and in binary, rather than decimal).
It's also possible to work with some irrational numbers directly. For example, you could create yourself an object called "$sqrt{2}$" without particularly worrying about what it is, except that it obeys the usual arithmetic rules and that $(sqrt{2})^2=2$. So then you could compute $$(sqrt{2}-1)(sqrt{2}+1) = (sqrt{2})^2 + sqrt{2} - sqrt{2} - 1 = 2 - 1 = 1$$
exactly, as an algebraic fact that's not susceptible to rounding errors.
Note that, if you're plotting a graph on screen, regardless of how far you zoom in, you're plotting it as discrete pixels so using an appropriate number of significant figures basically gets you everything you need.
$endgroup$
They represent continuous quantities with discrete approximations. Mostly, this is done with floating point, which is analogous to scientific notation. Essentially, they work with something like $1.xyztimes 10^k$, with some appropriate number of decimal places (and in binary, rather than decimal).
It's also possible to work with some irrational numbers directly. For example, you could create yourself an object called "$sqrt{2}$" without particularly worrying about what it is, except that it obeys the usual arithmetic rules and that $(sqrt{2})^2=2$. So then you could compute $$(sqrt{2}-1)(sqrt{2}+1) = (sqrt{2})^2 + sqrt{2} - sqrt{2} - 1 = 2 - 1 = 1$$
exactly, as an algebraic fact that's not susceptible to rounding errors.
Note that, if you're plotting a graph on screen, regardless of how far you zoom in, you're plotting it as discrete pixels so using an appropriate number of significant figures basically gets you everything you need.
answered 8 hours ago
David RicherbyDavid Richerby
68.9k15105194
68.9k15105194
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
add a comment |
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
1
1
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
$begingroup$
+1. For folks interested in more information about your second paragraph, some good search terms are symbolic computation and computer algebra.
$endgroup$
– ruakh
1 hour ago
add a comment |
$begingroup$
The real numbers are uncountable. The set of real numbers that can be represented in any way is countable. Therefore, almost all real numbers cannot be represented by a computer at all.
The most common method is to store floating point numbers, which are reasonably precise approximations to real numbers that are not excessively large or small.
$endgroup$
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
add a comment |
$begingroup$
The real numbers are uncountable. The set of real numbers that can be represented in any way is countable. Therefore, almost all real numbers cannot be represented by a computer at all.
The most common method is to store floating point numbers, which are reasonably precise approximations to real numbers that are not excessively large or small.
$endgroup$
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
add a comment |
$begingroup$
The real numbers are uncountable. The set of real numbers that can be represented in any way is countable. Therefore, almost all real numbers cannot be represented by a computer at all.
The most common method is to store floating point numbers, which are reasonably precise approximations to real numbers that are not excessively large or small.
$endgroup$
The real numbers are uncountable. The set of real numbers that can be represented in any way is countable. Therefore, almost all real numbers cannot be represented by a computer at all.
The most common method is to store floating point numbers, which are reasonably precise approximations to real numbers that are not excessively large or small.
answered 5 hours ago
gnasher729gnasher729
11.3k1217
11.3k1217
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
add a comment |
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
In fact, infinitely many real numbers can't be represented. It's just a slightly smaller infinity than the infinite number of all real numbers. :)
$endgroup$
– Graham
36 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
$begingroup$
@Graham: It's actually the same infinite cardinality. gnasher729 is using "almost all" in a precise sense; see en.wikipedia.org/wiki/Almost_all for details.
$endgroup$
– ruakh
16 mins ago
add a comment |
Thanks for contributing an answer to Computer Science Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f105923%2fhow-does-a-computer-interpret-real-numbers%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Possible duplicate of this Wikipedia article: en.wikipedia.org/wiki/Floating-point_arithmetic
$endgroup$
– John Dvorak
8 hours ago
$begingroup$
Aside from floating-point approximations, there are systems that deal with the reals as mathematical entities, most notably computer algebra systems and theorem provers. Representing a particular real number "directly" (for a certain interpretation of "directly") is restricted to the computable numbers.
$endgroup$
– Jeroen Mostert
8 hours ago
$begingroup$
IEEE 754 is the answer.
$endgroup$
– Jasper
8 hours ago