|
|
|
|
|
|
by pron
57 days ago
|
|
|
Not only is it easy, the ability to extend the computable into the non-computable is quite convenient. For example, computable numbers can be directly treated as a subset of the reals. This is exactly how TLA+ works: https://pron.github.io/posts/tlaplus_part3 |
|
|