Emil Jeřábek
I am a researcher at the Institute of Mathematics of the Czech Academy of Sciences. I work in the field of mathematical logic, specifically proof complexity (mainly subsystems of bounded arithmetic, but also propositional proof complexity) and nonclassical logics (admissible rules of modal, superintuitionistic, and other propositional logics).
6
answers
3
questions
~1k
people reached
 Prague
 math.cas.cz/~jerabek
 Member for 5 years, 4 months
 111 profile views
 Last seen 6 hours ago
Communities (27)
Top Network Posts
 37Why are regular languages called "regular"?
 33Additive Subgroups of the Reals.
 32Do all the roots of the polynomial lie in the unit disk?
 30Is there a natural problem on the naturals that is NPcomplete?
 30A puzzle about finding three points $(x,y)$, $(x,z)$ and $(y,z)$ in a subset of a square.
 29Can ZFC prove it cannot derive an inconsistency in $n$ steps?
 26When does randomization speed up algorithms and it "shouldn't"?
 View more network posts →
Top Tags (14)
support
Score 18
Posts 3
Posts % 33
mathjax
Score 14
Posts 2
featurerequest
Score 14
Posts 2
Badges (21)
Gold
—

Silver
9
Rarest

Bronze
12
Rarest
