|
From: | Lennart Borgman (gmail) |
Subject: | Re: Release plans |
Date: | Tue, 12 Aug 2008 20:58:46 +0200 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.9) Gecko/20071031 Thunderbird/2.0.0.9 Mnenhy/0.7.5.666 |
A Soare wrote:
In my case the initial hypothesis is true; the general case is false: 1. initial: X1 X2 ... Xn do not use Emacs 2. general: nobody uses EmacsIs not that extrapolation rather than induction? ;-)Maybe, I do not know. Induction is surely.
Maybe this is not the place for math education, but you are missing one piece to make it induction:
- There should be something that asserts that the condition holds also for next step.
It might happen even to you that you meat a person who uses Emacs on windows ...
[Prev in Thread] | Current Thread | [Next in Thread] |