Re: [LUG.ro Mix] Escrutinio electrónico: Las elecciones en Río Cuarto y MSA

Ricardo Armas rarmas en gmail.com
Jue Jun 26 09:07:49 ART 2008


On Wed, Jun 25, 2008 at 3:06 PM, Horacio <horacio9573 en gmail.com> wrote:
>> La famosa (mentira, la acabo de inventar, pero que se usa, se usa)
>>  inducción finita:
>>
>>  Sea i < n, con n no tan grande
>>
>>  1) Funciona para 1?
>>  2) Funciona para k <n?
>>  3) Funciona para n?
>>
>>  Listo, lo vendemo'
>
> Finita? la prueba de inducción son infinitas y se basan en la
> propiedad arquimedeana de los números naturales,,, por lo tanto es
> "con n tan grade como vos quieras..."
Por eso dice que lo acaba de inventar...
no tiene sentido una prueba de inducción finita.


>
> _______________________________________________
> Lugro-mix mailing list
> Lugro-mix en lugro.org.ar
> http://www.lugro.org.ar/mailman/listinfo/lugro-mix
>



-- 
Ricardo A. Armas



Más información sobre la lista de distribución Lugro-mix