55 citations · 100 across the 3 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…