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 »