Pregledni rad
https://doi.org/doi: https://doi.org/10.26362/20240206
Paradoksi teorije skupova i njihovo prevladavanje: teorija tipova i aksiomatizacija
Tin Adlešić
; Fakultet kemijskog inženjerstva i tehnologije, Sveučilište u Zagrebu
Sažetak
U ovom povijesnom prikazu opisujemo dva načina sprječavanja skupovnih paradoksa u ranom 20. stoljeću. Započinjemo s prikazom Russellove teorije tipova, koja kulminira objavom Principia Mathematica u kolaboraciji s Whiteheadom. Zatim opisujemo okolnosti nastanka Zermelove aksiomatizacije, koja je i danas glavna aksiomatizacija teorije skupova. Za kraj ukratko navodimo dva druga načina sprječavanja pojave paradoksa: Quineovu teoriju i Bočvarovu metodu trovalentne logike.
Ključne riječi
Russellov paradoks, Burali-Fortijev paradoks; Cantorov paradoks; teorija tipova; Zermelova aksiomatizacija; Quineova teorija skupova; trovalentna logika
Hrčak ID:
323133
URI
Datum izdavanja:
7.12.2024.
Posjeta: 92 *