Skip to main content
Theoretical Computer Science
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 14 years, 3 months
  • Last seen this week
Profile Activity
Stats
4,831
reputation
45k
reached
29
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
25
silver badges
38
bronze badges
Top tags
View all tags
196
Score
10
Posts
28
Posts %
168
Score
9
Posts
25
Posts %
116
Score
5
Posts
14
Posts %
61
Score
5
Posts
14
Posts %
50
Score
9
Posts
25
Posts %
41
Score
3
Posts
8
Posts %
Top posts
View all questions and answers
answer
91
Solid applications of category theory in TCS?
Sep 4, 2010
answer
27
What are the practical issues with intersection and union types?
Jan 11, 2014
answer
21
Discharged hypotheses in ->Introduction
Feb 1, 2011
answer
19
Implicit vs explicit subtyping
Dec 28, 2010
answer
18
What do we know about provably correct programs?
Jan 2, 2011
answer
17
Why do we need formal semantics for predicate logic?
Sep 20, 2010
answer
15
How are real numbers specified in computation?
Oct 10, 2010
question
14
historical question: earliest description of beta-normal terms together with "neutral" terms in lambda calculus?
Nov 11, 2015
question
13
(N)DFA with same initial/accepting state(s)
Jul 5, 2013
answer
13
What is the difference between unification and anti-unification?
Mar 16, 2016
Top network posts
View all network posts
29
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
24
Has philosophy ever clarified mathematics?
15
[solved] sequent calculus as programming language
13
Choice vs. countable choice
12
Is there a category of non-well-founded sets?