Re: Moving the Debate on Definitions Forward David A. McAllester <firstname.lastname@example.org>
Date: Mon, 23 Jul 90 15:06 EDT
From: David A. McAllester <email@example.com>
Subject: Re: Moving the Debate on Definitions Forward
To: firstname.lastname@example.org, email@example.com
I am curious about Nebel's approach to recursive definitions.
All approaches I am familiar with involve axiom schemes for
mathematical induction (recursion and induction appear to be
closely related). Is this also true of Nebel's approach?
Could Nebel's mechanism conclude that every descendent of a
human is human?