Principia mathematica
Z Wikipedii
Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913. Jego celem było sprowadzenie matematyki do logiki i wyprowadzenie twierdzeń tej pierwszej z układu aksjomatów i reguł wnioskowania.
Dzieło Russella i Whiteheada inspirowane było wcześniejszymi pracami Gottloba Fregego z zakresu logiki, a dokładniej chęcią usunięcia z nich sprzeczności odkrytych przez Russella. Chodziło przede wszystkim o wyeliminowanie założeń prowadzących do paradoksów w rodzaju paradoksu Russella powstających w sytuacji, gdy dopuszczamy zdania mówiące o sobie samych.
Trzy tomy Principiów dotyczą jedynie teorii mnogości, liczb kardynalnych, porządkowych i rzeczywistych lecz wydaje się, że dalsza droga jest jasna i w zasadzie całą matematykę można sprowadzić do logiki. Otwarty pozostał jednak problem niesprzeczności i zupełności systemu aksjomatów przyjętych przez Russella i Whiteheada. Dwadzieścia lat po napisaniu Principiów znalazł on nieoczekiwane rozwiązanie w twierdzeniu Gödla o niezupełności.
Ostatecznie powstały trzy tomy Principiów, Alfred North Whitehead zrezygnował z prac nad czwartym tomem.
Z wywiadu udzielonego przez Russella "Daily Herald" z okazji jego 90 urodzin pochodzi znana anegdota - Russell stwierdził żartobliwie, że Prinicpia było zdolne przeczytać tylko sześciu ludzi, z których trzech było Polakami[1]. Według Klemensa Szaniawskiego żart ten kryje ziarno prawdy, gdyż istotnie niewielu jest ludzi zdolnych przeczytać długi i bardzo trudny tekst Principiów, a jednocześnie Russell bardzo cenił dokonania logików polskich, zwłaszcza Leona Chwistka.
Przypisy
- ↑ Klemens Szaniawski, Przedmowa do pierwszego wydania, w: Bertrand Russell, Autobiografia 1872-1914, Warszawa 1996
[edytuj] Linki zewnętrzne
- Stanford Encyclopedia of Philosophy:
- tekst Principia mthematica (University of Michigan Historical Math Collection):
| Ługowoj gotów współpracować ze Scotland Yardem |
|
Oskarżony przez Brytyjczyków o zabójstwo byłego funkcjonariusza KGB i FSB Aleksandra Litwinienki, Andriej Ługowoj powiedział dziennikarzowi "Timesa" w Moskwie, iż pod pewnymi warunkami gotów byłby przyjechać do Wielkiej Brytanii na przesłuchanie - pisze londyński dziennik.
|
| Gazprom nie będzie dostarczać Ukrainie gazu? |
|
Rosyjski Gazprom nie będzie dostarczać Ukrainie gazu bez podpisania nowych kontraktów - liczy też, że problem ukraińskich należności za gaz zostanie rozwiązany przed końcem roku - zakomunikował rzecznik rosyjskiego gazowego giganta Siergiej Kuprijanow.
|
| Poruszenie wokół wtorkowych zatrzymań ABW |
|
Agencja Bezpieczeństwa Wewnętrznego zatrzymała we wtorek trzy osoby podejrzane o korupcję, w tym "byłego wysokiego rangą funkcjonariusza państwowego".
|
| Chcą konkretów zamiast pustych obietnic |
|
- Chcemy konkretów zamiast pustych obietnic i gry na zwłokę- powiedziały w sobotę protestujące pielęgniarki z Lipska (Mazowieckie) i zapowiedziały dalszą okupację szpitala i głodówkę.
|
| Speckomisja prześwietli dochody szefa ABW |
|
Sejmowa Komisja ds. Służb Specjalnych zaprosi na swoje posiedzenie szefa Agencji Bezpieczeństwa Wewnętrznego Krzysztofa Bondaryka - dowiedział się serwis internetowy tvp.info.
|