994 reputation
21121
bio website
location
age
visits member for 4 years, 8 months
seen Apr 22 at 20:52

Jul
9
awarded  Notable Question
Jul
2
awarded  Curious
Mar
22
awarded  Necromancer
Nov
16
awarded  Yearling
Oct
7
awarded  Favorite Question
Oct
6
awarded  Good Question
Oct
1
awarded  Caucus
Aug
2
comment What are good ways to present proofs of theorems requiring auxiliary lemmas?
In the introduction/statement of the main results, one can always state the most important theorems in any order one sees fit. So, there is hardly a single reason why to break the logical flow of things later when all the lemmas and theorems are presented rigorously with their proofs. If anything, it makes following the rigor only more difficult. Putting lemmas and their proofs inside other proofs is just bad style.
Aug
2
comment What are good ways to present proofs of theorems requiring auxiliary lemmas?
For what it's worth, here is my perspective of a graduate student: if there is nothing wrong with lemma -> proof of lemma -> theorem -> proof of theorem, then there is no need to make things more complicated for the reader than they already are, by nesting stuff. Unless it is an overview of a result, a proof should follow the statement immediately.The reader can always skip lemma/corollary/proof on his own if he wishes to do so, so there is hardly any need to break logical flow. Everything else is just friggin' annoying to read and understand!
Jul
2
awarded  Disciplined
Jun
28
comment Terminology for sequences/functions that approach each other
How about "asymptotically equal/equivalent"? The only problem with this term would be that you can pose a similar condition on the ratio and will then need another name for it :-)
Jun
25
accepted Algebraic varieties in “mixed” affine spaces
Jun
25
awarded  Electorate
Jun
25
awarded  Revival
Jun
25
awarded  Suffrage
Jun
24
asked Algebraic varieties in “mixed” affine spaces
Nov
16
awarded  Yearling
Feb
19
awarded  Notable Question
Nov
17
awarded  Yearling
Oct
2
comment What motivates modern algebraic geometry for a combinatorial/constructive algebraist?
Motives ?....