17 kontakty: Alfred North Whitehead, Antynomia klas samozwrotnych, Bertrand Russell, David Hilbert, Filozofia matematyki, Finityzm, Formalizm (matematyka), Giuseppe Peano, Intuicjonizm (matematyka), Liczby naturalne, Logika, Matematyka, Metamatematyka, Paradygmat, Rachunek zdań, Routledge Encyclopedia of Philosophy, Teoria mnogości.
Alfred North Whitehead
Alfred North Whitehead (ur. 15 lutego 1861 w Ramsgate, zm. 30 grudnia 1947 w Cambridge w stanie Massachusetts) – angielski uczony: filozof, matematyk i fizyk teoretyczny.
Nowy!!: Logicyzm i Alfred North Whitehead · Zobacz więcej »
Antynomia klas samozwrotnych
Antynomia klas samozwrotnych Niech A oznacza zbiór takich wypowiedzi, które nie mogąorzekać o samych sobie.
Nowy!!: Logicyzm i Antynomia klas samozwrotnych · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Logicyzm i Bertrand Russell · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Logicyzm i David Hilbert · Zobacz więcej »
Filozofia matematyki
Filozofia matematyki – dział filozofii.
Nowy!!: Logicyzm i Filozofia matematyki · Zobacz więcej »
Finityzm
Finityzm – nurt filozofii matematyki, będący skrajnąodmianąkonstruktywizmu.
Nowy!!: Logicyzm i Finityzm · 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!!: Logicyzm i Formalizm (matematyka) · Zobacz więcej »
Giuseppe Peano
''Aritmetica generale e algebra elementare'', 1902 Giuseppe Peano (ur. 27 sierpnia 1858 w Spinetta, zm. 20 kwietnia 1932 w Turynie) – włoski matematyk i logik.
Nowy!!: Logicyzm i Giuseppe Peano · Zobacz więcej »
Intuicjonizm (matematyka)
Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych.
Nowy!!: Logicyzm i Intuicjonizm (matematyka) · Zobacz więcej »
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Nowy!!: Logicyzm i Liczby naturalne · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Logicyzm i Logika · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Logicyzm i Matematyka · Zobacz więcej »
Metamatematyka
Metamatematyka (lub meta-matematyka) – bardzo rygorystyczne badanie podstaw matematyki i pewnych aspektów logiki matematycznej z użyciem zaawansowanych środków samej matematyki.
Nowy!!: Logicyzm i Metamatematyka · Zobacz więcej »
Paradygmat
Paradygmat (gr. parádeigma „przykład, wzór”) – zbiór pojęć i teorii tworzących podstawy danej nauki; znaczenie to wprowadził filozof Thomas Kuhn w książce Struktura rewolucji naukowych (ang. The Structure of Scientific Revolutions) z 1962 roku.
Nowy!!: Logicyzm i Paradygmat · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Logicyzm i Rachunek zdań · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Logicyzm i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Logicyzm i Teoria mnogości · Zobacz więcej »