12,080
edits
Changes
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 14:18, 22 January 2008
, 14:18, 22 January 2008→Work Area: markup
===Logical Tangent Vectors===
===Logical Tangent Vectors===
Discuss variation in portrayal of v in df(u,v):
Discuss variation in portrayal of ''v'' in d''f''(''u'', ''v''):
# as ordinary vector in second component of product space '''B'''<sup>''n''</sup> × '''B'''<sup>''n''</sup>,
# as tangent vector map : ('''B'''<sup>''n''</sup> → '''B''') → '''B''', dual to '''B'''<sup>''n''</sup> ?
# as tangent vector map : ('''D'''<sup>''n''</sup> → '''B''') → '''B''', dual to '''D'''<sup>''n''</sup> ?
Discuss differential as map : T(''U'') = ''U''T → '''B'''.
Discuss differential as map: T(U) = UT -> B.
Analogies between Real and Boolean Spaces
Analogies between Real and Boolean Spaces