user avatar
user avatar
user avatar
Noam Zeilberger
  • Member for 12 years, 7 months
  • Last seen this week
26 votes
Accepted

What is the manner of inconsistency of Girard's paradox in Martin Lof type theory

19 votes

Has philosophy ever clarified mathematics?

12 votes

[solved] sequent calculus as programming language

11 votes

What is the effect of adding 1/2 to a continued fraction?

10 votes

Choice vs. countable choice

8 votes

History of deletion-contraction formula

8 votes
Accepted

Exponential objects in the category of measurable spaces

7 votes

Multiplication and division by a morphism under the “inner composition” in closed monoidal categories

7 votes
Accepted

Detailed proof that $\circ_i$ operads are the same as operads

7 votes
Accepted

The source-side-opposite of the arrow category

7 votes

An image of the hierarchy of algebraic structures

6 votes

Do you know any good introductory resource on sequent calculus?

6 votes

Relation between Metalanguage and Object Language

6 votes

Replacing logician-constructive with combinatorist-constructive?

6 votes
Accepted

Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic

6 votes

Embedding of classical into intuitionistic linear logic

5 votes

Categorifications of the real numbers

5 votes

Extensional theorems mostly used intensionally

5 votes

Condition of possibility = Co-Implication

5 votes

What are the algebras for the double dualization monad?

4 votes

Are paths in HoTT perhaps just "cost-free" paths?

4 votes

Intro to automatic theorem proving / logical foundations?

4 votes

Writing "Semi-Formal" Proofs

4 votes

A morphism-revealing category?

4 votes

Which graphs embedded in surfaces have symmetries acting transitively on vertex-edge flags?

3 votes
Accepted

Set of functions is not a bifunctor on Rel

3 votes
Accepted

Functors in Isbell duality exchange $f^*a$ and $f_*a$

3 votes

The skew monoidal structure induced by a functor

3 votes

Is no proof based on "tertium non datur" sufficient any more after Gödel?

3 votes
Accepted

What is the proper name for "compact closed" multiplicative intuitionistic linear logic?