2 ms·
Of course, it's nonsense because a heart isn't infinite...
by cjg 17y ago
Of course, it's nonsense because a heart isn't infinite...
- barrkel 17y agoPCs aren't infinite either, but that doesn't help compilers prove halting / non-halting during analysis. A few GB of memory, never mind internal and external storage, is more than enough state space to be equivalent for proof purposes.
- eru 17y agoOr at least big enough, to make our models apply. The real world is also not made up of smooth stuff --- atoms pop up when you look to close. But engineers are using differential equations without too many problems.