[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>*Date*: Fri, 4 Dec 2015 08:33:08 -0800 (PST)*References*: <dbc52c84-b6ce-4326-aeec-a7c17dd257c0@googlegroups.com> <33ED3621-4D95-4167-9232-9404968DD8E7@gmail.com> <02b4212f-9e09-4759-96a6-d73e7ae0881f@googlegroups.com> <f77ca825-b389-47df-9470-c2caf60b6eb1@googlegroups.com> <f22db1b8-fc80-4f82-85a6-3abfcb0cdfb3@googlegroups.com>

On Friday, December 4, 2015 at 6:20:50 PM UTC+2, fl wrote:

Looking at the concept of operators just reminds me that "operators" and functions aretwo different things. Look at the syntax. In fact you can quantify over a variable that denotesa function. It's over an operator that you can't quantify.

Oh, I know that. My original question was whether there's a difference (other than in syntax or implementation), and the answer is that there is -- the size of the domain. Now my question is whether the requirement to limit the domain ever makes a difference in practice so that it actually reduces expressivity.

Ron

**Follow-Ups**:**Re: [tlaplus] TLA+ logic***From:*fl

**References**:**TLA+ logic***From:*Ron Pressler

**Re: [tlaplus] TLA+ logic***From:*Stephan Merz

**Re: [tlaplus] TLA+ logic***From:*Ron Pressler

**Re: [tlaplus] TLA+ logic***From:*fl

**Re: [tlaplus] TLA+ logic***From:*fl

- Prev by Date:
**Re: [tlaplus] TLA+ logic** - Next by Date:
**Re: [tlaplus] TLA+ logic** - Previous by thread:
**Re: [tlaplus] TLA+ logic** - Next by thread:
**Re: [tlaplus] TLA+ logic** - Index(es):