Posts by [email protected] | |
Post #AvlUEPDnRq29pqCWW0 by [email protected] | |
0 likes, 0 repeats | |
@ncf @jeanas OK, you win! | |
Post #AvlUEPJp5Qr28X1KuO by [email protected] | |
0 likes, 0 repeats | |
@ncf What survives from my argument is the following.(1) If 0=1, then equality … | |
Post #AvlUEVt8f2fWVnacmu by [email protected] | |
0 likes, 0 repeats | |
@ncf The identity type 0=0 in the natural numbers is contractible, because it i… | |
Post #AvlUEW5BwEJH7BEFZg by [email protected] | |
0 likes, 0 repeats | |
@ncf They do! | |
Post #AvlUEWSaXF1cHkAw2i by [email protected] | |
0 likes, 0 repeats | |
I wrote: "They do".To add more, you don't need to know that 0 ≠… | |
Post #AvlUEpc9JuxjgtnL5E by [email protected] | |
0 likes, 0 repeats | |
@ncf No. In all models in which 0=1, everything is equal. | |
Post #AvrfP0aHebm53Njl5c by [email protected] | |
0 likes, 1 repeats | |
Academics, including myself, should create an equivalent of the arxiv for git.I… | |
Post #AvrfP1OcdS2ZZVHxYG by [email protected] | |
0 likes, 0 repeats | |
I said "Academics, including myself, should create an equivalent of the ar… | |
Post #Avtt9vlz2zkhSiplzM by [email protected] | |
0 likes, 0 repeats | |
@ColinTheMathmo I fail to find this option on mathstodon (web interface). Where… | |
Post #Avtt9w6tnETyVacTaa by [email protected] | |
0 likes, 0 repeats | |
@ColinTheMathmo The behaviour I currently get is that I get lots of little noti… | |
Post #AvyBrdj45BdU2UIfom by [email protected] | |
0 likes, 0 repeats | |
I can't possibly understand how anybody can see circles rather than rectang… | |
Post #AvzocM2ldJtyE2B6gq by [email protected] | |
0 likes, 0 repeats | |
@JacquesC2 I often get true applications from applicants I would really like to… | |
Post #AvzodPxkY16WfaL224 by [email protected] | |
0 likes, 0 repeats | |
I am determined to make this work. | |
Post #Awrkli5WnMOESvqXhY by [email protected] | |
0 likes, 0 repeats | |
@zwol @ccppurcell @maxpool Start with a cake, and in the first day eat 9/10 of … | |
Post #AwrkliIzzHAJ8i9IhM by [email protected] | |
0 likes, 0 repeats | |
@zwol @ccppurcell @maxpool Have you tried to ask them to compute the subtractio… | |
Post #AwrkliV3GSo3k5mvU8 by [email protected] | |
0 likes, 0 repeats | |
@zwol writes " Yes, they say the difference is 0.000...001, where the stri… | |
Post #AwrpPLIDMnavAPvyoi by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez I think the essence of the problem is that students (and someti… | |
Post #AwrsMI5J8c5AD88L0C by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez Yes, I agree with explaining things intuitively first. Intuitio… | |
Post #AwtZv8RbSlI9dNNq8e by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @j_bertolotti @julesh The analogy with automatic transmission i… | |
Post #Ax7sHdSghrqxMNejjs by [email protected] | |
0 likes, 0 repeats | |
Mathematicians: What are the important *definitions* in your field?For example,… |