[Haskell-cafe] Re: Memoization
Tony Morris
tmorris at tmorris.net
Sun May 27 06:35:59 EDT 2007
> You managed to type ∀ but you couldn't find ⊥ ?
>
> OOC, can anybody tell me what ∀ actually means anyway?
It is called the 'universal quantifier' and means "for all". It is often
used implicitly in natural language. e.g. "cars are red" can be expanded
to "[for all elements of the set of cars] cars [all elements of the set]
are red". This statement can be formally expressed (though i won't for now).
The universal quantifier, although most often used implicitly in natural
language, is most often used explicitly in formal logic.
You might also be interested in knowing of the "existential quantifier"
which means "there exists". If I said "there exists a car [an element
from the set of all cars] that is blue", then I have refuted the earlier
logical proposition (that cars are red).
The existential quantifier looks like a backward capital E
∃
Look up "first-order logic" if you're interested in learning more about
this topic.
PS: What does OOC stand for? Out Of Curiosity?
Tony Morris
http://tmorris.net/
More information about the Haskell-Cafe
mailing list