|
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
|
|