21 kontakty: Aksjomat, Alfred North Whitehead, Bertrand Russell, David Hilbert, Filozofia matematyki, Finityzm, Implikacja, Intuicjonizm (matematyka), Konstruktywizm w filozofii matematyki, Kurt Gödel, Logicyzm, Matematyka, Nicolas Bourbaki, Paradygmat, Platonizm, Prószyński i S-ka, Rachunek zdań, Semantyka, System formalny, Teoria dowodu, Teoria mnogości.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Formalizm (matematyka) i Aksjomat · Zobacz więcej »
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!!: Formalizm (matematyka) i Alfred North Whitehead · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Formalizm (matematyka) 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!!: Formalizm (matematyka) i David Hilbert · Zobacz więcej »
Filozofia matematyki
Filozofia matematyki – dział filozofii.
Nowy!!: Formalizm (matematyka) i Filozofia matematyki · Zobacz więcej »
Finityzm
Finityzm – nurt filozofii matematyki, będący skrajnąodmianąkonstruktywizmu.
Nowy!!: Formalizm (matematyka) i Finityzm · Zobacz więcej »
Implikacja
* implikacja materialna.
Nowy!!: Formalizm (matematyka) i Implikacja · Zobacz więcej »
Intuicjonizm (matematyka)
Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych.
Nowy!!: Formalizm (matematyka) 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!!: Formalizm (matematyka) i Konstruktywizm w filozofii matematyki · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Formalizm (matematyka) i Kurt Gödel · 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!!: Formalizm (matematyka) i Logicyzm · 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!!: Formalizm (matematyka) i Matematyka · Zobacz więcej »
Nicolas Bourbaki
Nicolas Bourbaki – pseudonim grupy francuskich matematyków, którzy w roku 1935 założyli tzw.
Nowy!!: Formalizm (matematyka) i Nicolas Bourbaki · 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!!: Formalizm (matematyka) i Paradygmat · Zobacz więcej »
Platonizm
Platonizm – nurt filozoficzny opierający się na filozofii Platona (427–347 p.n.e.), stanowiący jej interpretację i kontynuację.
Nowy!!: Formalizm (matematyka) i Platonizm · Zobacz więcej »
Prószyński i S-ka
Prószyński i S-ka – polskie wydawnictwo działające w latach 1990–2008, od 2009 imprint wydawnictwa Prószyński Media.
Nowy!!: Formalizm (matematyka) i Prószyński i S-ka · 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!!: Formalizm (matematyka) i Rachunek zdań · Zobacz więcej »
Semantyka
* semantyka – synonim semiotyki (logicznej) jako ogólnej teorii znaków.
Nowy!!: Formalizm (matematyka) i Semantyka · Zobacz więcej »
System formalny
System formalny – język formuł (logiki) wraz ze zbiorem reguł wyprowadzania (wywodu) i zwykle zbiorem aksjomatów.
Nowy!!: Formalizm (matematyka) i System formalny · Zobacz więcej »
Teoria dowodu
Teoria dowodu – dział logiki matematycznej zajmujący się analiząpojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych.
Nowy!!: Formalizm (matematyka) i Teoria dowodu · 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!!: Formalizm (matematyka) i Teoria mnogości · Zobacz więcej »