55 citations · 102 across the 4 of their papers we have counts for
1 paper · 2 filters
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…