emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Release plans


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 Emacs

Is 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 ...




reply via email to

[Prev in Thread] Current Thread [Next in Thread]