Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
DalszeuściślenielogikitozasługadeMorganaiSchrödera,którybyłtwórcąmetody
zero-jedynkowejlPokazałaonarozstrzygalnośćklasycznegorachunkuzdańlWreszcie
GottlobFregezbudowałpierwszysystemwpełnisformalizowany-systemrachun-
kuzdańlJegorozważaniazzakresulogicznejanalizypojęćmatematycznychstanowi-
łypodstawęrozumowańkolejnychpokoleńlogikówlJestonwyraźnieniedoceniony,
gdyżbezjegopracrozwójcałejmatematykibyłbyniewątpliwiemocnoopóźnionyl
JednocześnieobserwujemywpływlogikinarozwójmatematykilBolzanoinieza-
leżnieCauchywprowadzają-korzystajączwyrażeńkwantyfikatorowych-poprawną
definicjęgranicyfunkcji(150latpoNewtonie,któryztegopojęciaszerokokorzystał!)l
DziękidziałalnościWeierstrassawyrażeniakwantyfikatorowestająsięcorazbar-
dziejwykorzystywanelFregeiPeanozaczynająstosowaćwyrażeniakwantyfikatoro-
wewdowodachtwierdzeńmatematycznychlLogikazaczynacorazbardziejprzenikać
sięzpodstawamimatematyki,byosiągnąćodpowiednipoziomścisłościwmonumen-
talnymdzieleRussellaiWhiteheadanPrincipiamathematica”lNowoczesnejużzu-
pełnieujęcierachunkukwantyfikatorówzawdzięczamyHilbertowiiAckermannowil
WtymsamymczasiekształtowałasięwspółczesnateoriamnogościlDziękipracom
CantoraodpołowyXIXwlrozwinęłysiębadaniadotyczącenajogólniejszejpostaci
zbiorów,relacjiifunkcjilWykrycierozmaitychsprzecznościnagruncieintuicyjnych
rozważańwtychkwestiachprzyspieszyłoformalneujęcietejteoriiwrozmaiteposta-
ciaksjomatyczne;najbardziejznanapochodziodZermeloiFraenklal
JednązbardziejznanychantynomiijestantynomiaRussella:rodzisięonazpozor-
nieoczywistegostwierdzenia,żeistniejezbiórwszystkichzbiorówlAleczynapew-
no?Załóżmy,żetakizbiórUistniejelWobectegoUjestelementemU,cozapisujemy:
UU
Istniejąteżzbiory,któreniespełniajątegowarunku,nplzbiórliczbnaturalnych
niejestliczbąnaturalną;tozkoleizapisujemy:
NN
NiechzatemWbędziezbioremtakichzbiorówx,żexxl
W={xU:xx
CzyWW?
JeśliWW,toWniespełniawłasności*,więcWW;
jeśliWW,toWspełniawłasność*,więcWW.
WobectegozbiórWniemożeistnieć,bojegoistnieniejestwewnętrzniesprzecz-
nelWniosek:nieistniejezbiórwszystkichzbiorów,gdyżtowłaśniezałożeniedopro-
wadziłonasdopowyższejsprzecznościlJeślidostrzegaszpodobieństwotejantynomii
doparadoksukłamcy-tomaszracjęl
InnaantynomiarodzisięztakiejotopróbydefinicjilOkreślmyliczbęn:
20