Formal-ity and the Church-Turing thesis
rusi
rustompmody at gmail.com
Tue Oct 8 09:33:35 EDT 2013
On Tuesday, October 8, 2013 6:31:21 PM UTC+5:30, Ravi Sahni wrote:
> On Tue, Oct 8, 2013 at 11:14 AM, rusi wrote:
> > To explain at length will be too long and OT (off-topic) for this list.
> > I'll just give you a link and you tell me what you make of it:
> > http://sloan.stanford.edu/mousesite/Secondary/Whorfframe2.html
>
>
> I am trying to read link. Very new idea: Buildings can catch fire by
> wrong boards!!
>
> Later part difficult for me to read. (My English not powerful --please excuse.)
> I will make my fullest efforts to read on your recommend
Hell No! I only asked you to read the first page!
[And 'Mr. Mark' will scold<wink>]
> but I not
> clear the connection with computers, programming, computer science and
> so on. Also this Mr. Mark Lawrence question.
Once you get that buildings can catch fire by wrong terminology you should get that:
- the term 'Turing machine' can make people think its a machine even though its a mathematical formalism
- the term 'λ-calculus' (partly due to the word calculus and partly due to the greek lambda) makes people think its mathematics even though its a computational framework
More information about the Python-list
mailing list