Name
Abstract | ||
|---|---|---|
It is commonly understood that Countable Choice holds constructively due to the underlying computational nature of constructivism. However, in this paper we demonstrate that invoking different notions of computation result in radically different behaviors regarding Countable Choice. In particular, we illustrate that, although deterministic computation guarantees Countable Choice, non-deterministic computation can negate Countable Choice. We then further show that using stateful computation can restore Countable Choice even in the presence of non-determinism. This finding suggests that much of the modern discourse of constructivism assumes a deterministic underlying computational system, despite non-determinism being a fundamental aspect of modern-day computation. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1016/j.entcs.2019.09.006 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
constructivism,effects,countable choice,non-determinism,stateful computation | Constructivism (philosophy of education),Countable set,Computer science,Theoretical computer science,Stateful firewall,Computation | Journal |
Volume | ISSN | Citations |
347 | 1571-0661 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Liron Cohen | 1 | 36 | 11.24 |
| Sofia Abreu Faro | 2 | 0 | 0.34 |
| Ross Tate | 3 | 16 | 2.71 |