Antynomia Russella: Różnice pomiędzy wersjami

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
ZéroBot (dyskusja | edycje)
m r2.7.1) (Robot dodał ro:Paradoxul lui Russell
ort.
Linia 1:
'''Antynomia Russella''' lub '''paradoks Russella''' – sprzeczność wykryta w naiwnej [[teoria mnogości|teorii mnogości]] przez [[Bertrand Russell|Bertrand Russell'aRussella]] w [[1901]] roku. Sprzeczność ta stanowiła duży cios dla rozwoju [[logicyzm]]u, będącego próbą aksjomatyzacji matematyki, zgodnie z którym wszystkie obiekty matematyczne powinny dać się wyrazić jako [[zbiór|zbiory]]. Obserwacje dokonane przez Russella zmusiły matematyków do rewizji tego fundamentalnego stanowiska i następnie przyjęcia, że istnieją obiekty niebędące zbiorami, opisywane [[formuła logiczna|formułami logicznymi]] – nazywa się je [[klasa (matematyka)|klasami właściwymi]]. [[Paradoks]] ten ma charakter podobny do takich paradoksów jak [[paradoks zbioru wszystkich zbiorów]], [[paradoks kłamcy]] czy [[paradoks Berry'ego]].
 
[[Anegdota|Anegdotyczne]] sformułowanie [[antynomia|antynomii]] Russela nosi nazwę „paradoksu fryzjera” lub „paradoksu golibrody”<ref>{{cytuj stronę|url=http://www.math.edu.pl/paradoks-fryzjera|tytuł=Paradoks fryzjera|opublikowany=www.math.edu.pl|data dostępu=2011-04-14}}</ref>: