Finityzm

Ten artykuł od 2013-07 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Finityzm – nurt filozofii matematyki, będący skrajną odmianą konstruktywizmu. Zwolennicy finityzmu uznają istnienie obiektów matematycznych o tyle, o ile są one dane „bezpośrednio” (jak na przykład liczby naturalne), lub dają się skonstruować z takich obiektów za pomocą skończonej liczby kroków. „Umiarkowany” konstruktywizm dopuszcza również konstrukcje o nieskończonej liczbie kroków pod warunkiem, że są one jednoznacznie opisane. W szczególności dozwolone są konstrukcje obiektów oparte na indukcji matematycznej.

Jednym z pierwszych konstruktywistów był Leopold Kronecker. Znane jest jego powiedzenie:

„Liczby naturalne stworzył dobry Bóg. Reszta jest dziełem człowieka.”

Oprócz Kroneckera z filozofią finityzmu związane są takie postaci jak Reuben Goodstein i Alexander Esenin-Volpin. Ten ostatni określany jest również jako „ultrafinitysta” (lub „ultraintuicjonista”).

Zobacz też

• formalizm (matematyka)
• intuicjonizm (matematyka)
• konstruktywizm (matematyka)
• logicyzm

Linki zewnętrzne

• VanV. Bendegem VanV., JeanJ. Paul JeanJ., Finitism in Geometry, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 18 maja 2015, ISSN 1095-5054 [dostęp 2018-01-17]  (ang.). (Finityzm w geometrii)