παράδοξο του Ράσελ: Διαφορά μεταξύ των αναθεωρήσεων
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 3: | Γραμμή 3: | ||
'''{{PAGENAME}}''' |
'''{{PAGENAME}}''' |
||
* {{λογ}} {{μαθ}} {{φιλοσ}} ([[θεωρία συνόλων]]) συλλογισμός που δημιουργούσε [[φαύλος κύκλος|φαύλο κύκλο]] και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε [[τυπικός|τυπική]] διατύπωση |
* {{λογ}} {{μαθ}} {{φιλοσ}} ([[θεωρία συνόλων]]) συλλογισμός που δημιουργούσε [[φαύλος κύκλος|φαύλο κύκλο]] και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε [[τυπικός|τυπική]] διατύπωση |
||
⚫ | |||
===={{σημειώσεις}}==== |
|||
⚫ | |||
*:: Έστω σύνολο <math>\textstyle R=\{x:x\notin x\}</math>. |
*:: Έστω σύνολο <math>\textstyle R=\{x:x\notin x\}</math>. |
||
*:: Τότε ισχύει ένα από τα δύο (α) <math>\textstyle R\in R</math> ή (β) <math>\textstyle R\notin R</math>. |
*:: Τότε ισχύει ένα από τα δύο (α) <math>\textstyle R\in R</math> ή (β) <math>\textstyle R\notin R</math>. |
Αναθεώρηση της 01:35, 13 Νοεμβρίου 2019
Νέα ελληνικά (el)
Πολυλεκτικός όρος
παράδοξο του Ράσελ
- Πρότυπο:λογ Πρότυπο:μαθ Πρότυπο:φιλοσ (θεωρία συνόλων) συλλογισμός που δημιουργούσε φαύλο κύκλο και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε τυπική διατύπωση
Σημειώσεις
- Σύντομη μαθηματική διατύπωση του παράδοξου:
- Έστω σύνολο .
- Τότε ισχύει ένα από τα δύο (α) ή (β) .
- Στην περίπτωση του (α), ; και στην περίπτωση του (β), .
- Αντιμετωπίστηκε με την «αρχή του φαύλου κύκλου»[1]
Δείτε επίσης
Μεταφράσεις
παράδοξο του Ράσελ
Αναφορές
- ↑ «Λογική θεωρία και πράξη Γ' Λυκείου», σελ. 25. πρόσβαση:26/09/2019