MathOverflow
Adam's user avatar
Adam's user avatar
Adam's user avatar
Adam
  • Member for 13 years, 3 months
Profile Activity
Stats
3,157
reputation
239k
reached
28
answers
21
questions
Communities
View all
About
I'm a grad student at UC Berkeley. No, I'm not a member of the Logic group.
Badges
View all badges
1
gold badge
20
silver badges
29
bronze badges
Top tags
View all tags
100
Score
23
Posts
47
Posts %
54
Score
15
Posts
31
Posts %
33
Score
10
Posts
20
Posts %
25
Score
4
Posts
8
Posts %
19
Score
2
Posts
4
Posts %
10
Score
5
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
33
Is P=NP relevant to finding proofs of everyday mathematical propositions?
Dec 1, 2010
answer
33
What programming languages do mathematicians use?
Jan 8, 2010
question
24
does the "convolution theorem" apply to weaker algebraic structures?
Dec 31, 2009
answer
21
In set theories where Continuum Hypothesis is false, what are the new sets?
Dec 31, 2009
question
18
Is Robinson Arithmetic biinterpretable with some theory in LST?
Jan 10, 2011
answer
13
Difference between turnstile and implication
Oct 31, 2010
question
12
What is the name for the composition of a functor with a natural transformation?
Oct 2, 2010
answer
12
Categorical foundations without set theory
Dec 31, 2009
answer
12
Russell and Whitehead's types: ramified and unramified
Jun 11, 2010
answer
12
What are κappa-categories?
Aug 30, 2010
Top network posts
View all network posts
36
Make Emacs stop asking "Active processes exist; kill them and exit anyway"
23
what is the difference between a "trait" and a "template trait"?
22
Total function of type (forall n . Maybe (f n)) -> Maybe (forall n . (f n))
16
newline-ignoring diff / diff across multiple lines / reflow-ignoring diff
14
unicode \begin{verbatim} with cmtt?

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.