Inducción de Finitistic

La inducción de Finitistic es una forma limitada de la inducción matemática en la cual se puede mostrar que el proceso inductivo concluye su extensión en un número finito de pasos.

Una forma extrema de la postura constructivista en la filosofía de matemáticas, finitism propone que un objeto matemático (es decir una entidad abstracta bien definida capaz de poseer propiedades y llevar relaciones) no exista a menos que pueda ser "construido" por un procedimiento formal de los números naturales en un número finito de pasos. (En contraste, la mayor parte de constructivistas tienen la existencia en cuenta de objetos construidos en un contablemente número infinito de pasos.)

El primer teorema del estado incompleto de Kurt Gödel estuvo relacionado con los límites de sistemas restringidos a medios inductivos finitistic.



Buscar