3 ms·
To productive puns! And as Gr might have said, ignorance is the mother of discovery (and other beasts) Glancing at Scott-Rabin I couldn't find any mention of p
by vinnyvichy 2y ago
To productive puns! And as Gr might have said, ignorance is the mother of discovery (and other beasts)
Glancing at Scott-Rabin I couldn't find any mention of powersets but on p7 his count of "between indices" sounds like he was enumerating a power set. Or did you have some other passages in mind?
- 082349872349872 2y agoNot that far back... Try around 1970? In PRG-2* he's still thinking along the lines of "AXIOM 3. A data type is a complete lattice under its partial ordering." (p9) https://www.cs.ox.ac.uk/files/3222/PRG02.pdf https://www.cs.ox.ac.uk/files/3222/PRG02.pdf * I loved FJD's mention of '[Maxwell] gave a presidential address ... which was published in volume 2 of the recently founded journal "Nature".'