On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna <henh...@gmail.com> writes:
> > is [comprehension] the right word???
> Yes, it comes from math, particularly set theory. An expression like
>
> { n | n:integer, n mod 2 = 0 }
>
> is called a set comprehension, and then one there denotes the set of all
> even integers. Axioms saying that the above denotes a legitimate set
> are called comprehension axioms. In ZFC (an axiomitization of set
> theory widely used in math), there is an infinite schema of such axioms.
>
> The Haskell language used a notation inspired by this for "list
> comprehensions", and Python list (and later dictionary etc.)
> comprehensions were inspired by Haskell's version.
thank you .... i did a search thru Google.Books and found just 1 hit
(before 1970).
The Cambridge History of Later Greek and Early Medieval ... - Page 133
books.google.com › books
A. H. Armstrong · 1967
FOUND INSIDE – PAGE 133
Too powerful , in fact : in 1902 , Russell showed that it is inconsistent ,
since it implies Russell's Antinomy ( see Russell's letter to Frege in van
Heijenoort 1967 ) . Law V is close to what has become known as the Set
Comprehension Principle (SCP) ........................
--
https://mail.python.org/mailman/listinfo/python-list
