User loginNavigation 
Algebra Of PointersI have been thinking a little about pointers, and what kind of mathematical structure they form. They seem to be like a onedimensional vector (as opposed to a simple scalar). If we use the terms location for a point in ndimensional space, and distance for a vector, then we get the following properties, adding a distance to a location results in a location, subtracting a distance from a location results in a location, subtracting a location from a location results in a distance. Where is gets more tricky is that adding a location to a location would seem to be invalid (I don't know what type of thing this is), and yet to average two locations, to get the midpoint seems perfectly reasonable. Topologically what is going on here? What is the type of a location added to a location? If we treat all locations as distances with an origin at zero, then everything makes sense again in terms of types, except for zero itself which seems to still be a location and not a distance (or it all gets horribly selfreferential). Any thoughts on how to make sense of this, what the type of the sum of two locations might be, etc? By Keean Schupke at 20160507 10:12  LtU Forum  previous forum topic  next forum topic  other blogs  3588 reads

Browse archivesActive forum topics 
Recent comments
3 hours 43 min ago
8 hours 10 min ago
10 hours 12 min ago
13 hours 6 sec ago
13 hours 22 min ago
14 hours 6 min ago
15 hours 1 min ago
15 hours 3 min ago
15 hours 36 min ago
17 hours 2 min ago