RUSSELŮV PARADOX RUSSELLŮV PARADOX



Podobné dokumenty
ČÁST PÁTÁ POZEMKY V KATASTRU NEMOVITOSTÍ

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Reálná čísla

R O Z S U D E K J M É N E M R E P U B L I K Y

1.7. Mechanické kmitání

R O Z S U D E K J M É N E M R E P U B L I K Y

Příprava na 1. čtvrtletní písemku pro třídu 1EB

Č.j. S056/2008/VZ-03935/2008/520/EM V Brně dne 7. března 2008

R O Z S U D E K J M É N E M R E P U B L I K Y

Databázové a informační systémy

Společné stanovisko GFŘ a MZ ke změně sazeb DPH na zdravotnické prostředky od

Pokyn D Sdělení Ministerstva financí k rozsahu dokumentace způsobu tvorby cen mezi spojenými osobami

Seriál: Management projektů 7. rámcového programu

VLÁDA ČESKÉ REPUBLIKY. Příloha k usnesení vlády ze dne 13. února 2013 č Stanovisko

Vyvažování tuhého rotoru v jedné rovině přístrojem Adash Vibrio

7. Domy a byty Charakteristika domovního fondu

a m1 a m2 a mn zobrazení. Operaci násobení u matic budeme definovat jiným způsobem.

R O Z S U D E K J M É N E M R E P U B L I K Y

Ploché výrobky z konstrukčních ocelí s vyšší mezí kluzu po zušlechťování technické dodací podmínky

Daňová partie. Aktuality z oblasti řešení daňových sporů. 5. května Finanční úřady nově jen v krajských městech

ŘÁD UPRAVUJÍCÍ POSTUP DO DALŠÍHO ROČNÍKU

4 DVOJMATICOVÉ HRY. Strategie Stiskni páku Sed u koryta. Stiskni páku (8, 2) (5, 3) Sed u koryta (10, 2) (0, 0)

GEOMETRICKÁ TĚLESA. Mnohostěny

obecně závazné vyhlášky o vedení technické mapy obce A. OBECNÁ ČÁST Vysvětlení navrhované právní úpravy a jejích hlavních principů

4.5.1 Magnety, magnetické pole

Zásady pro prodej bytových domů Městské části Praha 5

Smlouva na dodávku pitné vody

Metoda Lokální multiplikátor LM3. Lokální multiplikátor obecně. Ing. Stanislav Kutáček. červen 2010

R O Z S U D E K J M É N E M R E P U B L I K Y

JIHOČESKÝ KRAJ KRAJSKÝ ÚŘAD

2.2.2 Zlomky I. Předpoklady:

R O Z S U D E K J M É N E M R E P U B L I K Y

STUDNY a jejich právní náležitosti.

ROZSUDEK JMÉNEM REPUBLIKY

Obsah. Logická zkoumání

Všeobecné obchodní podmínky portálu iautodíly společnosti CZ-Eko s.r.o.

ČESKÁ REPUBLIKA USNESENÍ. Ústavního soudu

3. Polynomy Verze 338.

Stanovisko komise pro hodnocení dopadů regulace

R O Z S U D E K J M É N E M R E P U B L I K Y

TECHNICKÁ UNIVERZITA V LIBERCI

I. Objemové tíhy, vlastní tíha a užitná zatížení pozemních staveb

Vybrané změny v oblasti nemovitostí ve vztahu k energetice

ÚŘAD PRO OCHRANU HOSPODÁŘSKÉ SOUTĚŽE ROZHODNUTÍ. Č. j.: ÚOHS-S0740/2015/KS-40547/2015/840/MWi Brno

Matematický model kamery v afinním prostoru

1.2.5 Reálná čísla I. Předpoklady:

PŘIJÍMACÍ ŘÍZENÍ. Strana

Závěrečná zpráva o výsledku šetření

Modul Řízení objednávek.

SMLOUVA O POSKYTOVÁNÍ SOCIÁLNÍ SLUŽBY č.../2013

Řešení: Dejme tomu, že pan Alois to vezme popořadě od jara do zimy. Pro výběr fotky z jara má Alois dvanáct možností. Tady není co počítat.

Smlouva o dodávce pitné vody.

1 Matematické základy teorie obvodů

R O Z S U D E K J M É N E M R E P U B L I K Y

PRACOVNÍ DOKUMENT. CS Jednotná v rozmanitosti CS o situaci nezletilých osob bez doprovodu v Evropské unii. Zpravodajka: Nathalie Griesbeck

Cena p evodních cen transfer pricing Od té doby se událo mnohé závazného posouzení zp sobu, jakým byla vytvo

K části první (Práva obětí trestných činů a podpora subjektů poskytujících pomoc obětem trestných činů)

PRACOVNÍ SKUPINA PRO OCHRANU ÚDAJŮ ZŘÍZENÁ PODLE ČLÁNKU 29

Územní plánování, charakter intravilánu a osídlení obce Nosislav

Toto rozhodnutí nabylo právní moci dne Č. j. S133/2008/VZ-12160/2008/540/PV V Brně dne 2. července 2008

U S N E S E N Í. t a k t o :

R O Z S U D E K J M É N E M R E P U B L I K Y

R O Z S U D E K J M É N E M R E P U B L I K Y

Upíše-li akcie osoba, jež jedná vlastním jménem, na účet společnosti, platí, že tato osoba upsala akcie na svůj účet.

KOMISE EVROPSKÝCH SPOLEČENSTVÍ. Návrh NAŘÍZENÍ RADY

R O Z S U D E K J M É N E M R E P U B L I K Y

Česká republika NÁLEZ Ústavního soudu. Jménem republiky

Pardubický kraj Komenského náměstí 125, Pardubice SPŠE a VOŠ Pardubice-rekonstrukce elektroinstalace a pomocných slaboproudých sítí

Nový stavební zákon a související předpisy. Metodická pomůcka pro stavební úřady Zlínského kraje 2012

R O Z S U D E K J M É N E M R E P U B L I K Y

Názory na bankovní úvěry

Osvětlovací modely v počítačové grafice

Česká republika NÁLEZ Ústavního soudu. Jménem republiky

Těhotenský test pro zrakově postižené Tereza Hyková

VÝKLADOVÁ PRAVIDLA K RÁMCOVÉMU PROGRAMU PRO PODPORU TECHNOLOGICKÝCH CENTER A CENTER STRATEGICKÝCH SLUŽEB

Provoz a poruchy topných kabelů

Kočí, R.: Účelové pozemní komunikace a jejich právní ochrana Leges Praha, 2011

R O Z S U D E K J M É N E M R E P U B L I K Y

U S N E S E N Í. I. Elektronické dražební jednání se koná dne v 09:00:00 hodin, prostřednictvím elektronického systému dražeb na adrese:

ÚŘAD PRO OCHRANU HOSPODÁŘSKÉ SOUTĚŽE PŘÍKAZ. Č. j.: ÚOHS-S0922/2015/VZ-45149/2015/532/KSt Brno: 17. prosince 2015

NÁHRADA ŠKODY Rozdíly mezi odpov dnostmi TYPY ODPOV DNOSTI zam stnavatele 1) Obecná 2) OZŠ vzniklou p i odvracení škody 3) OZŠ na odložených v cech

2 Trochu teorie. Tab. 1: Tabulka pˇrepravních nákladů

R O Z S U D E K J M É N E M R E P U B L I K Y

O kritériu II (metodické okénko)

PARLAMENT ČESKÉ REPUBLIKY POSLANECKÁ SNĚMOVNA. VII. volební období 635/1

Zápis z jednání Rady města Milovice č. 3/2010 konaného dne od hodin v kanceláři starosty

MEZINÁRODNÍ AUDITORSKÝ STANDARD ISA 505 EXTERNÍ KONFIRMACE OBSAH

VNITŘNÍ NORMA (Směrnice) č. 4/2010

T A X N E W S NOVELA ZÁKONA O ÚČETNICTVÍ A ZMĚNA PROVÁDĚCÍ VYHLÁŠKY. Obsah čísla. Listopad Tax l Accounting l Payroll

ÚŘAD PRO OCHRANU HOSPODÁŘSKÉ SOUTĚŽE ROZHODNUTÍ

poslanců Petra Nečase, Aleny Páralové a Davida Kafky

Makroekonomie I. Přednáška 2. Ekonomický růst. Osnova přednášky: Shrnutí výpočtu výdajové metody HDP. Presentace výpočtu přidané hodnoty na příkladě

DIDAKTIKA PRAKTICKÉHO VYUČOVÁNÍ I.

Programy SFRB využijte co nejvýhodněji státní úvěr na opravu vašeho bytového domu.

STANDARD 3. JEDNÁNÍ SE ZÁJEMCEM (ŽADATELEM) O SOCIÁLNÍ SLUŽBU

Regenerace zahrady MŠ Neděliště

Uplatňování nařízení o vzájemném uznávání u předmětů z drahých kovů

Měření hustoty kapaliny z periody kmitů zkumavky

170/2010 Sb. VYHLÁŠKA. ze dne 21. května 2010

PROVÁDĚCÍ POKYNY K NAŘÍZENÍ Č. 1924/2006 O VÝŽIVOVÝCH A ZDRAVOTNÍCH TVRZENÍCH PŘI OZNAČOVÁNÍ POTRAVIN

Transkript:

RUSSELLŮV PARADOX Tím, kdo v podstatě sám založil celou teorii množin, byl německý matematik Georg Cantor. Rychle se ukázalo, že množiny, respektive třídy (pro naše účely nejsou rozdíly mezi oběma pojmy podstatné) jsou pro logiku tak základní a jsou s ní tak propojeny, že jakákoli snaha budovat matematiku na základech logiky nutně vedla k tomu, že byla budována i na axiomatickém základě teorie množin. Třída nebo množina jsou jednoduše souborem objektů, které navzájem nemusí mít žádný vztah. Může existovat například třída, která obsahuje všechny následující položky: každodenní seriály, které se vysílaly v roce 2003, Napoleonova bílého koně a pojem opravdové lásky. Objekty, které patří k určité třídě, se nazývají prvky této třídy. Většina tříd, s nimiž jsme se zřejmě někdy setkali, není prvkem sebe sama. Například třída všech sněhových vloček není sama sněhová vločka; třída všech starožitností není sama starožitnost, a tak dále. Některé třídy však prvky sebe samých jsou. Například třída všechno, co není starožitnost je prvkem sebe samé, jelikož rozhodně není starožitností. Také třída všech tříd je prvkem sebe samé, protože je očividně třídou. Jak je to ale s třídou všech tříd, které nejsou prvky sebe samých? 15 Označme si ji jako R. Je R prvkem sebe samé (R), nebo není? Je jasné, že R nemůže patřit k R, protože kdyby patřila, nesplnila by definici členství v R. Pokud by však R sama k sobě nepatřila, pak podle téže definice by musela být prvkem R. Stejně jako u situace s holičem tedy zjišťujeme, že třída R současně patří i nepatří k R, což je ovšem logický spor. Tak vypadal paradox, o němž Russell napsal Fregemu. Jeho antinomie podkopala celý proces, jímž by se daly určit třídy nebo množiny, takže byla pro Fregeho program smrtící ranou. Frege sice podnikl některé zoufalé pokusy o nápravu, úspěšný však nebyl. Důsledek byl katastrofální formální logika, která se měla stát pevným základem matematiky, byla najednou sama ohrožena ochromujícími rozpory. Zhruba v té době, kdy Frege rozvíjel svůj logický program, zkoušel italský matematik a logik Giuseppe Peano poněkud odlišný přístup. Peano chtěl založit aritmetiku na axiomatických základech. Jeho výchozím bodem proto byla formulace hutné a jednoduché sady axiomů. Jeho první tři axiomy zní: 1. Nula je číslo. 2. Následníkem každého čísla je rovněž číslo. 3. Žádná dvě čísla nemají stejného následníka. RUSSELŮV PARADOX 165

LOGICI: ÚVAHY NAD USUZOVÁNÍM Problém byl ovšem v tom, že i když Peanův axiomatický systém dovedl reprodukovat známé zákony aritmetiky (po zavedení dodatečných definic), nebylo v něm nic, co by identifikovalo jednotlivá přirozená čísla. Další krok uskutečnil Bertrand Russell. Tento britský logik trval na tom, že Fregeho původní myšlenka odvodit aritmetiku z logiky je i nadále správnou cestou. Ve snaze zdolat tento těžký úkol vytvořil Russell spolu s Alfredem Northem Whiteheadem (obrázek 50) neuvěřitelné mistrovské dílo logiky Obr. 50 Alfred North Whitehead. přelomová třísvazková Principia Mathematica. 16 Snad s výjimkou Aristotelova Organonu to bylo pravděpodobně nejvlivnější dílo v dějinách celé logiky (na obrázku 51 je titulní stránka prvního vydání). Russell a Whitehead v Principiích obhajovali názor, podle něhož je matematika v podstatě rozpracováním zákonů logiky a mezi oběma obory neexistuje jasná hranice. 17 Aby ovšem dospěli k vnitřně bezespornému popisu, museli nějakým způsobem vyřešit antinomie čili paradoxy (vedle Russellova parado- Obr. 51 První vydání Russelovy a Whiteheadovy knihy Principia Mathematica. 166

RUSSELŮV PARADOX xu se objevily ještě další). To vyžadovalo obratné žonglování s logickými pojmy. Russell tvrdil, že tyto paradoxy vznikají jen kvůli bludnému kruhu, v němž se pojmy definují ve vztahu ke třídám objektů, které samy v sobě obsahují definovaný pojem. Russell k tomu uvedl: Jestliže říkám,napoleon měl všechny vlastnosti, které dělají velkého generála, musím definovat,vlastnosti tak, aby nezahrnovaly to, co nyní říkám, to znamená, že vlastnost,mít všechny vlastnosti, které dělají velkého generála mezi vlastnosti v tomto smyslu předpokládané patřit nesmí. Aby se svému paradoxu vyhnul, navrhl Russell teorii typů, 18 v níž každá třída (nebo množina) patří k vyššímu logickému typu než třída, k níž náleží její prvky. Například všichni hráči fotbalového klubu Manchester United budou třídou typu 0. Sám tým Manchester United, který je třídou hráčů, bude třídou typu 1. Anglická nejvyšší liga, která je třídou fotbalových klubů, bude patřit k typu 2; anglický systém lig bude třídou typu 3, a tak dále. V takové soustavě pouhá zmínka o třídě, která je prvkem sebe sama není pravdivá ani nepravdivá, prostě nemá žádný význam. Díky tomu se zde s antinomiemi typu Russellova paradoxu nikdy nesetkáme. Není pochyb, že Principia byla v logice kolosálním počinem, avšak za dlouho hledaný základ celé matematiky se dala považovat jen stěží. Russellovu teorii typů mnozí považovali za poněkud umělé řešení problému paradoxů, které navíc vytvářelo znepokojivě složitou spleť různých důsledků. 19 Například racionální čísla (vyjádřitelná zlomky) se v tomto systému dostala do vyššího typu než přirozená čísla. Russell s Whiteheadem se chtěli těmto komplikacím vyhnout a zavedli další axiom známý jako axiom reducibility; ten ovšem sám vyvolal další spory a nedůvěru. Elegantnější způsob, jak paradoxy odstranit, nakonec navrhli matematikové Ernst Zermelo a Abraham Fraenkel. V podstatě se jim podařilo uvést teorii množin pomocí axiomů do vnitřně bezesporné podoby a v tomto systému reprodukovat většinu výsledků této teorie. Na první pohled se zdálo, že se tím alespoň zčásti plní sen platoniků. Kdyby byly teorie množin a logika skutečně dvěma stranami téže mince, pak by nalezení pevného základu teorie množin znamenalo i vybudování pevného základu logiky. A pokud opravdu většina matematiky vychází z logiky, pak by to matematice zajišťovalo určitý druh objektivní jistoty, což by se dalo využít i k vysvětlení univerzálních schopností matematiky. Platonikům však bohužel nebylo přáno slavit příliš dlouho, jelikož měli být brzy zasaženi další neblahou ranou. Přišla z již známého směru. 167

LOGICI: ÚVAHY NAD USUZOVÁNÍM NEEUKLEIDOVSKÁ KRIZE UŽ JE TU ZAS? V roce 1908 kráčel německý matematik Ernst Zermelo (1871 1953) 20 cestou velmi podobnou té, kterou jako první prošlapal Eukleides na přelomu třetího a čtvrtého století před naším letopočtem. Eukleides formuloval několik nedokázaných, avšak zdánlivě zjevných postulátů o bodech a přímkách a na základě těchto axiomů pak vybudoval celou geometrii. Zermelo, který již v roce 1900 objevil Russellův paradox nezávisle na Rusellovi, navrhl způsob, jímž by se dala teorie množin vystavět na podobném axiomatickém základu. Russellův paradox jeho teorie překonala pečlivým výběrem stavebních principů, s jejichž pomocí byly eliminovány pojmy typu množina všech množin, které vedly k vnitřním rozporům. Zermelův systém v roce 1922 rozšířil izraelský matematik Abraham Fraenkel (1891 1965), čímž vznikla takzvaná Zermelo-Fraenkelova teorie množin (další významné změny doplnil v roce 1925 John von Neumann). 21 Bylo by to téměř dokonalé (bylo třeba ještě dokázat bezespornost teorie), kdyby nepřetrvaly některé sžíravé pochybnosti. Byl tu zejména jeden axiom axiom výběru který stejně jako pověstný Eukleidův pátý postulát působil matematikům těžké trápení. Axiom výběru zjednodušeně řečeno tvrdí: 22 jestliže X je souborem (množinou) neprázdných množin, můžeme vybrat z každé množiny náležící k X právě po jednom prvku a ty vytvoří novou množinu Y. Snadno zjistíme, že toto tvrzení je pravdivé, pokud soubor X nebude nekonečný. Máme-li kupříkladu sto krabiček a v každé je nejméně jedna kulička, bez potíží vybereme po jedné kuličce z každé krabičky a sestavíme tím novou množinu Y, v níž bude ona stovka kuliček. V takovém případě žádný zvláštní axiom nepotřebujeme a můžeme lehce dokázat, že výběr je možný. Tvrzení platí i pro nekonečné soubory X, pokud budeme přesně specifikovat, jakým způsobem výběr provedeme. Představme si například nekonečný soubor neprázdných množin přirozených čísel. Prvky takového souboru mohou být množiny jako {2, 6, 7}, {1, 0}, {346, 5, 11, 1257}, {všechna přirozená čísla mezi 381 a 10 4578}, a tak dále. V každé množině přirozených čísel vždy existuje jeden prvek, který je nejmenší. Náš výběr by tedy mohl být popsán následujícím specifickým způsobem: Z každé množiny vybereme nejmenší prvek. Tímto konkretizováním se můžeme obecnému axiomu výběru opět vyhnout. Problém nekonečných souborů vyvstane v případech, kdy výběr definovat nemůžeme. V takové situaci proces výběru nikdy nekončí a existence takové množiny, která se skládá z právě jednoho prvku z každé množiny souboru X, se stává pouze otázkou víry. Axiom výběru od svého počátku vyvolával mezi matematiky značné spory. Skutečnost, že axiom ustavuje existenci určitých matematických objektů (vý- 168

NEEUKLEIDOVSKÁ KRIZE UŽ JE TU ZAS? běrů), aniž poskytuje jediný hmatatelný příklad takového objektu, vyvolávalo nelibost zejména u zastánců školy myšlení zvané konstruktivismus (filozoficky spřízněné s intuicionismem, viz výše v této kapitole). Konstruktivisté tvrdili, že cokoli, co existuje, by mělo být také explicitně zkonstruovatelné. Axiomu výběru se raději většinou vyhýbali i ostatní matematici a ze Zermelo-Frankaelovy teorie množin využívali jen ostatní axiomy. Vzhledem k citlivě vnímaným nedostatkům axiomu výběru začali matematici přemýšlet, zda by se tento axiom dal pomocí ostatních axiomů buď dokázat, nebo vyvrátit. Opakovala se tak téměř do písmene historie Eukleidova pátého axiomu. Částečná odpověď konečně přišla ke konci 30. let. Kurt Gödel (1906 78), jeden z nejvlivnějších logiků všech dob, dokázal, že axiom výběru jakož i další slavná domněnka, hypotéza kontinua nastolená zakladatelem teorie množin Georgem Cantorem, 23 jsou konzistentní s ostatními axiomy Zermelo-Fraenkelovy teorie. To znamená, že ani jednu z obou hypotéz nelze vyvrátit pomocí jiných standardních axiomů teorie množin. Dodatečné důkazy, které roku 1963 předložil americký matematik Paul Cohen (1934 až 2007, zemřel bohužel v době práce na této knize), 24 potvrdily, že axiom výběru a hypotéza kontinua jsou na sobě zcela nezávislé. Jinak řečeno, axiom výběru nelze dokázat ani vyvrátit z jiných axiomů teorie množin. Stejně tak se pomocí téhož souboru axiomů nedá dokázat a vyvrátit ani hypotéza kontinua a to ani kdyby se použil axiom výběru. Tento vývoj měl dramatické filozofické důsledky. Stejně jako u neeukleidovských geometrií 19. století došlo k tomu, že neexistovala jediná definitivní teorie množin, ale hned nejméně čtyři! Na základě odlišných předpokladů o nekonečných množinách bylo možné dojít k navzájem neslučitelným teoriím množin. Například s předpokladem, že platí jak axiom výběru, tak hypotéza kontinua, dojdeme k jedné verzi, zatímco když budeme předpokládat, že žádná z obou domněnek neplatí, budeme pracovat s úplně jinou množinovou teorií. Předpoklad platnosti jednoho z obou axiomů a negace druhého pak povede k dalším dvěma teoriím. Byla to neeukleidovská krize číslo dvě, jen v horší podobě. Kvůli fundamentální roli teorie množin jako možného základu celé matematiky vypadala nyní situace pro platoniky mnohem vážněji. Pokud je skutečně možné formulovat celou řadu teorií množin jednoduše volbou jiného souboru axiomů, neznamená to snad, že matematika není ničím jiným než pouhým lidským výtvorem? Zdálo se, že formalisté už mají vítězství v kapse. 169