As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Neil Strickland's user avatar
Neil Strickland's user avatar
Neil Strickland's user avatar
Neil Strickland
  • Member for 12 years, 7 months
  • Last seen this week
Profile Activity
Stats
52,437
reputation
827k
reached
564
answers
54
questions
Communities
View all
About

I am an algebraic topologist, based at the University of Sheffield.

Badges
View all badges
7
gold badges
136
silver badges
244
bronze badges
Top tags
View all tags
2,386
Score
293
Posts
47
Posts %
898
Score
104
Posts
17
Posts %
490
Score
54
Posts
9
Posts %
426
Score
47
Posts
8
Posts %
311
Score
33
Posts
5
Posts %
302
Score
31
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
60
Homomorphism from $\hat{\mathbb{Z}}$ to $\mathbb{Z}$
May 24, 2011
answer
60
How misleading is it to regard $\frac{dy}{dx}$ as a fraction?
Aug 23, 2011
answer
47
Total spaces of $TS^2$ and $S^2 \times R^2$ not homeomorphic
Mar 27, 2012
answer
47
How can there be topological 4-manifolds with no differentiable structure?
Mar 10, 2011
answer
46
How much mathematics has been formally verified?
May 31, 2016
answer
43
Which mathematical definitions should be formalised in Lean?
Sep 22, 2018
answer
42
Duals and Tensor products
Feb 22, 2011
answer
40
Morava K-theories for dummies?
Nov 22, 2016
answer
39
Techniques for debugging proofs
Apr 29, 2022
answer
37
The homotopy category is not complete nor cocomplete
May 20, 2016
Top Meta posts
8
19
40
News of potential interest to the MO community
36
Welcoming new user: on a recent question about connections
35
Are there universities that take your MathOverflow score seriously
30
About if questions in Research papers can be asked on MathOverflow
26
close/reopen wars on Mathoverflow
Top network posts
View all network posts
88
An easy example of a non-constructive proof without an obvious "fix"?
85
Generating smartphone-readable pdf
48
Questions with "round" answers only?
44
Impressive common misleading interpretations in statistics to make students aware of
29
In Lean, what do double curly brackets mean?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.