From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1661 Path: news.gmane.org!not-for-mail From: "Al Vilcius" Newsgroups: gmane.science.mathematics.categories Subject: coinduction Date: Fri, 20 Oct 2000 08:57:20 -0400 Organization: Al Vilcius & Associates Message-ID: <003301c03a95$49f73610$448a0dd8@main> Reply-To: "Al Vilcius" NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 X-Trace: ger.gmane.org 1241018001 32296 80.91.229.2 (29 Apr 2009 15:13:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:13:21 +0000 (UTC) To: "Categories@Mta. Ca" Original-X-From: rrosebru@mta.ca Fri Oct 20 11:13:08 2000 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id e9KDbnU25656 for categories-list; Fri, 20 Oct 2000 10:37:49 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sent: 20 Oct 2000 12:54:08 GMT Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 19 Original-Lines: 12 Xref: news.gmane.org gmane.science.mathematics.categories:1661 Archived-At: can anyone explain coinduction? in what sense it dual to induction? does it relate to the basic picture for a NNO? is there a (meaningful) concept of co-recursion? what would be the appropriate internal language? how is it used to prove theorems? Al Vilcius al.r@vilcius.com