παράδοξο του Ράσελ: Διαφορά μεταξύ των αναθεωρήσεων

Από Βικιλεξικό
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Νέο λήμμα
 
Γραμμή 2: Γραμμή 2:
==={{πολυλεκτικός όρος|el}}===
==={{πολυλεκτικός όρος|el}}===
'''{{PAGENAME}}'''
'''{{PAGENAME}}'''
* {{λογ}}{{μαθ}}{{φιλοσ}}([[θεωρία συνόλων]]) ήταν συλλογισμός που δημιουργούσε [[φαύλος κύκλος|φαύλο κύκλο]] και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε [[τυπικός|τυπική]] διατύπωση.
* {{λογ}} {{μαθ}} {{φιλοσ}} ([[θεωρία συνόλων]]) συλλογισμός που δημιουργούσε [[φαύλος κύκλος|φαύλο κύκλο]] και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε [[τυπικός|τυπική]] διατύπωση
*: Σύντομη μαθηματική διατύπωση του παράδοξου:
*: Σύντομη μαθηματική διατύπωση του παράδοξου:
*:: Έστω σύνολο <math>\textstyle R=\{x:x\notin x\}</math>.
*:: Έστω σύνολο <math>\textstyle R=\{x:x\notin x\}</math>.

Αναθεώρηση της 23:06, 5 Οκτωβρίου 2019

Νέα ελληνικά (el)

Πολυλεκτικός όρος

παράδοξο του Ράσελ

  • Πρότυπο:λογ Πρότυπο:μαθ Πρότυπο:φιλοσ (θεωρία συνόλων) συλλογισμός που δημιουργούσε φαύλο κύκλο και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε τυπική διατύπωση
    Σύντομη μαθηματική διατύπωση του παράδοξου:
    Έστω σύνολο .
    Τότε ισχύει ένα από τα δύο (α) ή (β) .
    Στην περίπτωση του (α), ; και στην περίπτωση του (β), .
    Αντιμετωπίστηκε με την «αρχή του φαύλου κύκλου»[1]

Δείτε επίσης

Μεταφράσεις

Αναφορές

  1. «Λογική θεωρία και πράξη Γ' Λυκείου», σελ. 25. πρόσβαση:26/09/2019