• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Teoria modeli



    Podstrony: 1 [2] [3]
    Przeczytaj także...
    Robert Lawson Vaught (ur. 4 kwietnia 1926 w Alhambra – zm. 2 kwietnia 2002). Amerykański logik i matematyk. Jeden z twórców teorii modeli. Udowodnił równoważność twierdzenia Löwenheima-Skolema z aksjomatem wyboru.Grupa – jedna ze struktur algebraicznych: zbiór niepusty, na którym określono pewne łączne działanie dwuargumentowe wewnętrzne, dla którego istnieje element odwrotny do każdego elementu oraz element neutralny. Można powiedzieć, że grupą jest monoid, w którym każdy element ma element odwrotny. Dział matematyki badający własności grup nazywa się teorią grup.

    Teoria modeli (nazywana też czasem semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.

    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.Jerzy Maria Michał Łoś (ur. 22 marca 1920 we Lwowie, zm. 1 czerwca 1998 w Warszawie) – polski logik, matematyk i ekonomista.

    Spis treści

  • 1 Początki teorii modeli
  • 2 Wyodrębnienie jako dział logiki
  • 3 Rozwój teorii modeli
  • 4 Bibliografia


  • Podstrony: 1 [2] [3]



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

    Warto wiedzieć że... beta

    <|||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| - |||||||||| |||||||||| ||||||||||>,
    Saharon Shelah (hebr. שהרן שלח) (ur. 3 lipca 1945 w Jerozolimie), izraelski matematyk, laureat wielu nagród, w tym Nagrody Wolfa z matematyki w 2001 roku. Profesor matematyki na Uniwersytecie Hebrajskim w Jerozolimie i w Rutgers University (stan New Jersey).
    Struktura matematyczna (także model, system semantyczny, model semantyczny, dziedzina, struktura pierwszego rzędu) - w matematyce zbiór obiektów matematycznych połączonych w pewien system.
    Teoria mnogości lub inaczej: teoria zbiorów – dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.
    Aksjomat wyboru (ozn. AC od ang. Axiom of Choice) – jeden z aksjomatów teorii mnogości mówiący o możliwości skonstruowania zbioru (nazywanego selektorem) zawierającego dokładnie po jednym elemencie z każdego zbioru należącego do rodziny niepustych zbiorów rozłącznych.
    Moduł – struktura algebraiczna będąca uogólnieniem przestrzeni liniowej. Ponieważ grupy abelowe można postrzegać jako moduły nad pierścieniem liczb całkowitych, to teoria modułów znajduje zastosowanie w wielu działach algebry i innych dziedzinach matematyki.
    Alfred Tarski wł. Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski logik pracujący od 1939 r. w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy, uważany jest współcześnie za jednego z najwybitniejszych logików wszech czasów.

    Reklama