514 reputation
319
bio website
location Toulouse
age
visits member for 2 years, 7 months
seen 2 hours ago

Jul
2
awarded  Curious
Jun
14
comment Atiyah-MacDonald, exercise 2.11
Is Cayley-Hamilton Theorem necessary here? Is there no easier way to show that the powers of $\phi$ are linearly dependent over $A$?
May
26
revised Topological characterization of the closed interval $[0,1]$
grammar
May
26
accepted Topological characterization of the closed interval $[0,1]$
May
25
comment Topological characterization of the closed interval $[0,1]$
In other words, in some sense, $[0,1]$ is the "simplest" non-trivial absolute retract.
May
25
answered Topological characterization of the closed interval $[0,1]$
May
23
awarded  Organizer
May
23
revised Defining Multiplication in Polynomials over Rings of Matrices
add [reference-request] tag
May
23
suggested suggested edit on Defining Multiplication in Polynomials over Rings of Matrices
May
10
revised Vector bundles vs principal $G$-bundles
remove "G-bundle", leave "principal G-bundle", as this is what is described
Apr
20
comment Are the higher homotopy groups of the Hawaiian earring trivial?
It is actually available publicly from the publisher's website.
Jan
30
awarded  Yearling
Dec
23
accepted Why did Alonzo Church choose the letter $\lambda$ as the “binding operator”?
Dec
22
awarded  Excavator
Dec
22
revised What is the history of the Y-combinator?
provide a new web link instead of the obsolete one
Dec
22
suggested suggested edit on What is the history of the Y-combinator?
Dec
20
answered Why did Alonzo Church choose the letter $\lambda$ as the “binding operator”?
Dec
19
asked Why did Alonzo Church choose the letter $\lambda$ as the “binding operator”?
Oct
1
awarded  Caucus
Aug
10
revised Avoiding reflexive paradox in set theory
fix TeX (minor), other minor formatting (en-dash)