Παράδοξο Κλέινι–Ρόσερ
αγγλικά : Kleene–Rosser paradox
γαλλικά :
γερμανικά :
Στα μαθηματικά, το Παράδοξο Κλέινι-Ρόσερ είναι ένα παράδοξο που δείχνει ότι ορισμένα συστήματα της τυπικής λογικής είναι ασυνεπής, ιδίως με την έκδοση της Συνδυαστικής Λογικής του Κάρυ ( Curry's ) που εισήχθη το 1930, και ο αρχικός λάμδα λογισμός του Τσερτς, που εισήχθη το 1932–1933. Και οι δύο προορίζονται αρχικά ως συστήματα της τυπικής λογικής. Το παράδοξο εκτέθηκε από τον Στίβεν Κλέινι και τον Τζ. Β. Ρόσερ το 1935.
Το παράδοξο
Οι Κλέινι και Ρόσερ ήταν σε θέση να δείξουν ότι και τα δύο συστήματα είναι σε θέση να χαρακτηρίσουν και να απαριθμήσουν τις προσδιορισμένες θεωρητικές αριθμητικές συναρτήσεις αποδεδειγμένων συνόλων. αυτό τους έδωσε τη δυνατότητα να κατασκευάσουν έναν όρο που ουσιαστικά αναπαράγει το Παράδοξο του Ρίτσαρντ σε γλώσσα Τύπων.
Ο Κάρυ αργότερα κατάφερε να εντοπίσει τα κρίσιμα συστατικά της άλγεβρας, που επέτρεψε την κατασκευή αυτού του παραδόξου, και το χρησιμοποίησε για να κατασκευάσει ένα πολύ πιο απλό παράδοξο, που τώρα είναι γνωστό ως το Παράδοξο του Κάρυ.
Δείτε επίσης
Λίστα με τα παράδοξα
Αναφορές
Andrea Cantini, "Η ασυνέπεια ορισμένων τυπικών λογικών", τα Παράδοξα και Σύγχρονη Λογική έναρξη της Stanford Encyclopedia of Philosophy (2007).
Kleene, S. C.; Rosser, J. B. (1935). «The inconsistency of certain formal logics». Annals of Mathematics 36 (3): 630–636. doi:10.2307/1968646.
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
