From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4942
Path: news.gmane.org!not-for-mail
From: "Bhupinder Singh Anand" <re@alixcomsi.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Famous unsolved problems in ordinary category theory
Date: Sat, 6 Jun 2009 09:29:46 +0530
Message-ID: <E1MD3mz-0003En-Qi@mailserv.mta.ca>
Reply-To: "Bhupinder Singh Anand" <re@alixcomsi.com>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1244327169 17800 80.91.229.12 (6 Jun 2009 22:26:09 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Sat, 6 Jun 2009 22:26:09 +0000 (UTC)
To: "'Ronnie Brown'" <ronnie.profbrown@btinternet.com>,	<categories@mta.ca>
Original-X-From: categories@mta.ca Sun Jun 07 00:26:07 2009
Return-path: <categories@mta.ca>
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from mailserv.mta.ca ([138.73.1.1])
	by lo.gmane.org with esmtp (Exim 4.50)
	id 1MD4L0-0006PG-RK
	for gsmc-categories@m.gmane.org; Sun, 07 Jun 2009 00:26:06 +0200
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <categories@mta.ca>)
	id 1MD3mz-0003En-Qi
	for categories-list@mta.ca; Sat, 06 Jun 2009 18:50:57 -0300
Original-Sender: categories@mta.ca
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:4942
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/4942>

On Friday, June 05, 2009 4:37 PM, Ronnie Brown wrote in
categories@mta.ca:

RB>> Mind you there was a serious point: how to turn abstract
mathematics into machine computation? <<RB

Ronnie
======
I shall be presenting the following two papers analysing this problem -
and proposing a solution in the case of the Peano Arithmetic, PA - on
June 14th at the 2009 International Conference on Theoretical and
Mathematical Foundations of Computer Science, Orlando, USA.

TMFCS 173: The significance of Aristotle's particularisation in the
foundations of mathematics, logic and computability II - Goedel and
formally undecidable arithmetical propositions

http://alixcomsi.com/25_Aristotlean_particularisation_II_Goedel_Update.p
df

TMFCS 174: The significance of Aristotle's particularisation in the
foundations of mathematics, logic and computability IV - Turing and a
sound, finitary, interpretation of PA

http://alixcomsi.com/25_Aristotlean_particularisation_IV_Turing_Update.p
df

Regards,

Bhup



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]