Michael, IANA logician, but...
On Aug 29, 2013, at 22:45 , Michael Sloan wrote: > If it's only used once (linear), and the only functions used are > isomorphisms, then you know the whole thing has to be an isomorphism. > > I'm doubting the "deepness" of this one, because you could certainly > construct a valid isomorphism where values are not used in a linear fashion. Your second statement says only that implication is not commutative. Given the luxury of restricting your system to linear functions preserving the isomorphism you care about, then your first statement has deep consequences. For example: http://home.pipeline.com/~hbaker1/LinearLisp.html Regards, Ian _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
