55 citations · 102 across the 4 of their papers we have counts for
1 paper · 1 filter
Gustavo Lacerda
Consider a short theorem, i.e. one that can be written down using just a few symbols. Can its shortest proof be arbitrarily long? We answer this question in the negative. Inspired…