Squeezing arguments

When I was in NZ, I gave a talk at four universities on the prospects for a squeezing argument to prove Church's Thesis. But in fact half of the talk had to be about the very idea of a squeezing argument (as I discovered early on that almost no one had heard of Kreisel's paradigm example). Kreisel's star has perhaps rather fallen of late — and the Hintikka vol. in the Oxford Readings in Philosophy which reprinted his 'Informal rigour and completeness proofs' is long out of print and off...

 •  0 comments  •  flag
Share on Twitter
Published on May 09, 2010 09:03
No comments have been added yet.