Finitismul
Această intrare sau secțiune despre matematică și filozofie nu citează sursele necesare sau cei prezenți sunt insuficienți . |
Î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
- ( EN ) Finitismo , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
Controlul autorității | GND ( DE ) 4135356-0 |
---|