|
|
Re: SET THEORY and QUANTIFIER LOGIC are SUPERFLUOUS! You only
need1 or the other!
Posted:
Nov 20, 2012 9:07 AM
|
|
Graham Cooper wrote:
>
> The notation in
>
> { x | p(x) }
>
> stands for ALL VALUES OF x
> that are satisfied in p(x)
>
> This is the SAME 'ALL' as ALL(x) ....predicate(..predicate...
> x ...) ...)
>
> ALL is merely SUBSET!
Yes, old fruit, in a topos there is a natural language the logic of
which is intuitionistic.
--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|
