Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
18
ra1nzbiórwszystkichzbiorów”
,niedopuszczającyniczego
większegoodsiebie,byłpodobnymkonstruktem,który,
jakwykazałwroku1903BertrandRussell2,pogrążyłmate-
matykęwsprzecznościach.Doprowadziłotobezpośrednio
dobardzopoważnegokryzysupodstawtejdziedziny,opie-
rającejsięprzecieżnaczystejlogice.Więcejnatentemat
wrozdzialeósmym!
Leibnizmarzyłoopracowaniuuniwersalnegoopisuświata,
nCharacteristicauniversalis”
,składającegosięzencyklope-
diiuzasadnionychprawd,formalnegojęzykasłużącegodo
ichopisuorazkompleturegułwnioskowania,zapomocą
którychmożnabywyprowadzićzistniejącychnowepraw-
dyiwtakisposóbrozstrzygnąćkażdądysputę.Byłprzeko-
nany,żeprzyudzialezespołuuczonychpotrafizrealizować
takiprojektwciągupięciulat.Leczzmarł,zanimmógłsię
dotegozabrać3.
PomysłLeibnizaskazanybyłnaniepowodzenienietylko
dlatego,żebyłbytozbytwielkiwysiłek.Jestjeszczejeden,
głębiejleżącypowód:tylkozapomocąlogikiniemożna
1
GeorgFerdynandLudwigCantor(1845-1918)-niemieckimate-
matyk,twórcateoriimnogości(przyp.red.).
2
BertrandArthurWilliamRussell(1872-1970)-brytyjskifilozof,
logik,matematyk,działaczspołecznyieseista.LaureatLiterackiej
NagrodyNoblazarok1950(przyp.red.).
3
KiedydziśpodśmiewamysięzmarzeniaLeibniza,stawiamysprawę
byćmożezbytprosto.Takżewnajnowszychczasachdochodziłodo
podobniezuchwałychprób:naprzykładprojektnCyc”amerykań-
skiegoinformatykaDougaLenata,któryzamierzałwyposażyćkom-
puterwkompletnącodziennąwiedzęczłowieka.Równieżwtym
wypadkuelementamibyłykompletprawdzdroworozsądkowych,
formalnyjęzyksłużącydoichopisuorazkluczoweregułylogikipre-
dykatów.Projektwystartowałw1984roku,aLenatoszacowałokres
jegoukończeniana350człowiekolat.Projektjednakniezostałza-
kończonydodziś,powstałojedyniekilkamodułówwiedzydlaspe-
cjalnychzastosowań.
