MathOverflow
Noam Zeilberger
  • Member for 12 years, 3 months
  • Last seen this week
Profile Activity
Stats
3,003
reputation
99k
reached
43
answers
11
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
19
silver badges
19
bronze badges
Top tags
View all tags
104
Score
17
Posts
31
Posts %
57
Score
20
Posts
37
Posts %
52
Score
11
Posts
20
Posts %
37
Score
5
Posts
9
Posts %
15
Score
6
Posts
11
Posts %
15
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
26
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
Mar 13 '10
19
Has philosophy ever clarified mathematics?
Oct 5 '14
12
[solved] sequent calculus as programming language
Jun 27 '10
12
Is there a category of non-well-founded sets?
Feb 4 '10
10
equivalence classes of arch diagrams in bijection with permutations
Sep 8 '16
10
Choice vs. countable choice
Apr 29 '10
10
What is the effect of adding 1/2 to a continued fraction?
May 12 '14
9
Wiener's axiomatization of the group law based on division
Aug 4 '17
8
Ends as a "cotrace" operation on profunctors
Aug 13 '11
8
History of deletion-contraction formula
May 4 '17
Top network posts
View all network posts
85
Solid applications of category theory in TCS?
27
What are the practical issues with intersection and union types?
21
Discharged hypotheses in ->Introduction
19
Implicit vs explicit subtyping
18
What do we know about provably correct programs?

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.