Twierdzenia Gödla. Jerzy Pogonowski. Funkcje rekurencyjne. Zakład Logiki Stosowanej UAM

Podobne dokumenty
Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM

Naukoznawstwo (Etnolingwistyka V)

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Metody dowodzenia twierdzeń i automatyzacja rozumowań Na początek: teoria dowodu, Hilbert, Gödel

Początki informatyki teoretycznej. Paweł Cieśla

Logika i teoria mnogości Wykład Sformalizowane teorie matematyczne

Maszyny logiczne Smullyana

Rekurencyjna przeliczalność

Metalogika (8) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Zasady krytycznego myślenia (1)

Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność

Wstęp do Matematyki (4)

Elementy logiki i teorii mnogości

Struktury formalne, czyli elementy Teorii Modeli

Logika Matematyczna (1)

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

TEZA CHURCHA A TWIERDZENIE GÖDLA

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

RACHUNEK PREDYKATÓW 7

Dowody założeniowe w KRZ

Logika Matematyczna (1)

Równoliczność zbiorów

Arytmetyka pierwszego rz du

AE i modele zamierzone

II Matematyka 2 stopnia( 3W). Logika i podstawy matematyki. Janusz Czelakowski. Wykład 8. Arytmetyka

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Wstęp do Matematyki (2)

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

Metalogika (12) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Po Co Humanistce Logika Gödla-Löba?

Semiotyka logiczna (12)

Podstawowe Pojęcia. Semantyczne KRZ

Logika Matematyczna. Zadania Egzaminacyjne, 2007

WYKŁAD 3: METODA AKSJOMATYCZNA

PRZEWODNIK PO PRZEDMIOCIE

Drzewa Semantyczne w KRZ

Logika Matematyczna (I JiIN UAM)

Metalogika Wstęp. Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Logika Matematyczna (2,3)

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

TWIERDZENIA LIMITACYJNE 1. Roman Murawski Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki

Lista egzaminacyjna zadań z matematycznych podstaw informatyki, wersja 3.

Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011

Imię i nazwisko:... OBROŃCY PRAWDY

Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.

Definicje nieskończoności

Dowód pierwszego twierdzenia Gödela o. Kołmogorowa

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

LOGIKA I TEORIA ZBIORÓW

Dialog z przyroda musi byc prowadzony w jezyku matematyki, w przeciwnym razie przyroda nie odpowiada na nasze pytania.

Wstęp do Matematyki (1)

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Maszyny Turinga. Jerzy Pogonowski. Funkcje rekurencyjne. Zakład Logiki Stosowanej UAM

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Logika matematyczna wersja 0.94 (1 września 2005)

NIEWYRAŻALNA TESKNOTA ZA MODELEM ZAMIERZONYM

ALFRED TARSKI. Życie i logika Kalendarium. Joanna Golińska-Pilarek. Marian Srebrny.

LOGIKA Dedukcja Naturalna

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań

Logika Matematyczna 16 17

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca Imię i Nazwisko:...

Logika Matematyczna (1-3) Zadania

Informacje ogólne. Wstęp do współczesnej semantyki. Lingwistyka komputerowa

Naukoznawstwo (Etnolingwistyka V)

Rachunek predykatów. Formuły rachunku predykatów. Plan wykładu. Relacje i predykaty - przykłady. Relacje i predykaty

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

DODATEK 1: Wtedy h(α) = 1 oraz h(β) = 0. Jak pamiętamy ze szkoły, obraz sumy zbiorów jest sumą obrazów tych zbiorów. Mamy zatem:

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Podstawy Sztucznej Inteligencji (PSZT)

Matematyka jest logiką nieskończonego

Antynomia Russella i twierdzenie Gödla jako logika absolutnego 1

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Twierdzenie Gödla a filozofia umysłu. W sprawie pewnej dwuznaczności argumentu Lucasa

WYKŁAD 2: PRELIMINARIA LOGICZNE

Logika Matematyczna (10)

Definicja: alfabetem. słowem długością słowa

Matematyka ETId Elementy logiki

Intuicja Matematyczna

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:

LOGIKA WSPÓŁCZESNA (3): METALOGIKA

Argumenty z intuicji matematycznej

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Schematy Piramid Logicznych

Co to są liczby naturalne i czemu ich nie ma?! Adam Kolany

Indukcja matematyczna

O pewnych związkach teorii modeli z teorią reprezentacji

LOGIKA Klasyczny Rachunek Zdań

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI

INFORMATYKA a FILOZOFIA

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

Transkrypt:

Twierdzenia Gödla Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 1 / 21

Wprowadzenie Plan na dziś Plan na dziś: Przypomnienie: konstrukcja zdania Gödla; Twierdzenie Rossera; Szkic dowodu Twierdzenia Gödla o Niezupełności PA; Informacja o Twierdzeniu o Nieudowadnialności Niesprzeczności PA w PA; Twierdzenie Tarskiego; Informacja o teoriach rozstrzygalnych i nierozstrzygalnych; Refleksja: umysł, intuicja, dowód, prawda. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 2 / 21

Wprowadzenie Odnośniki bibliograficzne Precyzyjne przedstawienie omawianej dziś problematyki wykracza poza możliwości (czasowe) tego wykładu. Zainteresowanym polecam np. lekturę bardziej zaawansowanych pozycji: Hofstaedter, D.: Gödel, Escher, Bach: An Eternal Golden Braid. Hunter, G.: Metalogika. Krajewski, S.: Twierdzenie Gödla i jego interpretacje filozoficzne. Murawski, R. Funkcje rekurencyjne i elementy metamatematyki. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 3 / 21

Wprowadzenie Odnośniki bibliograficzne Polecam także znakomite książki z zagadkami logicznymi, w których popularyzuje się wiedzę na temat metalogiki i jej zastosowań: Smullyan, R.: Jaki jest tytuł tej książki? Smullyan, R.: Dama czy tygrys? Smullyan, R.: Szatan, Cantor i nieskończoność. Smullyan, R.: Przedrzeźniać przedrzeźniacza. Smullyan, R.: Na zawsze nierozstrzygnięte. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 4 / 21

Zdanie Gödla Zdanie Gödla Przypominamy, że można pokazać, że formuły dow(x, y) oraz podst(x, y) = z dają się precyzyjnie określić w PA tak, aby: dow(m, n) wyrażała fakt, że ciąg formuł o numerze m jest dowodem formuły o numerze n; w konsekwencji, x dow(x, n) stwierdzała, że formuła o numerze n jest twierdzeniem PA; podst(m, n) = r stwierdzała, że r jest numerem formuły otrzymanej z formuły (o jednej zmiennej wolnej) o numerze n przez podstawienie w miejsce tej zmiennej liczebnika m. Nieważne, jak skomplikowane są formuły dow(x, y) oraz podst(x, y) = z; ważne, że wyrażane przez nie pojęcia są obliczalne. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 5 / 21

Twierdzenie Rossera Twierdzenie Rossera Niech T będzie dowolną teorią (pierwszego rzędu) o rekurencyjnym zbiorze aksjomatów zawierającą Arytmetykę Peana PA. Twierdzenie Rossera. Jeśli T jest niesprzeczna, to: 1 Istnieje zdanie A języka teorii T, takie, że: 1 A jest niedowodliwe w T. 2 A jest niedowodliwe w T. 2 T jest nierozstrzygalna. 3 T jest niezupełna. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 6 / 21

Twierdzenie Rossera Twierdzenie Rossera Dowód Twierdzenia Rossera. Niech god(y) będzie skrótem dla formuły x dow(x, podst(y, y)) oraz niech n będzie numerem formuły god(y). Wtedy: formuła god(n) stwierdza, że formuła o numerze podst(n, n) nie ma dowodu. Ale podst(n, n) jest właśnie numerem formuły god(n). Widać więc, że formuła god(n) stwierdza o sobie samej, że nie jest twierdzeniem. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 7 / 21

Twierdzenie Rossera Twierdzenie Rossera Zatem: formuła god(n) jest prawdziwa wtedy i tylko wtedy, gdy podst(n, n) jest numerem formuły nie mającej dowodu, tzn. wtedy i tylko wtedy, gdy god(n) nie ma dowodu. Gdyby więc god(n) miała dowód, to byłaby nieprawdziwa, a więc w teorii T dałoby się udowodnić formułę nieprawdziwą, co jest sprzeczne z założeniem, że T jest niesprzeczna. Stąd: formuła god(n) jest prawdziwa, lecz nie posiada dowodu. Z prawdziwości god(n) wynika, ż god(n) jest fałszywa. Stąd i z niesprzeczności T otrzymujemy, że również god(n) nie ma dowodu. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 8 / 21

I Twierdzenie Gödla ω-niesprzeczność Niech teoria T zawiera w swoim języku nazwy dla wszystkich liczb naturalnych (np. liczebniki, określone powyżej). Teoria T jest ω-niesprzeczna, gdy dla dowolnej formuły ϕ(x) jej języka: jeśli T ϕ(0), T ϕ(1), T ϕ(2),... to T non x ϕ(x). Własność ω-niesprzeczności jest silniejsza od zwykłej niesprzeczności: każda ω-niesprzeczna teoria jest także niesprzeczna (ale nie na odwrót). Teorie, które nie są ω-niesprzeczne nazywamy ω-sprzecznymi. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 9 / 21

I Twierdzenie Gödla I Twierdzenie Gödla I Twierdzenie Gödla. Jeśli Arytmetyka Peana PA jest ω-niesprzeczna, to: 1 Istnieje zdanie A języka PA, takie, że: 1 A jest niedowodliwe w PA. 2 A jest niedowodliwe w PA. 2 PA jest nierozstrzygalna. 3 PA jest niezupełna. Uwaga. Założenie ω-niesprzeczności potrzebne jest jedynie dla dowodu punktu 1.2. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 10 / 21

I Twierdzenie Gödla Dowód I Twierdzenia Gödla Szkic dowodu. Dowód przebiega tak samo, jak dowód Twierdzenia Rossera, z wyjątkiem punktu 1.2. Pokazaliśmy już, że god(n) nie jest twierdzeniem PA. Zatem żadna liczba naturalna m nie jest numerem dowodu formuły god(n). Dla żadnej liczby naturalnej m nie zachodzi zatem dow(m, n). Ponieważ formuła dow(x, y) mocno reprezentuje w PA relację dow, więc dla każdej liczby naturalnej m zachodzi: PA dow(m, n). Z ω-niesprzeczności PA mamy wtedy: PA non x dow(x, n), czyli PA non x dow(x, n). Ponieważ god(n) jest formułą x dow(x, n), więc oznacza to, że: PA non god(n). Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 11 / 21

II Twierdzenie Gödla II Twierdzenie Gödla Przypomnijmy, że Con PA oznacza formułę: tw( 0 = 1 ), wyrażającą fakt niesprzeczności PA. II Twierdzenie Gödla. Jeśli PA jest niesprzeczna, to PA non Con PA. Twierdzenie to mówi zatem, że jeśli Arytmetyka Peana PA jest niesprzeczna, to faktu tego nie można dowieść w PA. Nie możemy w tym kursie przedstawić dowodu tego twierdzenia, ze względu na jego skomplikowanie. Zainteresowanych odsyłam do cytowanej literatury przedmiotu. Uwaga. Można udowodnić, że zdanie Con PA (wyrażające niesprzeczność PA) jest równoważne na gruncie PA ze zdaniem Gödla (wyrażającym swoją własną niedowodliwość). Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 12 / 21

Twierdzenie Tarskiego Twierdzenie Tarskiego Twierdzenie Tarskiego. Prawdziwość formuł teorii T nie jest definiowalna w T. Uwaga: definicja prawdy (autorstwa Alfreda Tarskiego), którą poznaliście na kursie logiki, była sformułowana w metajęzyku języku istotnie silniejszym od języka przedmiotowego. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 13 / 21

Twierdzenie Tarskiego Twierdzenie Tarskiego Dowód Twierdzenia Tarskiego. Przypuśćmy, że język teorii T zawiera formułę pr(x) wyrażającą własność prawdziwości formuł tej teorii, tj. taką, że: pr(m) jest prawdziwa wtedy i tylko wtedy, gdy m jest numerem formuły prawdziwej języka teorii T. Pokażemy, że przypuszczenie to prowadzi do sprzeczności, a więc musi być odrzucone (w konsekwencji, dostajemy tezę Twierdzenia Tarskiego). Niech alf (x) będzie formułą: pr(podst(x, x)) oraz niech r będzie numerem formuły alf (x). Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 14 / 21

Twierdzenie Tarskiego Twierdzenie Tarskiego Wtedy podst(r, r) jest numerem formuły alf (r). Ale formuła alf (r) jest tożsama z formułą pr(podst(r, r)). Formuła alf (r) stwierdza, że formuła o numerze podst(r, r) jest fałszywa. Zatem alf (r) stwierdza o sobie samej, że jest fałszywa. Zatem formuła alf (r) jest prawdziwa wtedy i tylko wtedy, gdy formuła o numerze podst(r, r) jest nieprawdziwa. Ale liczba podst(r, r) jest właśnie numerem formuły alf (r). Stąd: alf (r) prawdziwa wtedy i tylko wtedy, gdy alf (r) fałszywa. SPRZECZNOŚĆ. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 15 / 21

Twierdzenie Tarskiego Uwagi historyczne Uwagi. Twierdzenie udowodnione w 1930 roku przez Gödla zakładało ω-niesprzeczność teorii T. Założenie to osłabił (do niesprzeczności T ) Rosser. Oba powyższe dowody wykorzystywały rozumowanie przekątniowe. Możliwe jest uprawianie metalogiki (metamatematyki) bez arytmetyzacji składni. Pokazał to niedawno Pan Profesor Andrzej Grzegorczyk, rozwijając oryginalne pomysły Alfreda Tarskiego dot. teorii konkatenacji. Ciekawostka prowincjonalna: Uniwersytet Poznański nie był zainteresowany zatrudnieniem Alfreda Tarskiego, jednego z największych logików wszystkich czasów. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 16 / 21

Teorie rozstrzygalne i nierozstrzygalne Rozstrzygalność i nierozstrzygalność Teorie rozstrzygalne. Teoria jest rozstrzygalna, gdy zbiór ng jej twierdzeń jest rekurencyjny. Przykłady: Teoria struktury N, S, +, 0 (Presburger). Teoria struktury N, S,, 0 (Skolem). Teoria struktury N, S, 0 (Herbrand). Teoria algebr Boole a (Tarski). Teoria liczb rzeczywistych, tj. teoria struktury R, 0, 1, S, +,, (Tarski). Teoria grup abelowych (Szmielew). Klasyczny monadyczny rachunek predykatów (Löwenheim, Skolem, Behmann). Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 17 / 21

Teorie rozstrzygalne i nierozstrzygalne Rozstrzygalność i nierozstrzygalność Teorie nierozstrzygalne. Teoria jest nierozstrzygalna, gdy zbiór ng jej twierdzeń nie jest rekurencyjny. Przykłady: Arytmetyka PA (Gödel). Teoria mnogości ZF (Tarski). Klasyczny Rachunek Predykatów (Church). Teoria krat (Tarski). Teoria struktury Q, +,, gdzie Q jest zbiorem wszystkich liczb wymiernych (J. Robinson). Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 18 / 21

Teorie rozstrzygalne i nierozstrzygalne Jak bardzo nierozstrzygalna jest PA? Zadajmy naiwne pytanie: czy dodanie do PA jako aksjomatu (prawdziwego!) zdania Gödla god(n) da w wyniku teorię rozstrzygalną? Odpowiedź jest negatywna: dla tak rozszerzonej teorii można zbudować kolejne zdanie Gödlowskie, w niej nierozstrzygalne, itd. Ogólniej, każda (niesprzeczna) teoria, w której są mocno reprezentowalne wszystkie zbiory rekurencyjne jest istotnie nierozstrzygalna, tzn. jest nierozstrzygalna i każde jej (tzw. proste) niesprzeczne rozszerzenie również jest nierozstrzygalne. W szczególności, PA jest istotnie nierozstrzygalna. Uzyskano wiele dalszych twierdzeń dotyczących aspektów nierozstrzygalności PA. Przytoczmy jeszcze jeden wynik natury semantycznej: PA ma 2 ℵ 0 modeli przeliczalnych wzajemnie elementarnie nierównoważnych. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 19 / 21

Umysł, intuicja, dowód, prawda Umysł, intuicja, dowód, prawda Oprócz treści (meta)matematycznej, przytoczone wyżej twierdzenia (a także liczne inne) mają także pewne implikacje natury filozoficznej. Tu ograniczymy się jedynie do kilku uwag, dotyczących następujących spraw: ω-reguła. Dowodliwość a prawdziwość. Praktyka matematyczna. Umysł a maszyna. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 20 / 21

Koniec I to już naprawdę koniec. Oczywiście, była to tylko garstka propedeutycznie traktowanych informacji. Na tyle nam pozwolono. Wspomnijcie kiedyś, że uczono Was o matematycznych reprezentacjach pojęcia obliczalności oraz o Wielkich Metatwierdzeniach Logicznych. Następne pokolenia studentek w Instytucie Językoznawstwa UAM prawdopodobnie nie będą mogły tego o sobie powiedzieć. Ale mamy też dobrą wiadomość. Zamiast tego kursu planujemy kurs Algorytmy i obliczanie. Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 21 / 21