Timeline for What do we call this quantifier ("binder")?
Current License: CC BY-SA 3.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24, 2016 at 16:06 | vote | accept | goblin GONE | ||
| Jun 22, 2016 at 20:40 | comment | added | goblin GONE | @PedroSánchezTerraf, kind of. I'm not yet far enough into my career to be doing formal research per se, but there's stuff I'm toying with privately that relates to $\alpha$. | |
| Jun 22, 2016 at 20:36 | comment | added | user3462 | Perhaps 'infinitary lambda calculus' might be a good thing to google to look for answers and related things. | |
| Jun 22, 2016 at 20:21 | answer | added | Andrej Bauer | timeline score: 14 | |
| Jun 22, 2016 at 20:06 | comment | added | Pedro Sánchez Terraf | Is this related to your research? | |
| Jun 22, 2016 at 19:41 | comment | added | user94221 | You might be thinking of the idea of a fixed-point combinator from computer science. | |
| Jun 22, 2016 at 18:10 | comment | added | Ryan Budney | I don't really see the difference. Some people express functions with an explicit variable, like $f(x) = \sin(x)$. Others find the variable redundant, $f = \sin$. You can do it any way you like. | |
| Jun 22, 2016 at 18:10 | comment | added | goblin GONE | @AsafKaragila, no the hole punch is optional. For example, the universal hole punch, which 'pierces' the universe, needn't be used before the teaching of the universal quantifier to 1st year university students. But feel free to use it, of course, if wormholes are your thing :) | |
| Jun 22, 2016 at 18:09 | comment | added | Emil Jeřábek | This seems to be an iterator rather than a quantifier. Anyway, while it is fairly unclear to me what want to do with the thing, you probably want to look at corecursion. | |
| Jun 22, 2016 at 18:08 | comment | added | goblin GONE | @RyanBudney, regarding the comment about discrete dynamical systems - I don't know anything about that field, but I suspect that $\alpha$ is somehow the dual of all that. For example $\alpha x.(x+1)$ isn't $$((x+1)+1)+ \cdots,$$ its $$((...)+1)+1.$$ The expression ends, and the $x$ vanishes. | |
| Jun 22, 2016 at 18:06 | comment | added | goblin GONE | @RyanBudney, well, I suspect it has a name. And I like knowing the names of things that I'm interested in when they have names. Further to that, I'd like to use it in a foundational context in which topology/order theory 'isn't yet available'. That being said, I'd be interested to know whether this can indeed be interpreted as a limit in an appropriately chosen topological space. | |
| Jun 22, 2016 at 18:02 | comment | added | Ryan Budney | It's unclear to me why you'd want to give it a name. Why not use standard $\lim$ notation? Discrete dynamical system is another standard name for the kind of thing you're doing. | |
| Jun 22, 2016 at 18:01 | history | edited | goblin GONE | CC BY-SA 3.0 |
edited body
|
| Jun 22, 2016 at 18:01 | comment | added | Asaf Karagila♦ | Do you need to use a hole punch before using a binder? | |
| Jun 22, 2016 at 17:55 | history | asked | goblin GONE | CC BY-SA 3.0 |