Certainly this is a common, if unacknowledged, sentiment that pervades all of the physical sciences.\u00a0 The very notion of an equation of motion for a dynamical system rests upon the representation of time as a continuous, infinitely divisible parameter.\u00a0 Time is considered as either the sole independent variable for ordinary differential equations or as the only \u2018time-like\u2019 parameter for partial differential equations.\u00a0 Regardless, the basic equation of the motion for most physical processes takes the form of<\/p>\n
\\[ \\frac{d}{dt} \\bar S = \\bar f(\\bar S; t) \\]<\/p>\n
where the state $\\bar S$ can be just about anything imagined and the generalized force $\\bar f$ depends on the state and, possibly, the time.\u00a0 By its very structure, these generic form implies that we think of time as something that can be as finely divided as we wish \u2013 how else can there be any sense made of the $\\frac{d}{dt}$ operator.<\/p>\n
Even in the more modern implementations of cellular automata, where the time updates occur at discrete instants, we still think of the computational system as representing a continuous process sampled at evenly spaced times.<\/p>\n
The very notion of continuous time is inherited from the ideas of motion and here I believe that Wheeler\u2019s aphorism is on target.\u00a0 The original definition of time is based on the motion of the Earth about its axis with the location of the Sun in the sky moving continuously as the day winds forward. As the invention of timekeeping evolved, items, like the sundial, either abstracted the sun\u2019s apparent motion to something more easily measured, or replaced that motion with something more easily controlled like a clock.\u00a0 Thus time for most of us takes on the form of the moving hands of the analog clock.<\/p>\n
The location of the hands is a continuous function of time, with the angle that the hour and minute (and perhaps second) hands make with respect to high noon going something like $\\sin(\\omega t)$ where the angular frequency $\\omega$ is taken to be negative to get the handedness correct.<\/p>\n But as timekeeping has evolved does this notion continue to be physical?\u00a0 Specifically, how should we think about the pervasive digital clock<\/p>\n and the underlying concepts of digital timekeeping on a computer.<\/p>\n Originally, many computer systems were designed to inherit this human notion of ‘time as motion’ and time is internally represented in many machines as a double precision floating point number.\u00a0 But does this make sense \u2013 either from the philosophical view or the computing view?<\/p>\n Let\u2019s consider the last point first.\u00a0 Certainly, the force models $\\bar f(\\bar S;t)$ used in dynamical systems require a continuous time in the calculus but they clearly cannot get such a time in the finite precision of any computing machine.\u00a0 At some level, all such models have to settle for a time just above a certain threshold that is tailored for the specific application. So the implementation of a continuous time expressed in terms of a floating point variable should be replaced with one or more integers that count the multiples of this threshold time in a discrete way.<\/p>\n What is meant by one or more integers is best understood in terms of an example.\u00a0 Astronomical models of the motion of celestial objects are usually expressed in terms of Julian date and fractions therein.\u00a0 Traditional computing approaches would dictate that the time, call it $JD$ would be given by a floating point number where the integer part is the number of whole days and the fractional parts the numbers of hours, minutes, seconds, milliseconds, and so on, added together appropriately and then divided by 86400 to get the corresponding fraction.\u00a0 Conceptually, this means that we take a set of integers and then contort them into a single floating point number.\u00a0 But this approach not only involves a set of unnecessary mental gymnastics but is actually subject to error in the numerical sense.<\/p>\n Consider the following two modified Julian dates, represented by their integer values for days, hours, minutes, seconds, and milliseconds and by their corresponding floating point representations<\/p>\n In an arbitrary-precision computation, the sum of $JD1 = JD2 + deltaT$ would be exact but a quick scan over the last two digits of the three numbers involved shows that the floating point representation doesn\u2019t capture the correct representation exactly.<\/p>\n Of course this should come as no surprise since this is an expected limitation of floating point arithmetic.\u00a0 The only way to determine if two times are equal using the floating point method is to difference the two times in question, take the absolute value of the result and to declare sameness if the value is less than some tolerance.\u00a0 Critics will be quick to point out that this fuzziness is the cost of fast performance and that this consideration outweighs exactness, but this is really just a tacit admission of the existence of a threshold time below which one does not need to probe.<\/p>\n Arbitrary precision, in the form of a sufficient set of integers (as used above), circumvents this problem but only to a point.\u00a0 One cannot have an infinite number of integers to capture the smallest conceivable sliver of time. Practically, both memory and performance considerations limit the list of integers in the set to be relatively small.\u00a0 And so we again have a threshold time below which we cannot represent a change.<\/p>\n And so we arrive at the contemplation of the first problem.\u00a0 Is there really any philosophical ground on which we can stand that says that a continuous time is required.\u00a0 Certainly the calculus requires continuity at the smallest of scales but is the calculus truth or a tool?\u00a0 Newton\u2019s laws can only be explored to a fairly limited level before the laws of quantum mechanics becomes important.\u00a0 But are the laws of quantum mechanics really laws in continuous time?\u00a0 Or is Schrodinger\u2019s equation an approximation to the underlying truth?\u00a0 The answer to these questions, I suppose, is a matter of time.<\/p>\n\n\n\n","protected":false},"excerpt":{"rendered":" Time is a curious thing.\u00a0 John Wheeler is credited with saying that Time is defined so that motion looks simple Certainly this is a common, if unacknowledged, sentiment that pervades… Read more ><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-317","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/317","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=317"}],"version-history":[{"count":0,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/317\/revisions"}],"wp:attachment":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=317"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=317"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=317"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}![\"analog_clock\"](\"http:\/\/aristotle2digital.blogwyrm.com\/wp-content\/uploads\/2015\/10\/analog_clock.png\")
<\/a><\/p>\n<\/a><\/p>\n<\/a><\/p>\n