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).
5
answers
3
questions
~1k
people reached
 Prague
 math.cas.cz/~jerabek
 Member for 5 years, 4 months
 108 profile views
 Last seen 1 hour 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 8
Posts 2
Posts % 25
badges
Score 8
Posts 1
discussion
Score 7
Posts 3
Badges (19)
Gold
—

Silver
8
Rarest

Bronze
11
Rarest
