Skip to main content
MathOverflow
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 15 years, 1 month
  • Last seen this week
Profile Activity
Stats
3,393
reputation
128k
reached
45
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
24
silver badges
20
bronze badges
Top tags
View all tags
118
Score
17
Posts
30
Posts %
70
Score
21
Posts
38
Posts %
60
Score
11
Posts
20
Posts %
40
Score
5
Posts
9
Posts %
21
Score
3
Posts
5
Posts %
19
Score
7
Posts
12
Posts %
Top posts
View all questions and answers
answer
29
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
Mar 13, 2010
answer
24
Has philosophy ever clarified mathematics?
Oct 5, 2014
answer
15
[solved] sequent calculus as programming language
Jun 27, 2010
answer
13
Choice vs. countable choice
Apr 29, 2010
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
question
10
equivalence classes of arch diagrams in bijection with permutations
Sep 8, 2016
question
10
Wiener's axiomatization of the group law based on division
Aug 4, 2017
answer
8
Is there a generalization of braided monoidal category without the isomorphism requirement?
Dec 18, 2022
question
8
Ends as a "cotrace" operation on profunctors
Aug 13, 2011
Top network posts
View all network posts
91
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?