Matches in SemOpenAlex for { <https://semopenalex.org/work/W2616956898> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2616956898 endingPage "12" @default.
- W2616956898 startingPage "1" @default.
- W2616956898 abstract "Brouwer's continuity principle states that all functions from infinite sequences of naturals to naturals are continuous, that is, for every sequence the result depends only on a finite initial segment. It is an intuitionistic axiom that is incompatible with classical mathematics. Recently Martin Escardo proved that it is also inconsistent in type theory.This shows that we cannot internalize the meta-theoretical observation that every definable function is continuous. However, we can adapt Brouwer's ideas to an important class of functions and propose a reformulation of the continuity principle that is internally provable. We note that Brouwer talked about functions on choice sequences, which are described as free progressions of values not necessarily generated by a rule. The functions must produce their results independently of how the sequences are generated.We formalize them as monadic streams, potentially unending sequences of values produced by steps triggered by a monadic action, possibly involving side effects. We consider functions on them that are uniform, in the sense that they operate in the same way independently of the particular monad that provides the specific side effects. Formally this is done by requiring a form of naturality in the monad.Functions on monadic streams have not only a foundational importance, but have also practical applications in signal processing and reactive programming. We give algorithms to determine the modulus of continuity of monadic stream functions and to generate dialogue trees for them (trees whose nodes and branches describe the interaction of the process with the environment)." @default.
- W2616956898 created "2017-06-05" @default.
- W2616956898 creator A5025355354 @default.
- W2616956898 creator A5049717630 @default.
- W2616956898 date "2017-06-20" @default.
- W2616956898 modified "2023-10-16" @default.
- W2616956898 title "The continuity of monadic stream functions" @default.
- W2616956898 cites W1491165055 @default.
- W2616956898 cites W1601959129 @default.
- W2616956898 cites W1836508668 @default.
- W2616956898 cites W1966374748 @default.
- W2616956898 cites W1980786790 @default.
- W2616956898 cites W2020914843 @default.
- W2616956898 cites W2039747541 @default.
- W2616956898 cites W2074592053 @default.
- W2616956898 cites W2076232585 @default.
- W2616956898 cites W2079640625 @default.
- W2616956898 cites W2113822071 @default.
- W2616956898 cites W2152195288 @default.
- W2616956898 cites W2189582351 @default.
- W2616956898 cites W2437461174 @default.
- W2616956898 cites W2514237507 @default.
- W2616956898 cites W2963683507 @default.
- W2616956898 cites W3099809655 @default.
- W2616956898 cites W35195178 @default.
- W2616956898 cites W72661297 @default.
- W2616956898 doi "https://doi.org/10.5555/3329995.3330054" @default.
- W2616956898 hasPublicationYear "2017" @default.
- W2616956898 type Work @default.
- W2616956898 sameAs 2616956898 @default.
- W2616956898 citedByCount "0" @default.
- W2616956898 crossrefType "proceedings-article" @default.
- W2616956898 hasAuthorship W2616956898A5025355354 @default.
- W2616956898 hasAuthorship W2616956898A5049717630 @default.
- W2616956898 hasConcept C118615104 @default.
- W2616956898 hasConcept C14036430 @default.
- W2616956898 hasConcept C154945302 @default.
- W2616956898 hasConcept C156772000 @default.
- W2616956898 hasConcept C167729594 @default.
- W2616956898 hasConcept C2524010 @default.
- W2616956898 hasConcept C2777212361 @default.
- W2616956898 hasConcept C2778112365 @default.
- W2616956898 hasConcept C33923547 @default.
- W2616956898 hasConcept C33959348 @default.
- W2616956898 hasConcept C41008148 @default.
- W2616956898 hasConcept C54355233 @default.
- W2616956898 hasConcept C78458016 @default.
- W2616956898 hasConcept C80444323 @default.
- W2616956898 hasConcept C86803240 @default.
- W2616956898 hasConceptScore W2616956898C118615104 @default.
- W2616956898 hasConceptScore W2616956898C14036430 @default.
- W2616956898 hasConceptScore W2616956898C154945302 @default.
- W2616956898 hasConceptScore W2616956898C156772000 @default.
- W2616956898 hasConceptScore W2616956898C167729594 @default.
- W2616956898 hasConceptScore W2616956898C2524010 @default.
- W2616956898 hasConceptScore W2616956898C2777212361 @default.
- W2616956898 hasConceptScore W2616956898C2778112365 @default.
- W2616956898 hasConceptScore W2616956898C33923547 @default.
- W2616956898 hasConceptScore W2616956898C33959348 @default.
- W2616956898 hasConceptScore W2616956898C41008148 @default.
- W2616956898 hasConceptScore W2616956898C54355233 @default.
- W2616956898 hasConceptScore W2616956898C78458016 @default.
- W2616956898 hasConceptScore W2616956898C80444323 @default.
- W2616956898 hasConceptScore W2616956898C86803240 @default.
- W2616956898 hasLocation W26169568981 @default.
- W2616956898 hasOpenAccess W2616956898 @default.
- W2616956898 hasPrimaryLocation W26169568981 @default.
- W2616956898 hasRelatedWork W1520355364 @default.
- W2616956898 hasRelatedWork W1547036180 @default.
- W2616956898 hasRelatedWork W1821574096 @default.
- W2616956898 hasRelatedWork W1974597720 @default.
- W2616956898 hasRelatedWork W1996152169 @default.
- W2616956898 hasRelatedWork W2038651921 @default.
- W2616956898 hasRelatedWork W2080955444 @default.
- W2616956898 hasRelatedWork W2129959868 @default.
- W2616956898 hasRelatedWork W2159159702 @default.
- W2616956898 hasRelatedWork W2188377229 @default.
- W2616956898 hasRelatedWork W2297005116 @default.
- W2616956898 hasRelatedWork W2399399745 @default.
- W2616956898 hasRelatedWork W2660255895 @default.
- W2616956898 hasRelatedWork W2798262258 @default.
- W2616956898 hasRelatedWork W2914651966 @default.
- W2616956898 hasRelatedWork W3023853936 @default.
- W2616956898 hasRelatedWork W3091192335 @default.
- W2616956898 hasRelatedWork W3179983169 @default.
- W2616956898 hasRelatedWork W3191396445 @default.
- W2616956898 hasRelatedWork W99812881 @default.
- W2616956898 isParatext "false" @default.
- W2616956898 isRetracted "false" @default.
- W2616956898 magId "2616956898" @default.
- W2616956898 workType "article" @default.