Formal-ity and the Church-Turing thesis

[Robert Day]

On 08/10/13 14:11, Steven D'Aprano wrote:
> On Tue, 08 Oct 2013 18:16:01 +0530, Ravi Sahni wrote:
>
>>
>> Presently Sir, I wish to ask single question: What you mean "wave our
>> hands"??
> It is an idiom very common in Australia. (It may not be well known in the
> rest of the English-speaking world.) It means to figuratively flap one's
> hands around in the air while skipping over technical details or
> complications.
It's known elsewhere as well (though mostly in technical circles) - it's 
in the Jargon File as http://www.catb.org/jargon/html/H/handwave.html. 
<http://www.catb.org/jargon/html/H/handwave.html>
<http://www.catb.org/jargon/html/H/handwave.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-list/attachments/20131008/8b8bc8a1/attachment.html>