Comment by alichapman
3 days ago
Computer science isn't concerned with the uncountable infinite though, which is what measure theory is mostly concerned with as countable sets all have measure zero.
3 days ago
Computer science isn't concerned with the uncountable infinite though, which is what measure theory is mostly concerned with as countable sets all have measure zero.
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
What? You can find tons of textbook examples when dealing with the uncountable sets from non-deterministic finite automata. Those frequently deal with power sets (like when you have an infinite alphabet) which are quintessentially uncountable