• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Zupełność



    Podstrony: 1 [2] [3] [4]
    Przeczytaj także...
    Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.Przestrzeń metryczna – zbiór z zadaną na nim metryką, tj. funkcją, która określa odległość między każdą parą elementów tego zbioru.

    Zupełność – cecha obiektu, polegająca na tym, że nie trzeba niczego do niego dodawać. To znaczenie jest uściślane w wielu dziedzinach.

    Spis treści

  • 1 Zupełność w logice
  • 2 Zupełność w matematyce
  • 3 Zupełność w informatyce
  • 4 Odniesienia
  • 5 Przypisy
  • 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.Granica – pojęcie używane w matematyce określające zachowania funkcji, a w szczególności ciągu, gdy ich argumenty "zbliżają się" do pewnej wartości lub nieskończoności. Granice używane są w rachunku różniczkowo-całkowym i innych działach analizy matematyczej do definiowania pochodnych i ciągłości.


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



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

    Warto wiedzieć że... beta

    Niesprzeczna teoria logiczna to taka, która nie zawiera sprzeczności. Brak sprzeczności można zdefiniować semantycznie albo syntaktycznie. Definicja semantyczna postuluje, że teoria jest niesprzeczna, jeśli posiada model. Odpowiada to pojęciu niesprzeczności w tradycyjnej logice Arystotelesa, aczkolwiek w dzisiejszej logice matematycznej używa się w zamian określenia spełnialności. Definicja syntaktyczna mówi, że teoria jest niesprzeczna, jeśli nie ma takiej formuły P, że zarówno P jak i jej zaprzeczenie można wyprowadzić z aksjomatów danej teorii za pomocą powiązanego z nią systemu dedukcji.
    Leon Henkin (ur. 19 kwietnia 1929 w dzielnicy Brooklynie, dzielnicy Nowego Jorku, zm. 1 listopada 2006 w Oakland, Kalifornia) - logik, profesor na Uniwersytecie w Berkeley. Znany przede wszystkim jako autor uproszczenia dowodu twierdzenia o pełności klasycznego rachunku logicznego.
    Miara zupełna – miara μ {displaystyle mu } określona na przestrzeni mierzalnej ( Ω , A ) {displaystyle (Omega ,{mathcal {A}})} o tej własności, że
    Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego.
    Twierdzenie Gödla to jeden z najbardziej znanych rezultatów logiki matematycznej. W istocie znane są dwa różne twierdzenia Gödla: pierwsze z nich to twierdzenie o niezupełności, drugie zaś to jego wniosek nazywany też twierdzeniem o niedowodliwości niesprzeczności. Oba twierdzenia zostały udowodnione w 1931 roku przez austriackiego matematyka i logika Kurta Gödla. Uważa się również, że twierdzenia te dają negatywną odpowiedź na drugi problem Hilberta, i w ten sposób mają spore znaczenie w filozofii matematyki. Oprócz rozpatrywanych w tym artykule twierdzeń, Gödel udowodnił też twierdzenie o istnieniu modelu i twierdzenie o nierozstrzygalności (patrz: teoria, struktura matematyczna).
    Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).
    Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – amerykański matematyk i logik polskiego pochodzenia.

    Reklama

    Czas generowania strony: 0.031 sek.