On 8/17/17, Marko Rauhamaa <ma...@pacujo.net> wrote:
> Pavol Lisy <pavol.l...@gmail.com>:
>
>> On 8/17/17, Gregory Ewing <greg.ew...@canterbury.ac.nz> wrote:
>>> I don't agree that the word "for" necessarily implies proceduralness.
>>
>> With this logic (I humbly think that) word "while" neither
>> necessarilly implies proceduralness.
>
> I don't see the logic.
>
> Here's a random page from an algebra textbook:
>
> A sequence {a[n]} is called *bounded* if there is some real number b,
> a *bound*, such that |a[n]| ≤ b for all n.
>
>
> Z = {(a) ∈ ℝ**∞ | a[n] = 0 for all but finitely many n }
>
> On another one:
>
> <χ[i], χ[j]> = 0 if i ≠ j, and <χ[i], χ[j]> = 1 for each i
>
>
> And:
>
> For every value a of the variable x, there are at most n points of S
> whose x-coordinate is a.
>
>
> Marko
> --
> https://mail.python.org/mailman/listinfo/python-list
I meant while "implemented" like this (N is set of natural numbers) ->
{ n ∈ N | condition(m) for all m <= n }
or more correctly:
{ n ∈ N | condition(m) for all m ∈ { o ∈ N | o <= n } }
--
https://mail.python.org/mailman/listinfo/python-list
