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

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffe2022-09-162022-09-162022https://fis.uni-bamberg.de/handle/uniba/55558engWho Finds the Short Proof? : an Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Proverspreprint10.48550/ARXIV.2208.06879https://arxiv.org/pdf/2208.06879.pdf