How does a computer interpret real numbers?












1












$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$.











share|cite|improve this question









$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
















1












$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$.











share|cite|improve this question









$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














1












1








1





$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$.











share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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


















  • $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










2 Answers
2






active

oldest

votes


















5












$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.






share|cite|improve this answer









$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



















1












$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.






share|cite|improve this answer









$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











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
});


}
});














draft saved

draft discarded


















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









5












$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.






share|cite|improve this answer









$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
















5












$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.






share|cite|improve this answer









$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














5












5








5





$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.






share|cite|improve this answer









$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.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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














  • 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











1












$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.






share|cite|improve this answer









$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
















1












$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.






share|cite|improve this answer









$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














1












1








1





$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.






share|cite|improve this answer









$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.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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


















  • $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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Willebadessen

Ida-Boy-Ed-Garten

Residenzschloss Arolsen