AE i modele zamierzone

Podobne dokumenty
Wstęp do Matematyki (4)

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

Aksjomaty ekstremalne i modele zamierzone teorii. Jerzy Pogonowski Zakład Logiki Stosowanej Uniwersytet im. Adama Mickiewicza w Poznaniu

AKSJOMATY EKSTREMALNE I MODELE ZAMIERZONE TEORII

Argumenty z intuicji matematycznej

Logika Matematyczna (1)

Równoliczność zbiorów

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

Intuicja Matematyczna

Logika Matematyczna (1)

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

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

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

Zasady krytycznego myślenia (1)

Matematyka jest logiką nieskończonego

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

Wstęp do Matematyki (2)

NIEWYRAŻALNA TESKNOTA ZA MODELEM ZAMIERZONYM

RACHUNEK PREDYKATÓW 7

O pewnych związkach teorii modeli z teorią reprezentacji

Liczby Rzeczywiste. Ciągi. Szeregi. Rachunek Różniczkowy i Całkowy Funkcji Jednej Zmiennej.

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

Rekurencyjna przeliczalność

Naukoznawstwo (Etnolingwistyka V)

Struktury formalne, czyli elementy Teorii Modeli

Naukoznawstwo (Etnolingwistyka V)

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

Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat)

Początki informatyki teoretycznej. Paweł Cieśla

020 Liczby rzeczywiste

Zadania z forcingu. Marcin Kysiak. Semestr zimowy r. ak. 2002/2003

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

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

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

Wstęp do Matematyki (1)

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

Aksjomaty ekstremalne

Wstęp do Matematyki (3)

ZALICZENIE WYKŁADU: 30.I.2019

LOGIKA WSPÓŁCZESNA (3): METALOGIKA

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

Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń

Rachunek prawdopodobieństwa Rozdział 2. Aksjomatyczne ujęcie prawdopodobieństwa

Teoria miary. Matematyka, rok II. Wykład 1

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

Robert Kowalczyk. Zbiór zadań z teorii miary i całki

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

Eliza Wajch, Geometria z Topologią, wykład 1, 2012/2013

Podstawy metod probabilistycznych. dr Adam Kiersztyn

o. prof. Dr hab. Piotr Liszka CMF

Analiza matematyczna / Witold Kołodziej. wyd Warszawa, Spis treści

Definicje nieskończoności

Metody probabilistyczne

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

Opis efektów kształcenia dla programu kształcenia (kierunkowe efekty kształcenia) WIEDZA. rozumie cywilizacyjne znaczenie matematyki i jej zastosowań

Logika Matematyczna (10)

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

Zadania do Rozdziału X

Podstawowe struktury algebraiczne

1 Funktory i kwantyfikatory

KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)

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

KARTA KURSU. Kod Punktacja ECTS* 7

Wykład ze Wstępu do Logiki i Teorii Mnogości

PRZEWODNIK PO PRZEDMIOCIE

Logika Matematyczna (2,3)

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Zdzisław Dzedzej. Politechnika Gdańska. Gdańsk, 2013

AKSJOMATY EKSTREMALNE

Struktura danych. Sposób uporządkowania informacji w komputerze.

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

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

LOGIKA WSPÓŁCZESNA: PRZEGLAD ZAGADNIEŃ

LOGIKA I TEORIA ZBIORÓW

Notatki do wykładu. Trochę Teorii Modeli i Geometrii

Dlaczego matematyka jest wszędzie?

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

Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J.

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Dlaczego nie wystarczają liczby wymierne

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

Spis treści. Rozdział I. Wstęp do matematyki Rozdział II. Ciągi i szeregi... 44

WYKŁAD 3: METODA AKSJOMATYCZNA

Logika matematyczna wersja 0.94 (1 września 2005)

KARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory

KARTA PRZEDMIOTU. w języku polskim Analiza Matematyczna 1 w języku angielskim Mathematical Analysis 1 USYTUOWANIE PRZEDMIOTU W SYSTEMIE STUDIÓW

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

Logika Matematyczna 16 17

1.1. Rachunek zdań: alternatywa, koniunkcja, implikacja i równoważność zdań oraz ich zaprzeczenia.

Informacja o przestrzeniach Sobolewa

1. Funkcje monotoniczne, wahanie funkcji.

LOGIKA Dedukcja Naturalna

Topologia zbioru Cantora a obwody logiczne

PRZEWODNIK PO PRZEDMIOCIE

Zagadnienia na egzamin dyplomowy Matematyka

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski

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

Transkrypt:

AE i modele zamierzone Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 PKK, 3XII2010 Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 1 / 17

Wstęp Czy już teraz warto wyjść? Czy teorie matematyczne jednoznacznie [strukturalnie, semantycznie] wyznaczają to, o czym mówią? Wskażemy aksjomaty ekstremalne sformułowane w tym celu. Rozważymy przykłady dotyczące: rozumienia pojęcia liczby [groza wielokropka]; ciągłości oraz kontinuum [aporie nieskończonej podzielności]; zbiorów, kolekcji, mnogości, klas [pułapki pozaskończoności]. Kurt Gödel o percepcji obiektów matematycznych. Intuicja. Paradoksy. Porządek logiczny a porządek rozwoju poznawczego. Matematyka Braci Mniejszych. Dla kogo dostępna jest Nieskończoność? Czy religie finitarne są banalne? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 2 / 17

Wstęp Mrzonki epistemologiczne Gedankenexperimente Nie lękajmy się zapytać: czy nasza matematyka jest również matematyką innych inteligencji? Ameby w oceanach. Rozumne kleksy. Chmurzaki w chmurach. Jaką topologię uznają za naturalną? Czy potrafią pisać bajki o bryłach sztywnych, niedostępnych im zmysłowo? Systemy liczbowe o nieprzemiennych operacjach arytmetycznych. Komu najłatwiej rachować na kwaternionach? Czy operowanie nieskończonością aktualną daje korzyści ewolucyjne? Dlaczego od początku faworyzujemy logikę klasyczną (a nie np. intuicjonistyczną lub wielowartościową)? Zdania niezależne od aksjomatów w podstawach matematyki. Ziemianie przyjmują AC, Marsjanie AD. Czyja matematyka jest trafna? On wierzy w CH, ona w CH; jak mają wychować potomstwo? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 3 / 17

Wstęp Mrzonki epistemologiczne Podmiot poznający: aproksymacja logiczna Najbardziej zgrzebna logiczna idealizacja podmiotu poznającego może zakładać, że dysponuje on: mocą wyrażania: językiem, regułami składni i semantyki; bazą założeniową: zespołem akceptowanych przekonań; mocą dedukcyjną: regułami uznawania wniosków z przesłanek. Kolejno, zakładać można, że: posiada on jakieś moce obliczeniowe; jest zdolny nie tylko do reprezentowania swojego otoczenia, ale również do jego zmian; ma system preferencji, pozwalający wartościować przekonania i działania, a więc także formułować cele; jest samoświadomy, posiada możliwość refleksji nad własnymi przekonaniami. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 4 / 17

Wstęp Trochę logiki Teorie, modele, aksjomaty ekstremalne Modele izomorficzne: nieodróżnialność budowy (struktury algebraicznej). Modele elementarnie równoważne: nieodróżnialność semantyczna (względem tego, co da się powiedzieć w teorii). Teorie kategoryczne (w mocy κ): mają wszystkie modele (mocy κ) izomorficzne. Teorie zupełne: mają wszystkie modele elementarnie równoważne. Model zamierzony: ten spośród wszystkich modeli, z myślą o którym była ona budowana (pojęcie pragmatyczne!). Aksjomat ekstremalny: stwierdza, że model jest pod określonym względem minimalny bądź maksymalny. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 5 / 17

Wstęp Trochę logiki Moc wyrażania i moc dedukcyjna Klasyczna logika pierwszego rzędu FOL ma znane ( dobre ) własności: Pełność: tezy pokrywają się z tautologiami. Zwartość: jeśli każdy skończony podzbiór T ma model, to T ma model. Löwenheim-Skolem: jeśli T ma model, to ma model przeliczalny. FOL ma nikczemnie mizerną moc wyrażania (nie definiuje np. skończoności, ciągłości; są to więc pojęcia pozafologiczne). Logika drugiego rzędu, logiki infinitarne, logiki z uogólnionymi kwantyfikatorami mają dużą moc wyrażania, lecz z reguły gorszą od FOL moc dedukcyjną (zależną np. od zakładanej ontologii). Którą logikę wybierze podmiot poznający będący matematykiem? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 6 / 17

Aksjomat indukcji Urok obliczeń rekurencyjnych i klątwa skończoności Moc i ograniczenia arytmetyki Aksjomatyczne systemy arytmetyki. Arytmetyka Peana (PA). Schemat indukcji jako aksjomat ekstremalny (minimalności). Czy sieć FOL łowi dokładnie prawdziwe liczby naturalne? Matematyczne reprezentacje intuicyjnego pojęcia obliczalności. Matematyczna struktura Nieobliczalnego. Przy założeniu niesprzeczności PA zachodzą znane kognitywistom: Twierdzenie Gödla-Rossera (o niezupełności PA). Twierdzenie Gödla (o niedowodliwości niesprzeczności PA w PA). Twierdzenie Tarskiego (o niedefiniowalności w PA predykatu prawdy arytmetycznej). Dowód niesprzeczności PA otrzymujemy w systemach mocniejszych od PA. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 7 / 17

Aksjomat indukcji Guliwer w Krainie Olbrzymów Modele arytmetyki Model standardowy PA. Reprezentacja w teorii mnogości. Modele niestandardowe (otrzymywane np. na mocy argumentu ze zwartości albo konstrukcji ultraproduktu lub drzewa rozszerzeń PA). PA ma kontinuum wzajemnie elementarnie nierównoważnych (a więc także nieizomorficznych) modeli przeliczalnych. W każdej mocy κ PA ma 2 κ nieizomorficznych modeli. Jest teorią dziką. Wszystkie przeliczalne niestandardowe modele PA mają ten sam typ porządkowy: ω + (ω + ω) η. Twierdzenie Tennenbauma. Model standardowy PA jest jej jedynym modelem rekurencyjnym. Model standardowy PA jest modelem pierwszym. Jest jedynym dobrze uporządkowanym modelem PA. To jednak ustalenia czynione w metajęzyku, a nie w samej PA. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 8 / 17

Ciągłość Guliwer w Krainie Liliputów Kontinuum geometryczne Ujrzenie ducha burzy twój harmonijny obraz świata: szok (odkrycia? stworzenia?) niewymierności. Aporie dotyczące pojęć: ciągłości oraz kontinuum. Nullum continuum ex athomis integrari. Czy kontinuum składa się (jest scalone) z punktów czy też z nieskończonych kontinuów? Czy mamy jakikolwiek dowód na to, że czas, przestrzeń, stopnie intensywności cech mają naturę ciągłą? Czy ciągłość mogłaby być tylko kategorią subiektywną, projekcją umysłu, jego swobodnym wytworem (reprezentowanym przez ciągłe struktury matematyczne)? Mózg, umysł, program komputerowy: struktury dyskretne? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 9 / 17

Ciągłość Algebra Liczby rzeczywiste Metody konstrukcji systemów liczbowych: genetyczna oraz aksjomatyczna. Ewolucja pojęcia funkcji. Program arytmetyzacji analizy matematycznej. Postacie aksjomatu ciągłości (aksjomatu maksymalności dla liczb rzeczywistych). Ujęcie Dedekinda: przekroje zbioru liczb wymiernych odpowiadają liczbom rzeczywistym. Wymagane teorie: liczb wymiernych oraz mnogości. Wielość definicji liczb rzeczywistych: Cantor, Dedekind, Méray, Weierstrass, Heine, Weber, Hilbert, Tarski, Hoborski, teoria ciał, Conway,... Inne ważne ciała (liczb): algebraicznych, zespolonych, p-adycznych, kwaternionów, oktaw Cayleya. Twierdzenie Ostrowskiego o normach na liczbach wymiernych. Analiza niestandardowa: matematyczna reprezentacja wielkości nieskończenie małych. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 10 / 17

Ciągłość Algebra Twierdzenia o izomorfizmie (w formie uproszczonej) Niech: R = liczby rzeczywiste, C = liczby zespolone, H = kwaterniony, O = oktoniony (z odpowiednią strukturą zakładaną każdorazowo poniżej). Twierdzenie Frobeniusa. Każda łączna algebra z dzieleniem nad R jest izomorficzna z: R, C lub H. Twierdzenie Hurwitza. Każda unormowana algebra z dzieleniem jest izomorficzna z: R, C, H lub O. Twierdzenie Ostrowskiego. Każde ciało zupełne względem normy archimedesowej jest izomorficzne z R lub C, a norma jest równoważna ze zwykłą wartością bezwzględną. Twierdzenie Pontriagina. Każde spójne lokalnie zwarte ciało topologiczne jest izomorficzne z: R, C lub H. 1,2,4,8 Twierdzenie (Bott, Milnor, Kervaire). Każda algebra z dzieleniem nad R ma wymiar: 1, 2, 4 lub 8. Twierdzenie Hopfa. Każda przemienna algebra z dzieleniem nad R ma wymiar 2. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 11 / 17

Ciągłość Geometria Systemy geometrii i ich modele W pierwszych wydaniach Grundlagen der Geometrie Davida Hilberta aksjomat zupełności formułowany był następująco: Elementy (punkty, proste, płaszczyzny) systemu geometrii tworzą system, który nie może zostać rozszerzony bez jednoczesnego naruszenia pozostałych aksjomatów, tj. nie można dodać do tego systemu punktów, prostych i płaszczyzn innego systemu przedmiotów tak, aby powstały system spełniał wszystkie pozostałe aksjomaty. Aksjomat ten został później zastąpiony przez aksjomat ciągłości. System Hilberta jest kategoryczny (ale nie jest elementarny), podobnie jak system z Podstaw geometrii Borsuka i Szmielew. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 12 / 17

Ciągłość Geometria Systemy geometrii i ich modele System geometrii euklidesowej (z uzupełniami Pascha i Hilberta) jest wyróżniony ze względów historycznych. Czy także ze względów poznawczych? System geometrii elementarnej Tarskiego jest zupełny i rozstrzygalny. Mamy w nim schemat aksjomatu ciągłości. Aksjomat ciągłości jest niezależny od pozostałych aksjomatów geometrii absolutnej: istnieje nieciągły jej model. System geometrii absolutnej nie jest kategoryczny, geometria hiperboliczna Łobaczewskiego jest kategoryczna. Jakie byłyby modele zamierzone systemów geometrii ślepych podmiotów poznających, pozbawionych zmysłu dotyku? Albo cyklopów nieczułych na dotyk? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 13 / 17

Teoria mnogości Aksjomaty ograniczenia Odrzucenie aksjomatów ograniczenia Aksjomat ograniczenia Fraenkla: nie ma innych zbiorów niż te, których istnienie da się udowodnić z aksjomatów teorii mnogości. Możliwe rozumienia (tajemniczego!) pojęcia: rodzina wszystkich podzbiorów danego zbioru. Hierarchia kumulatywna V a hierachia zbiorów konstruowalnych L. Aksjomat konstruowalności Gödla: wszystkie zbiory są konstruowalne. Konsekwencje aksjomatu konstruowalności: aksjomat wyboru, uogólniona hipoteza kontinuum, istnienie zbiorów niemierzalnych w sensie Lebesgue a. Zdania sprzeczne z aksjomatem konstruowalności. Krytyka aksjomatów ograniczenia. Obrona raju Cantora. Program Gödla: poszukiwanie aksjomatów maksymalności. Zasady odbicia. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 14 / 17

Teoria mnogości Aksjomaty maksymalności Modele teorii mnogości. Duże liczby kardynalne Początek wyprawy w pozaskończoność: pierwsza, druga, trzecia, czwarta,... nieskończoność, liczby nieosiągalne, liczby mierzalne,... Rodzaje silnych aksjomatów nieskończoności. Metoda wymuszania. Obfitość zdań niezależnych od aksjomatów ZF. Tajemnice zbioru wszystkich liczb rzeczywistych. Teoria mnogości ZF dziedziczy (po PA) wyniki dotyczące niezupełności, niedowodliwości niesprzeczności, itd. Oznacza to, że ZF bardzo słabo określa pojęcia: zbioru oraz relacji należenia. Czym są modele ZF? Przy jakich założeniach istnieją? O jakich teoriach zbiorów można udowodnić ich kategoryczność? Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 15 / 17

Teoria mnogości Aksjomaty maksymalności Moc nowych aksjomatów: przykład Niech Z 0 = ZF bez aksjomatów: nieskończoności i zastępowania. Jej modelem jest V ω. Ten zbiór istnieje na mocy aksjomatu nieskończoności. Z 0 jest teorią zbiorów skończonych. Niech Z 1 = Z 0 + aksjomat nieskończoności. Jej modelem jest V ω+ω. Ten zbiór istnieje na mocy aksjomatu zastępowania. W Z 1 dowodzi się, że Z 0 jest niesprzeczna. Niech Z 2 = Z 1 + aksjomat zastępowania. Jej modelem jest V κ, gdzie κ jest liczbą nieosiągalną. W Z 2 dowodzi się, że Z 1 jest niesprzeczna. Niech Z 3 = Z 2 + istnieje liczba nieosiągalna. W Z 3 dowodzi się, że Z 2 jest niesprzeczna. I tak dalej. Wzorca do formułowania jeszcze silniejszych aksjomatów dostarczają postulaty istnienia nietrywialnych włożeń elementarnych całej hierarchii kumulatywnej V w pewne klasy przechodnie M. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 16 / 17

Koniec Zermelo: Matematyka jest logiką Nieskończonego Skończoność jest patologią. Umysł ma (pewien) dostęp do Nieskończonego, Nieobliczalnego, Nierozstrzygalnego. Umysł jest nawet w stanie określić granice tego dostępu. Czy Giordano Bruno był kognitywistą-marzycielem? Będąc człowiekiem, nie jesteś bliższy nieskończoności, niż gdybyś był mrówką. Ale też nie jesteś dalszy, niż gdybyś był ciałem niebieskim. Jerzy Pogonowski (MEG) AE i modele zamierzone 4 PKK, 3XII2010 17 / 17