 |
Posts by [email protected] |
 |
Post #AjYQ9027DusbdDahU0 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
I think it's important for students to hear this. I have been stuck on a ma… |
|
|
|
Post #Ajmejb3p9UYCT0ArGy by [email protected] |
|
0 likes, 1 repeats |
|
|
|
I have not been writing much on my blog lately, and I think one reason for it i… |
|
|
|
Post #AkTTMFJn46Ar9jaC48 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler @soaproot Why do you mean by "contraction"? Simplifying… |
|
|
|
Post #AkTTMFVUMbX1k13XIe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler @soaproot Ok. Anyhow, take care not to confound proof by contradi… |
|
|
|
Post #AkTTMFm9MerKZgqqGm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@soaproot @DavidKButler It's true that this the difference is more pronounc… |
|
|
|
Post #AmMmSY0gRuQW3Hh0RU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@codyroux @johncarlosbaez Consider a ball on top of a spherical hill. Classical… |
|
|
|
Post #AoTtyi82W2DU5VARIu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @vzaliva I brought a fishtank to my office without asking anyone,… |
|
|
|
Post #AtnABFLnzNKVz63ILw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sibrosan @highergeometer @johncarlosbaez Are you quite sure that the ducks exi… |
|
|
|
Post #AuDbxHhuHQ0846TkLw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez May I forward mine to you? |
|
|
|
Post #AvA2BqbHDCBmJZerL6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @MartinEscardo I hear no so long ago only outcasts, pirates and… |
|
|
|
Post #AvLnLSpZH37C4izOme by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dimpase @JacquesC2 @pigworker @totbwf One often has to dance around the proof … |
|
|
|
Post #AvLnLTsnMXI5L1VUS8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @mevenlennonbertrand @dimpase @pigworker @totbwf Nobody ever wtites … |
|
|
|
Post #AvLnMAQbBFHnI1e4yO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @pigworker I do quite a bit, and I almost never use tactics to c… |
|
|
|
Post #AvLnMu5bPdp6uEAxdI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo What you write is usually called "unelaborated code" o… |
|
|
|
Post #AvLnMuJ4bYbBa0Tid6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo The best way to misrepresent what you're saying would be to … |
|
|
|
Post #AvLnMzwxcgTZ5AB8zo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @dimpase @pigworker @totbwf I sat through many talks about extractio… |
|
|
|
Post #AvLnNVZg2mrhADX09A by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mevenlennonbertrand If it were not, we could find a smaller upper bound, so at… |
|
|
|
Post #AvLnNWnBW3GQwOrIq8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo Suppose not. Then I would be a counter-example: a former math st… |
|
|
|
Post #AvLnNajQrwdh9v8MXw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The second student formalization project that my students submitted today was a… |
|
|
|
Post #AwyIblxo5tR4ymQZcG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling You should see programming languages designed by real mathematici… |
