 |
Post Ao2cXgkYabhzVJnK8u by [email protected] |
 |
More posts by [email protected] |
|
Post #Ao2bfAjdP6dMZfMrRY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Suppose I only care if numbers are positive (+), negative (-) or zero (0). Ca… |
|
|
|
Post #Ao2cXgkYabhzVJnK8u by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez ".. a thing called -" I think you mean. |
|
|
|
Post #Ao2cXgrIBZ61qCwhdo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JohnBarrett - thanks! I had just 4 characters of room left, but luckily this… |
|
|
|
Post #Ao2cYixXrO7qe8MbGy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Something is missing after "even though we have a thing ca… |
|
|
|
Post #Ao2cYj4zPi531DqXsO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bstacey - thanks! It's "-". It may fool us into thinking we … |
|
|
|
Post #Ao2dwtPakYgPy4ZQe0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jripley - do people actually use these rules in compilers?They use + and - in … |
|
|
|
Post #Ao2emP6ChGzf0s42rY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez This sort of reminds me of dealing with extended real numbers (… |
|
|
|
Post #Ao2gGE6OFQp7Y2w52W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Your choice of abstract domain, { +, -, 0, i }, gets used a lot… |
|
|
|
Post #Ao2gGEDpnkmJv8Q1dw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey - thanks very much! I know nada about abstract interpretation or comp… |
|
|
|
Post #Ao2gQ8RCAAIGsNOMiG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@internic - yes! When I used to teach real analysis, I'd emphasize that th… |
|
|
|
Post #Ao2hePIWNGFDAuhiF6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Right. For similar reasons, I recall working with these when le… |
|
|
|
Post #Ao2w73vKJv4wdmPfpg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez DIdn't Ken Forbus invent a lot of this back in the 80s, wit… |
|
|
|
Post #AoAwP82TJStXsg37Ds by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@internic - yes, I bring up all this stuff about sums in preparation to Lebesgu… |
|
|
|
Post #AoFe3sY0t3x6MzJtFA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Does this rig have a name? The sign rig? |
|
|
|
Post #AoFgXyaVC6lLhNxmYC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@anselmschueler - I don't know a standard name for it, so we can try to mak… |
