• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Logika matematyczna



    Podstrony: [1] [2] [3] 4
    Przeczytaj także...
    Austriacy – naród pochodzenia germańskiego, zamieszkujący głównie Austrię oraz włoski region Trydent-Tyrol Południowy. Ich językiem ojczystym jest język niemiecki – na terenie Austrii występuje kilka dialektów języka niemieckiego, a w powszechnym użyciu jest odrębny wariant tego języka (język niemiecki w Austrii). Dominującym wśród nich wyznaniem jest katolicyzm.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. Jego celem było sprowadzenie matematyki do logiki i wyprowadzenie twierdzeń tej pierwszej z układu aksjomatów i reguł wnioskowania.
    Przypisy
    1. Frege, Gottlob: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle, 1879.
    2. Hilbert, David: Grundlagen der Geometrie, 1899.
    3. Zermelo, Ernst: Untersuchungen über die Grundlagen der Mengenlehre. I. "Math. Ann." 65 (1908), s. 261-281.
    4. Gödel, Kurt: Über die Vollständigkeit des Logikkalküls. Rozprawa doktorska napisana pod kierunkiem Hansa Hahna. Uniwersytet Wiedeński, 1929.
    5. Gödel, Kurt: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. "Monatshefte für Mathematik und Physik" 38 (1931), s. 173-98
    6. Tarski, Alfred: Pojęcie prawdy w językach nauk dedukcyjnych, "Travaux de la Societe des Sciences et des Lettres de Varsovie", Classe III, no 34 (1933).
    7. Cohen, Paul: The independence of the continuum hypothesis. "Proc. Nat. Acad. Sci. U.S.A." 50 (1963), s. 1143-1148.
    8. Cohen, Paul J.: The independence of the continuum hypothesis. II. "Proc. Nat. Acad. Sci. U.S.A." 51 (1964), s. 105-110.
    9. Cohen, Paul J.: Set theory and the continuum hypothesis. W. A. Benjamin, Inc., New York-Amsterdam, 1966.
    10. Handbook of mathematical logic. Edytowane przez Jona Barwise'a we współpracy z H. J. Keislerem, K. Kunenem, Y. N. Moschovakisem and A. S. Troelstrą. "Studies in Logic and the Foundations of Mathematics", tom 90. North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. ISBN 0-7204-2285-X

    Linki zewnętrzne[]

  • Logika dla informatyków (materiały dydaktyczne MIMUW na studia informatyczne II stopnia)
  • Logika dla informatyków (skrypt prof. Leszka Pacholskiego z UWr)
  • Polskie piśmiennictwo z zakresu logiki matematycznej dostępne w Sieci (Katalog HINT)
  • Logika matematyczna w katalogu Open Directory Project
  • 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. Powstał pierwotnie w 1702 roku jako Leopoldina, a 24 sierpnia 1945 roku został przekształcony na polską uczelnię akademicką. Uczelnia swoimi tradycjami odwołuje się do niemieckich uczelni wrocławskich oraz Uniwersytetu Jana Kazimierza we Lwowie. Jest jedną z najważniejszych i najstarszych uczelni we Wrocławiu, na której studiuje blisko 31,6 tysięcy studentów.Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver, Kanada) – polski matematyk zajmujący się głównie podstawami matematyki, przedstawiciel warszawskiej szkoły matematycznej.


    Podstrony: [1] [2] [3] 4



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Teoria miary (zwana też teorią miary i całki) - dział analizy matematycznej zajmujący się własnościami ogólnie rozumianych miar zbiorów. Teoria miary bada σ-algebry, funkcje mierzalne oraz całki.
    Matematyk – uczony, którego badania naukowe dotyczą różnych dziedzin matematyki. Matematycy zajmują się wielkością, strukturą, przestrzenią i dynamiką.
    Stanisław Mieczysław Mazur (ur. 1 stycznia 1905 we Lwowie, zm. 5 listopada 1981 w Warszawie) – polski matematyk, poseł na Sejm PRL I kadencji z ramienia PZPR (z okręgu Lublin).
    Adolf Abraham Halevi Fraenkel (ur. 17 lutego 1891 r., zm. 15 października 1965 r.), znany jako Abraham Fraenkel, był niemiecko-izraelskim matematykiem.
    Zbiór formuł zdaniowych T danego języka pierwszego rzędu nazywamy teorią pierwszego rzędu (lub systemem dedukcyjnym) wtw T spełnia następujący warunek:
    Kurt Gödel (ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych.
    Włochy (Republika Włoska, wł. Italia, Repubblica Italiana) – państwo położone w Europie Południowej, na Półwyspie Apenińskim, będące członkiem wielu organizacji, m.in.: UE, NATO, należące do ośmiu najbardziej uprzemysłowionych i bogatych państw świata – G8.

    Reklama

    Czas generowania strony: 0.034 sek.