Partial functions and Church’s Thesis (opens in new tab)

Alex Oliver and Tim Smiley’s magnum opus Plural Logic runs to some 340 pages before the end matter in the second edition. The final chapters are heavy going, involving detailed developments of some cumbersome (indeed, uninviting) formal theories. I wouldn’t be surprised if few readers have made it to the ‘Postscript’ touching on unfinished business. […]