LESSWRONG
LW

Logic & Mathematics World Modeling
Frontpage

3

The hyperfinite timeline

by Alok Singh
30th Dec 2022
1 min read
6

3

Logic & Mathematics World Modeling
Frontpage

3

The hyperfinite timeline
3Alok Singh
2Slider
2Slider
2Mitchell_Porter
1Alexander Gietelink Oldenziel
1Alok Singh
New Comment
6 comments, sorted by
top scoring
Click to highlight new comments since: Today at 11:18 PM
[-]Alok Singh3y30

Was being deliberately inaccurate here. Hard does mean more than a limited multiplier. Sudden means that there's an appreciable change over an infinitesimal variation aka discontinuous.

 

Lookup overflow, underflow, and "principle of permanence" in Goldblatt for why I'd do that. Also called overspill and underspill. The basic idea is "as above, so below" except this link is 2 way. Say some internal function has all infinitesimals in its range. Then it must have non infinitesimals too, since the set of all infinitesimals is known to be external, and images of internal functions over internal sets are internal. This is an example of overspill. Infinitesimal behavior has spilled over into the appreciable domain.

Reply
[-]Slider3y20

"as above, so below" tends to be two way, atleast outside of mathematics.

Reply
[-]Slider3y20

You can get to a second by a finite multiplier of planck time which is a property that this unit seems to lack. So in what dimensions is the analog meant?

"sudden" means only in a finite amount of H steps?

"hard" means more than a finite multiplier of +1?

Reply
[-]Mitchell_Porter3y20

Right, the Planck time is not infinitesimal. It's a finite interval of time whose duration is 1 in Planck units. 

Reply
[-]Alexander Gietelink Oldenziel3y10

Where can I learn more about hyperfinite Brownian motion?

Has this been developed deeply? (I am aware of Nelson's radically elementary probability book) 

Reply
[-]Alok Singh3y10

https://link.springer.com/book/10.1007/978-3-642-33149-7

Also includes Feynman path integral and a few other things. Note that you don't even need the full nonstandard theory.

Reply
Moderation Log
More from Alok Singh
View more
Curated and popular this week
6Comments

Take an interval. Cut it into H pieces, where H is hyperfinite. This serves as the index set of a stochastic process, among many other uses. Imagine that for each of the H steps, you flip a coin to get -1 or +1. Then move an infinitesimal distance left or right based on the sign. This is Brownian motion. Each infinitesimal piece of the timeline is profitably thought of as a Planck time.

Discrete events, such as sudden hard shocks, can be modeled on this line. They are appreciable over an infinitesimal fraction of the line.