Principia mathematica - Google

Principia mathematica

Z Wikipedii

(Przekierowano z Principia Mathematica)
Skocz do: nawigacji, szukaj

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

  1. ↑ Klemens Szaniawski, Przedmowa do pierwszego wydania, w: Bertrand Russell, Autobiografia 1872-1914, Warszawa 1996

[edytuj] Linki zewnętrzne


Paypal przejmie pełną odpowiedzialność za transakcje
Klienci portalu aukcyjnego eBay, którzy padli ofiara oszustów, mogą spodziewać się całkowitego zwrotu kosztów, wliczając koszty przesyłki.
11 poprawek od Microsoft (uwaga na fałszywe aktualizacje!)
W najbliższy wtorek Microsoft udostępni 11 poprawek, z których cztery eliminują luki ocenione jako "krytyczne". Mogą one zostać wykorzystane do zdalnego wykonania szkodliwego kodu. Dziury te występują w Windows, Internet Explorer, Host Integration Server i Excelu.
40 proc. fałszywych kont na Facebook
Spamerzy i autorzy szkodliwego oprogramowania w pełni wykorzystują możliwości, jakie oferują portale społecznościowe.
Jest pierwsza wersja OpenOffice.org 3.0
Darmowy pakiet biurowy OpenOffice jest już dostępny w wersji 3.0.
Przesłuchaj zanim opublikujesz!
Głosowe odczytywanie komentarzy na YouTube – nowa usługa najpopularniejszego serwisu wideo.
Linki: Strona g³ówna