most citedWho Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2022★ 5 cited

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

Christoph Benzmüller, David Fuenmayor, Alexander Steen +1

This paper reports on an exploration of Boolos' Curious Inference, using higher-order automated theorem provers (ATPs). Surprisingly, only suitable shorthand notations had to be pr…