MathOverflow
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 13 years, 3 months
  • Last seen this week
Profile Activity
Stats
3,183
reputation
105k
reached
44
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
20
silver badges
19
bronze badges
Top tags
View all tags
109
Score
17
Posts
31
Posts %
66
Score
21
Posts
38
Posts %
53
Score
11
Posts
20
Posts %
38
Score
5
Posts
9
Posts %
19
Score
3
Posts
5
Posts %
17
Score
5
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
27
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
Mar 13, 2010
answer
20
Has philosophy ever clarified mathematics?
Oct 5, 2014
question
12
Is there a category of non-well-founded sets?
Feb 4, 2010
answer
12
What is the effect of adding 1/2 to a continued fraction?
May 12, 2014
answer
12
Choice vs. countable choice
Apr 29, 2010
answer
12
[solved] sequent calculus as programming language
Jun 27, 2010
question
10
equivalence classes of arch diagrams in bijection with permutations
Sep 8, 2016
question
9
Wiener's axiomatization of the group law based on division
Aug 4, 2017
question
8
Ends as a "cotrace" operation on profunctors
Aug 13, 2011
answer
8
Exponential objects in the category of measurable spaces
Jul 14, 2019
Top network posts
View all network posts
86
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.