Comment by anon291

Every non halting program with partial results correlates to a real number, and this sort of thing is talked about in theoretical C's all the time. Broadly speaking program analysis is akin to statements on the reals. The fields are the same. Even most day to day computer programming is ultimately reliant on the same kind of reasoning