FOM: RE: Opinions on place to start considering computation....

[Ayan Mahalanobis]

I have always wondered if there is any taker of the idea that computation is
essentially a proof by Intuitionistic logic with/without(?) countable
choice. That is to say that if I have a proof that there is a fixed point
for certain function in Intuitionistic Logic then I can compute it.

This is not a reply to the quoted message but I thought goes along well with
the thread.

--Ayan
-----Original Message-----
From: owner-fom at math.psu.edu [mailto:owner-fom at math.psu.edu]On Behalf Of
Steve Stevenson
Sent: Friday, July 27, 2001 2:26 PM
To: fom at math.psu.edu
Subject: FOM: Opinions on place to start considering computation....


Good Afternoon,

Suppose you have a colleague who just arrived from Mars. This
colleague is interested in knowing what Earth mathematicians consider
to be {\em computation}. They are impatient and want to read as few
pages as possible.