Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Noam Zeilberger
  • Member for 11 years, 10 months
  • Last seen this week
Profile Activity
Stats
4,309
reputation
36k
reached
26
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
21
silver badges
33
bronze badges
Top tags
View all tags
188
Score
10
Posts
30
Posts %
161
Score
9
Posts
27
Posts %
106
Score
4
Posts
12
Posts %
61
Score
5
Posts
15
Posts %
46
Score
8
Posts
24
Posts %
40
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
86
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
16
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
13
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
12
What is the difference between unification and anti-unification?
Mar 16, 2016
Top network posts
View all network posts
26
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
19
Has philosophy ever clarified mathematics?
12
Is there a category of non-well-founded sets?
12
[solved] sequent calculus as programming language
11
What is the effect of adding 1/2 to a continued fraction?

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.