Szybszy dostęp niż przeglądarce!
69 kontakty: Abraham Fraenkel, Aksjomat, Aksjomaty Zermela-Fraenkla, Aksjomatyka Hilberta, Alan Turing, Alfred North Whitehead, Alfred Tarski, Amerykańskie Towarzystwo Matematyczne, Analiza funkcjonalna, Analiza rzeczywista, Andrzej Mostowski (matematyk), Augustus De Morgan, Austriacy, Bertrand Russell, Bronisław Knaster, David Hilbert, Edward Marczewski, Ernst Zermelo, Forsing, Fundamenta Mathematicae, Funkcja obliczalna, Geometria euklidesowa, Georg Cantor, George Boole, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Hans Hahn, Helena Rasiowa, Jan Łukasiewicz, Jerzy Łoś (logik), Kazimierz Kuratowski, Kurt Gödel, Leszek Pacholski (ur. 1945), Logika, Lwowska szkoła matematyczna, Maszyna Turinga, Matematyk, Matematyka, Monografia, Niemcy, Niesprzeczność, Otton Nikodym, Paul Cohen, Principia mathematica, Problem stopu, Przewód doktorski, Roman Sikorski, Stanisław Leśniewski (1886–1939), Stanisław Mazur, ..., Stanisław Ulam, Stefan Banach, Struktura matematyczna, Teoria dowodu, Teoria miary, Teoria mnogości, Teoria modeli, Teoria pierwszego rzędu, Teoria rekursji, Thoralf Skolem, Topologia, Twierdzenia Gödla, Uniwersytet Wiedeński, Uniwersytet Wrocławski, Wacław Sierpiński, Warszawska szkoła matematyczna, Włochy, Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, Zygmunt Janiszewski. Rozwiń indeks (19 jeszcze) »
Abraham Fraenkel
Abraham Fraenkel Adolf Abraham Halevi Fraenkel, znany jako Abraham Fraenkel (ur. 17 lutego 1891 w Monachium, zm. 15 października 1965 w Jerozolimie) – niemiecko-izraelski matematyk, profesor Uniwersytetu Hebrajskiego w Jerozolimie.
Nowy!!: Logika matematyczna i Abraham Fraenkel · Zobacz więcej »
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Logika matematyczna i Aksjomat · Zobacz więcej »
Aksjomaty Zermela-Fraenkla
Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.
Nowy!!: Logika matematyczna i Aksjomaty Zermela-Fraenkla · Zobacz więcej »
Aksjomatyka Hilberta
Aksjomatyka Hilberta – zestaw aksjomatów geometrii euklidesowej podany przez Davida Hilberta w roku 1899 w jego pracy Grundlagen der Geometrie (Podstawy geometrii).
Nowy!!: Logika matematyczna i Aksjomatyka Hilberta · Zobacz więcej »
Alan Turing
Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow k. Manchesteru) – brytyjski matematyk, informatyk i wojskowy.
Nowy!!: Logika matematyczna i Alan Turing · 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!!: Logika matematyczna i Alfred North Whitehead · Zobacz więcej »
Alfred Tarski
Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej.
Nowy!!: Logika matematyczna i Alfred Tarski · Zobacz więcej »
Amerykańskie Towarzystwo Matematyczne
Amerykańskie Towarzystwo Matematyczne (skr.) – towarzystwo naukowe skupiające matematyków w Stanach Zjednoczonych.
Nowy!!: Logika matematyczna i Amerykańskie Towarzystwo Matematyczne · Zobacz więcej »
Analiza funkcjonalna
Analiza funkcjonalna – dział analizy matematycznej zajmujący się głównie badaniem własności przestrzeni funkcyjnych.
Nowy!!: Logika matematyczna i Analiza funkcjonalna · Zobacz więcej »
Analiza rzeczywista
granicy. funkcji Weierstrassa – ciągłej, ale nieróżniczkowalnej w żadnym punkcie nieciągła w zerze, bo nie ma tam w ogóle granicy. stacjonarności prawie wszędzie. analityczna (klasy C^\omega), ponieważ jej wszystkie pochodne znikają. Analiza rzeczywista – podstawowy dział analizy matematycznej badający funkcje rzeczywiste, zwłaszcza te zmiennej rzeczywistej.
Nowy!!: Logika matematyczna i Analiza rzeczywista · Zobacz więcej »
Andrzej Mostowski (matematyk)
Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver) – polski matematyk zajmujący się głównie fundamentami matematyki, przedstawiciel warszawskiej szkoły matematycznej.
Nowy!!: Logika matematyczna i Andrzej Mostowski (matematyk) · Zobacz więcej »
Augustus De Morgan
Augustus De Morgan Augustus De Morgan (ur. 27 czerwca 1806 w Maduraju, zm. 18 marca 1871 w Londynie) – angielski matematyk i logik.
Nowy!!: Logika matematyczna i Augustus De Morgan · Zobacz więcej »
Austriacy
Austriacy – naród pochodzenia germańskiego, zamieszkujący głównie Austrię oraz włoski region Trydent-Tyrol Południowy.
Nowy!!: Logika matematyczna i Austriacy · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Logika matematyczna i Bertrand Russell · Zobacz więcej »
Bronisław Knaster
Bronisław Knaster (ur. 22 maja 1893 w Warszawie, zm. 3 listopada 1980 we Wrocławiu) – polski matematyk.
Nowy!!: Logika matematyczna i Bronisław Knaster · 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!!: Logika matematyczna i David Hilbert · Zobacz więcej »
Edward Marczewski
Cmentarzu Świętej Rodziny we Wrocławiu Edward Marczewski, do 1940 roku nosił nazwisko Szpilrajn (ur. 15 listopada 1907 w Warszawie, zm. 17 października 1976 we Wrocławiu) − polski matematyk pochodzenia żydowskiego, profesor i rektor Uniwersytetu Wrocławskiego.
Nowy!!: Logika matematyczna i Edward Marczewski · Zobacz więcej »
Ernst Zermelo
Ernst Zermelo we Fryburgu, 1953 Ernst Friedrich Ferdinand Zermelo (ur. 27 lipca 1871 w Berlinie, zm. 21 maja 1953 we Fryburgu Bryzgowijskim) – niemiecki matematyk.
Nowy!!: Logika matematyczna i Ernst Zermelo · Zobacz więcej »
Forsing
Forsing (forcing) – metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości względem aksjomatów Zermela-Fraenkla.
Nowy!!: Logika matematyczna i Forsing · Zobacz więcej »
Fundamenta Mathematicae
Fundamenta Mathematicae – czasopismo matematyczne założone w 1920 w Warszawie przez polskich matematyków Zygmunta Janiszewskiego, Stefana Mazurkiewicza i Wacława Sierpińskiego, członków warszawskiej szkoły matematycznej.
Nowy!!: Logika matematyczna i Fundamenta Mathematicae · Zobacz więcej »
Funkcja obliczalna
Funkcja obliczalna – podstawowy obiekt badań teorii obliczalności.
Nowy!!: Logika matematyczna i Funkcja obliczalna · Zobacz więcej »
Geometria euklidesowa
Szkoła Euklidesa w Atenach(Obraz Raffaello Sanzio, 1509) Strona z dzieła ''Elementy'' Geometria euklidesowa – klasyczna odmiana geometrii opisana po raz pierwszy przez Euklidesa w dziele Elementy (z IV w. p.n.e.). Zebrał on całąówczesnąwiedzę matematycznąznanąGrekom, dziś jego dzieło przedstawia się jako pierwsząznanąaksjomatyzację w historii matematyki.
Nowy!!: Logika matematyczna i Geometria euklidesowa · Zobacz więcej »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (ur. 3 marca 1845 w Petersburgu, zm. 6 stycznia 1918 w sanatorium w Halle) – niemiecki matematyk, profesor Uniwersytetu w Halle, laureat Medalu Sylvestera za rok 1904.
Nowy!!: Logika matematyczna i Georg Cantor · Zobacz więcej »
George Boole
George Boole (ur. 2 listopada 1815 w Lincoln, Anglia, zm. 8 grudnia 1864 w Ballintemple, hrabstwo Cork, Irlandia) – angielski matematyk i filozof, najbardziej znany z wprowadzenia metod algebraicznych do logiki, współtworząc logikę matematyczną.
Nowy!!: Logika matematyczna i George Boole · 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!!: Logika matematyczna i Giuseppe Peano · Zobacz więcej »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz, znany także pod nazwiskiem Leibnitz (ur. w Lipsku, zm. 14 listopada 1716 w Hanowerze) – niemiecki polihistor: prawnik, dyplomata, historyk i bibliotekarz, zajmujący się też filozofią, matematyką, fizykąteoretycznąi inżynieriąmechaniczną; doktor prawa i filozofii, przez większość kariery zatrudniony na dworze Księstwa Hanoweru.
Nowy!!: Logika matematyczna i Gottfried Wilhelm Leibniz · Zobacz więcej »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (ur. 8 listopada 1848 w Wismarze, zm. 26 lipca 1925 w Bad Kleinen) – niemiecki matematyk, logik i filozof, profesor matematyki w Jenie.
Nowy!!: Logika matematyczna i Gottlob Frege · Zobacz więcej »
Hans Hahn
Hans Hahn (ur. 27 września 1879 w Wiedniu, zm. 24 lipca 1934 tamże) – austriacki matematyk i filozof.
Nowy!!: Logika matematyczna i Hans Hahn · Zobacz więcej »
Helena Rasiowa
Helena Rasiowa, właśc.
Nowy!!: Logika matematyczna i Helena Rasiowa · Zobacz więcej »
Jan Łukasiewicz
III Zjazd Filozofów w Krakowie 24 września 1936. Od lewej: Zygmunt Zawirski, NN, Witold Rubczyński, Władysław Tatarkiewicz, Tadeusz Garbowski, Jan Łukasiewicz, Tadeusz Czeżowski, sekretarz zjazdu Marian Heitzman Jan Leopold Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski naukowiec i polityk; logik i filozof, rektor Uniwersytetu Warszawskiego, minister.
Nowy!!: Logika matematyczna i Jan Łukasiewicz · Zobacz więcej »
Jerzy Łoś (logik)
Jerzy Maria Michał Łoś (ur. 22 marca 1920 we Lwowie, zm. 1 czerwca 1998 w Warszawie) – polski logik, matematyk i ekonomista.
Nowy!!: Logika matematyczna i Jerzy Łoś (logik) · Zobacz więcej »
Kazimierz Kuratowski
Kazimierz Kuratowski, do roku 1921 Kazimierz Kuratow (ur. 2 lutego 1896 w Warszawie, zm. 18 czerwca 1980 tamże) – polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej, profesor zwyczajny związany z Uniwersytetem Warszawskim i Instytutem Matematycznym Polskiej Akademii Nauk (IM PAN).
Nowy!!: Logika matematyczna i Kazimierz Kuratowski · 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!!: Logika matematyczna i Kurt Gödel · Zobacz więcej »
Leszek Pacholski (ur. 1945)
Leszek Pacholski (ur. 11 lutego 1945 w Osnabrück) – polski naukowiec, profesor nauk matematycznych, logik, informatyk.
Nowy!!: Logika matematyczna i Leszek Pacholski (ur. 1945) · 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!!: Logika matematyczna i Logika · Zobacz więcej »
Lwowska szkoła matematyczna
alt.
Nowy!!: Logika matematyczna i Lwowska szkoła matematyczna · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: Logika matematyczna i Maszyna Turinga · Zobacz więcej »
Matematyk
lwowskiej szkoły matematycznej (1930) Matematyk (ze, mathēmatikós – matematyczny) – osoba ze znaczącąwiedząo matematyce, zwłaszcza używająca jej do pracy.
Nowy!!: Logika matematyczna i Matematyk · 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!!: Logika matematyczna i Matematyka · Zobacz więcej »
Monografia
Monografia – praca naukowa omawiająca jakieś zagadnienie w sposób wyczerpujący.
Nowy!!: Logika matematyczna i Monografia · Zobacz więcej »
Niemcy
Niemcy; Republika Federalna Niemiec, RFN (niem. Deutschland; Bundesrepublik Deutschland, BRD,.
Nowy!!: Logika matematyczna i Niemcy · Zobacz więcej »
Niesprzeczność
Niesprzeczność – brak sprzeczności teorii logicznej.
Nowy!!: Logika matematyczna i Niesprzeczność · Zobacz więcej »
Otton Nikodym
Otton Marcin Nikodym (ur. 3 sierpnia 1887 w Zabłotowie w Królestwie Galicji i Lodomerii, zm. 4 maja 1974 w Utica w USA) – polski matematyk mający wkład w rozwój teorii miary, analizy funkcjonalnej, równań różniczkowych i opisowej teorii mnogości.
Nowy!!: Logika matematyczna i Otton Nikodym · Zobacz więcej »
Paul Cohen
Paul Joseph Cohen (ur. 2 kwietnia 1934 w Long Branch, zm. 23 marca 2007 w Stanford) – amerykański matematyk, od 1964 roku profesor Uniwersytetu Stanforda.
Nowy!!: Logika matematyczna i Paul Cohen · Zobacz więcej »
Principia mathematica
Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913.
Nowy!!: Logika matematyczna i Principia mathematica · Zobacz więcej »
Problem stopu
Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.
Nowy!!: Logika matematyczna i Problem stopu · Zobacz więcej »
Przewód doktorski
Przewód doktorski – ogół postępowania w trakcie nadawania stopnia naukowego doktora nauk.
Nowy!!: Logika matematyczna i Przewód doktorski · Zobacz więcej »
Roman Sikorski
Roman Sikorski (ur. 11 lipca 1920 w Mszczonowie, zm. 12 września 1983 w Warszawie) – polski matematyk, profesor Uniwersytetu Warszawskiego i Instytutu Matematycznego PAN, członek rzeczywisty PAN, autor prac z logiki matematycznej, algebr Boole’a, topologii, funkcji rzeczywistych, analizy funkcjonalnej (teoria wyznacznikowa dla pewnego typu operatorów liniowych ograniczonych na przestrzeniach Banacha), oryginalne ujęcie teorii dystrybucji.
Nowy!!: Logika matematyczna i Roman Sikorski · Zobacz więcej »
Stanisław Leśniewski (1886–1939)
Grób Stanisława Leśniewskiego na cmentarzu Powązkowskim Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.
Nowy!!: Logika matematyczna i Stanisław Leśniewski (1886–1939) · Zobacz więcej »
Stanisław Mazur
Stanisław Mieczysław Mazur (ur. 1 stycznia 1905 we Lwowie, zm. 5 listopada 1981 w Warszawie) – polski matematyk, najbliższy współpracownik Stefana Banacha i jeden z głównych współtwórców lwowskiej szkoły matematycznej; wprowadził i rozwinął metody geometryczne w analizie funkcjonalnej oraz w 1938 zapoczątkował ogólnąteorię przestrzeni liniowo-topologicznych; jeden z czołowych specjalistów w zakresie teorii limesowalności (sumowalności) Poseł na Sejm Ustawodawczy (1947-1952) i Sejm PRL I kadencji z ramienia PZPR (z okręgu Lublin), członek KC PZPR.
Nowy!!: Logika matematyczna i Stanisław Mazur · Zobacz więcej »
Stanisław Ulam
Stanisław Marcin Ulam (ur. 13 kwietnia 1909 we Lwowie, zm. 13 maja 1984 w Santa Fe w stanie Nowy Meksyk) – polsko-amerykańskiW 1943 roku przyjął obywatelstwo USA.
Nowy!!: Logika matematyczna i Stanisław Ulam · Zobacz więcej »
Stefan Banach
Pomnik Stefana Banacha przed budynkiem przy ul. Reymonta 4 w Krakowie, gdzie w latach 1968–2008 mieścił się Instytut Matematyki Uniwersytetu Jagiellońskiego. Stefan Banach (ur. 30 marca 1892 w Krakowie, zm. 31 sierpnia 1945 we Lwowie) – polski matematyk, czołowy przedstawiciel lwowskiej szkoły matematycznej, profesor zwyczajny związany z Uniwersytetem Lwowskim, członek Polskiej Akademii Umiejętności (PAU).
Nowy!!: Logika matematyczna i Stefan Banach · Zobacz więcej »
Struktura matematyczna
Struktura matematyczna – pojęcie fundamentalne dla matematyki, definiowane jednak w rozmaity sposób, zależnie od teorii i kontekstu.
Nowy!!: Logika matematyczna i Struktura matematyczna · 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!!: Logika matematyczna i Teoria dowodu · Zobacz więcej »
Teoria miary
Teoria miary, teoria miary i całki – dział analizy matematycznej zajmujący się własnościami ogólnie rozumianych miar zbiorów.
Nowy!!: Logika matematyczna i Teoria miary · 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!!: Logika matematyczna i Teoria mnogości · Zobacz więcej »
Teoria modeli
Teoria modeli (nazywana też '''semantykąlogiczną''') – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.
Nowy!!: Logika matematyczna i Teoria modeli · Zobacz więcej »
Teoria pierwszego rzędu
Teoria pierwszego rzędu (lub system dedukcyjny) – zbiór formuł zdaniowych T danego języka pierwszego rzędu, spełniający następujący warunek: gdzie CnL(T) to zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych T. Kategoria:Logika matematyczna.
Nowy!!: Logika matematyczna i Teoria pierwszego rzędu · Zobacz więcej »
Teoria rekursji
Teoria rekursji – dział logiki matematycznej, którego początki sięgająlat trzydziestych XX wieku.
Nowy!!: Logika matematyczna i Teoria rekursji · Zobacz więcej »
Thoralf Skolem
thumbAlbert Thoralf Skolem (ur. 23 maja 1887 w Sandsvaer, zm. 23 marca 1963 w Oslo) – norweski matematyk, znany przede wszystkim ze swych prac w dziedzinie logiki matematycznej i teorii mnogości.
Nowy!!: Logika matematyczna i Thoralf Skolem · Zobacz więcej »
Topologia
powierzchni wyróżnianych przez topologię, jako przykład rozmaitości jednostronnej (nieorientowalnej) z brzegiem torusem Butelka Kleina – powierzchnia jednostronna (nieorientowalna) bez brzegu Topologia (gr. τόπος (tópos), miejsce, okolica; λόγος (lógos), słowo, nauka) – dział matematyki wyższej zajmujący się badaniem przestrzeni topologicznych, czyli najogólniejszych przestrzeni, dla których można zdefiniować pojęcie przekształcenia ciągłego.
Nowy!!: Logika matematyczna i Topologia · Zobacz więcej »
Twierdzenia Gödla
Twierdzenia Gödla – wspólna nazwa dwóch rezultatów logiki matematycznej i metamatematyki.
Nowy!!: Logika matematyczna i Twierdzenia Gödla · Zobacz więcej »
Uniwersytet Wiedeński
Uniwersytet Wiedeński (pełna nazwa łacińska Alma Mater Rudolphina Vindobonensis) – publiczna uczelnia z siedzibąw Wiedniu w Austrii, która została założona 12 marca 1365 roku przez księcia Rudolfa IV.
Nowy!!: Logika matematyczna i Uniwersytet Wiedeński · Zobacz więcej »
Uniwersytet Wrocławski
Uniwersytet Wrocławski (UWr) – jeden z osiemnastu państwowych uniwersytetów klasycznych w Polsce, z siedzibąwe Wrocławiu, kształcący na kierunkach humanistycznych i ścisłych.
Nowy!!: Logika matematyczna i Uniwersytet Wrocławski · Zobacz więcej »
Wacław Sierpiński
Wacław Franciszek Sierpiński (ur. 14 marca 1882 w Warszawie, zm. 21 października 1969 tamże) – polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej i twórców polskiej szkoły matematycznej; wieloletni profesor Uniwersytetu Warszawskiego i przewodniczący rady naukowej Instytutu Matematycznego Polskiej Akademii Nauk (IM PAN).
Nowy!!: Logika matematyczna i Wacław Sierpiński · Zobacz więcej »
Warszawska szkoła matematyczna
Warszawska szkoła matematyczna – jeden z trzech ośrodków polskiej szkoły matematycznej reprezentowany przez grupę matematyków działających w latach 1915–1939 w środowiskach Uniwersytetu Warszawskiego i Politechniki Warszawskiej, którzy zajmowali się logikąmatematyczną, teoriąmnogości, topologią, teoriąfunkcji rzeczywistych.
Nowy!!: Logika matematyczna i Warszawska szkoła matematyczna · Zobacz więcej »
Włochy
Zdjęcie satelitarne Włoch Włochy, Republika Włoska – państwo położone w Europie Południowej, głównie na Półwyspie Apenińskim, będące członkiem Unii Europejskiej oraz wielu organizacji, m.in.: ONZ, NATO, należące do grupy siedmiu najbardziej uprzemysłowionych i bogatych państw świata – G7.
Nowy!!: Logika matematyczna i Włochy · Zobacz więcej »
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
ul. Banacha Wydział MIM UW od strony ul. Pasteura Wejście do laboratorium komputerowego Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (WMIM UW, MIMUW) – wydział Uniwersytetu Warszawskiego.
Nowy!!: Logika matematyczna i Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego · Zobacz więcej »
Zygmunt Janiszewski
Zygmunt Jan Janiszewski (ur. W niektórych publikacjach zawierających informacje o Janiszewskim (np. w E. Marczewski, Janiszewski Zygmunt (1888–1920), Polski Słownik Biograficzny, t. 10/4, z. 47, Wrocław 1964, s. 527) można znaleźć datę urodzin 12 czerwca. w Warszawie, zm. 3 stycznia 1920 we Lwowie) – polski matematyk, organizator nauki, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej, inicjator i twórca programu polskiej szkoły matematycznej.
Nowy!!: Logika matematyczna i Zygmunt Janiszewski · Zobacz więcej »
