 |
Post Ao5Jb6irAIaDGpnOe8 by [email protected] |
 |
More posts by [email protected] |
|
Post #Ao5IzoDizbvlAlRt8S by [email protected] |
|
0 likes, 0 repeats |
|
|
|
This is not the math I know! 😡 |
|
|
|
Post #Ao5Jb6irAIaDGpnOe8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez |
|
|
|
Post #Ao5JcyENhv8BVuQhFY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Not even approximately. |
|
|
|
Post #Ao5JcyLTHYnnrtkMIi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker - not approximately, not equal, nor even close. |
|
|
|
Post #Ao5Js4BvpRKILMTxNg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Do we have a symbol for "terrifyingly far apart"? |
|
|
|
Post #Ao5Js4JNNlHUiRxtz6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker - you're not the first to wonder that:https://www.reddit.com/r/l… |
|
|
|
Post #Ao5L4GXxokBo5mAVMW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez And also ≈https://www.fileformat.info/info/unicode/char/2248/… |
|
|
|
Post #Ao5LJRPfhPgM8YWfa4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @swart You may be interested in Jainish seven-valued logic. htt… |
|
|
|
Post #Ao5LRhvGCXAhenF7tw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez all I see are smoking/non-smoking signs! :D |
|
|
|
Post #Ao5SdAZwhJqfOggaem by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I will be very disappointed if I don't read further down in… |
|
|
|
Post #Ao6AIL6cl7xJwqqgBE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez unicode and univalence are incompatible. |
|
|
|
Post #Ao6kZ8TmYPNK3ozNom by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@marick - that's nice and would be worth understanding better. It reminds … |
|
|
|
Post #Ao6keBhlzLXtVqwTa4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@baptnz - I'm sorry to disappoint you, I haven't seen that yet. There&… |
|
|
|
Post #Ao6knpgMitk06esnPU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I suppose the right thing would be to define it as a tilde supe… |
|
|
|
Post #Ao6knposDGXwX2rafg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@arne_d_h - LaTeX and unicode have the symbols \lessapprox (⪅) and \gtrapprox… |
|
|
|
Post #Ao6ksqobwE7x4I8GwK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pixelcode - I'm glad you didn't write that when writing up your algebr… |
|
|
|
Post #Ao6l2EgEZvEzgqgngW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I wasn't 100% serious ;) |
|
|
|
Post #Ao6lc8AeG2cpvV20Uy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pixelcode - whew! |
|
|
|
Post #Ao6lglbrZBvPP0yIGO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@waltertross - that's the one I was actually looking for, when I found all … |
|
|
|
Post #Ao7FEca4XVlnusd48O by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @swart I wonder if there’s a connection. Buddhism and Jainism… |
|
|
|
Post #Ao7IVpuwVVZO44I8LQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@marick - they must at least have known about each other, but I'm embarrass… |
|
|
|
Post #Ao9ISiIYlbqNsjljf6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @swart I occasionally feel the impulse to read https://worldcom… |
|
|
|
Post #Ao9cbMGA4d9rDg2wxU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@marick - cool! I'll check it out.@swart |
|
|
|
Post #AoA0SRI0Oxx173Bmts by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @marick @swart This can be reduced to intuitionistic logic, I t… |
