Wersja z 13:28, 11 wrz 2021 edytuj Yga.kostrzewa (dyskusja \| edycje) Redaktorzy 713 edycji →‎Wybrane dzieła: int Znaczniki: Z urządzenia mobilnego Z aplikacji mobilnej Z aplikacji Android ← poprzednia edycja		Wersja z 13:29, 11 wrz 2021 edytuj anuluj edycję Yga.kostrzewa (dyskusja \| edycje) Redaktorzy 713 edycji →‎Dorobek: int Znaczniki: Z urządzenia mobilnego Z aplikacji mobilnej Z aplikacji Android następna edycja →
Linia 36: Teoria typów unika paradoksów poprzez wprowadzenie i rygorystyczne separowanie różnych typów. Wymaga to definiowania tego samego obiektu matematycznego wielokrotnie, na różnych poziomach typów. W szczególności nie ma jednego zbioru liczb naturalnych, lecz potencjalnie nieskończenie wiele. Wprowadza się je za każdym razem, gdy ma się do czynienia z następnym poziomem i rodzajem typu. Logikom to nie przeszkadza, ale matematyk tak pracować praktycznie nie może. Russell był także jednym z najwybitniejszych filozofów [[XX wiek]]u. Największą sławę filozoficzną przyniosła mu [[teoria deskrypcji]] – wyłożona w roku 1905 w artykule "On ~~denoting~~Denoting" („O denotowaniu”). Należy ona do dnia dzisiejszego do kanonu współczesnej [[filozofia analityczna\|filozofii analitycznej]]. Ewolucję swoich poglądów filozoficznych Russell opisał w książce „Mój rozwój filozoficzny” – wydanej także w języku polskim. == Działalność pacyfistyczna ==

Bertrand Russell: Różnice pomiędzy wersjami