Finitismul

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În filosofia matematicii , finitismul este o atitudine extremă a constructivismului : susține că orice obiect matematic există doar dacă poate fi construit într-un număr finit de pași începând de la numere naturale sau șiruri pe un alfabet finit într-un număr finit de pași. Cu toate acestea, mulți constructiviști, spre deosebire de această poziție drastică, admit și existența obiectelor construite cu un procedeu care realizează o infinitate de pași.

Cel mai faimos susținător al finitismului a fost Leopold Kronecker , care a declarat:

„Dumnezeu a creat numere naturale, orice altceva este opera omului”.

O poziție mai puțin împinsă este cea a constructivistilor ; totuși, și ele se referă la ideile finitiste ale lui Kronecker.

O poziție chiar mai drastică decât finitismul se numește ultrafinitism sau ultraintuiționism ; figura principală a acestei atitudini este Alexander Esenin-Volpin .

linkuri externe

Controlul autorității GND ( DE ) 4135356-0
Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică