MathOverflow
Charles Stewart's user avatar
Charles Stewart's user avatar
Charles Stewart's user avatar
Charles Stewart
  • Member for 13 years, 11 months
  • Last seen more than 5 years ago
Profile Activity
Stats
2,283
reputation
278k
reached
40
answers
5
questions
Communities
View all
About
Former proof theorist, now freelance copy-editor.
Badges
View all badges
This user doesn’t have any gold badges yet.
19
silver badges
26
bronze badges
Top tags
View all tags
137
Score
31
Posts
69
Posts %
55
Score
8
Posts
18
Posts %
26
Score
6
Posts
13
Posts %
24
Score
6
Posts
13
Posts %
23
Score
10
Posts
22
Posts %
20
Score
5
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
47
Which mathematical ideas have done most to change history?
Feb 1, 2010
answer
22
What are the applications of hypergraphs?
Feb 2, 2010
answer
13
What was Gödel's real achievement?
Apr 3, 2010
question
12
Is functional programming a branch of mathematics?
Jan 15, 2010
answer
12
Why is it so difficult to write complete (computer verifiable) proofs?
May 11, 2010
answer
11
What are some examples of colorful language in serious mathematics papers?
Apr 23, 2010
answer
10
Programming Languages Based on Category Theory
Apr 2, 2010
answer
10
What does the disjunction elimination rule say?
Feb 26, 2010
question
9
Scott on the consistency of the lambda calculus
Mar 1, 2010
answer
9
Most general formulation of Gödel's incompleteness theorems
Jul 18, 2010
Top network posts
View all network posts
148
When should one use \begingroup instead of \bgroup?
147
Symbol for Gaussian distribution
141
What is XeTeX exactly and why should I use it?
78
Use LaTeX to produce ePub
75
Aptitude vs. apt-get: Which is the recommended (aka the "right") tool to use?

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.