Reputation
7,196
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 31
Newest
 Necromancer
Impact
~82k people reached

Jun
22
comment Does mathematics become circular at the bottom? What is at the bottom of mathematics?
@user119615 I've made edits to the answer, hoping it's more clear now.
Jun
22
revised Does mathematics become circular at the bottom? What is at the bottom of mathematics?
Improved the answer
Jun
22
answered Logic vs. type system
Jun
22
answered Does mathematics become circular at the bottom? What is at the bottom of mathematics?
Jun
20
revised Iterating until a diagram commutes
made a correction in a formula
Jun
20
revised How to introduce type theory to newcomer
improved grammar
Jun
19
answered Iterating until a diagram commutes
Jun
13
awarded  Necromancer
Jun
8
awarded  Yearling
Jun
3
awarded  Notable Question
May
20
accepted How to introduce type theory to newcomer
May
19
awarded  Cleanup
May
19
revised Homology of wedge sum is the direct sum of homologies
Made minor corrections
May
19
revised Homology of wedge sum is the direct sum of homologies
rolled back to a previous revision
May
3
awarded  Nice Question
Apr
24
comment Zorn's Lemma Application for Finding Maximal Submodule?
Since $\bar L$ is a maximal element in $\mathscr{F}$ you have that for every other element $L \in \mathscr{F}$, that is every other submodule of $M$ such that $x \not \in L$ and $N \subseteq L$ you have that if $L \supseteq \bar L$ then $L = \bar L$. This is the definition of maximal element of a poset.
Apr
24
comment Zorn's Lemma Application for Finding Maximal Submodule?
Because you're element belong to $\mathscr{F}$ and every element of this poset has the desidered property.
Apr
24
revised How to introduce type theory to newcomer
deleted 170 characters in body
Apr
24
revised How to introduce type theory to newcomer
Make narrower and precise the question
Apr
21
awarded  Nice Question