Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Finityzm

Indeks Finityzm

Finityzm – nurt filozofii matematyki, będący skrajnąodmianąkonstruktywizmu.

9 kontakty: Filozofia matematyki, Formalizm (matematyka), Indukcja matematyczna, Intuicjonizm (matematyka), Konstruktywizm w filozofii matematyki, Leopold Kronecker, Liczby naturalne, Logicyzm, Reuben Goodstein.

Filozofia matematyki

Filozofia matematyki – dział filozofii.

Nowy!!: Finityzm i Filozofia matematyki · Zobacz więcej »

Formalizm (matematyka)

Formalizm to kierunek w filozofii matematyki, będący formąrozwojowąlogicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty (współcześnie rolę tę pełniąaksjomaty teorii mnogości), pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.

Nowy!!: Finityzm i Formalizm (matematyka) · Zobacz więcej »

Indukcja matematyczna

Indukcja matematyczna – metoda dowodzenia twierdzeń o prawdziwości nieskończonej liczby stwierdzeń oraz definiowania rekurencyjnego (zob. osobna sekcja).

Nowy!!: Finityzm i Indukcja matematyczna · Zobacz więcej »

Intuicjonizm (matematyka)

Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych.

Nowy!!: Finityzm i Intuicjonizm (matematyka) · Zobacz więcej »

Konstruktywizm w filozofii matematyki

W filozofii matematyki konstruktywizm zakłada, że trzeba znaleźć (lub „skonstruować”) konkretny przykład obiektu matematycznego, aby udowodnić, że taki przykład istnieje.

Nowy!!: Finityzm i Konstruktywizm w filozofii matematyki · Zobacz więcej »

Leopold Kronecker

Leopold Kronecker (ur. 7 grudnia 1823 w Legnicy, zm. 29 grudnia 1891 w Berlinie) – niemiecki matematyk i logik.

Nowy!!: Finityzm i Leopold Kronecker · Zobacz więcej »

Liczby naturalne

osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.

Nowy!!: Finityzm i Liczby naturalne · Zobacz więcej »

Logicyzm

Logicyzm – kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika).

Nowy!!: Finityzm i Logicyzm · Zobacz więcej »

Reuben Goodstein

Reuben Louis Goodstein (ur. 15 grudnia 1912 w Londynie, zm. 8 marca 1985 w Leicesterze) – angielski matematyk i filozof matematyki.

Nowy!!: Finityzm i Reuben Goodstein · Zobacz więcej »

Przekierowuje tutaj:

Finityzm (matematyka).

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »