3
votes
Generalization of computability to continuous for loops?
First of all, despite claims by several people here, there are models of computation which support computation on topological spaces. The "countable vs. uncountable" distinction is a red ...
- 31k
1
vote
Accepted
Why do we have free variables in mu-calculus?
If you define the $\mu$-calculus to not allow free variables, you would have the problem that the components of a well-formed formula are not again well-formed formulas.
Consider a well-formed ...
1
vote
Why is $\mu$ finite looping?
It is said that the intuitive meaning of μ is finite looping where as the intuitive meaning of ν is infinite looping in μ calculus
Here's a better phrasing: µ is about looping with a known bound on ...
- 72.8k
Only top scored, non community-wiki answers of a minimum length are eligible