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

Ayan Mahalanobis amah8857 at
Mon Jul 30 00:15:09 EDT 2001

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.

-----Original Message-----
From: owner-fom at [mailto:owner-fom at]On Behalf Of
Steve Stevenson
Sent: Friday, July 27, 2001 2:26 PM
To: fom at
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.

More information about the FOM mailing list