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 ...
Andrej Bauer's user avatar
  • 29.9k
1 vote

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 ...
f9c69e9781fa194211448473495534's user avatar
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 ...
Raphael's user avatar
  • 71.9k

Only top scored, non community-wiki answers of a minimum length are eligible