3 ms·
As per grandparent comment, the symbol ∀ "can't complete during the life of the universe".
by cousin_it 17y ago
As per grandparent comment, the symbol ∀ "can't complete during the life of the universe".
- sesqu 17y agoRight. I was about to comment that that's because you're assuming an infinite domain, but the above definition becomes useless unless you do. The point, though, was that the behavior characterized by the notation is perfectly reasonable even with finite domains (even if the specific notation is not, which was a fatal flaw).