Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Μετάβαση στο περιεχόμενο

Ιστορία της έννοιας της συνάρτησης

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Η μαθηματική έννοια της συνάρτησης ( και το όνομα ) εμφανίστηκε τον 17ο αιώνα μαζί με την ανάπτυξη του λογισμού. Για παράδειγμα, η κλίση μιας γραφικής παράστασης σε ένα σημείο, θεωρήθηκε ως συνάρτηση του χ- συντεταγμένη του σημείου. Οι συναρτήσεις δεν είχαν οριστεί ρητά στην αρχαιότητα, αλλά μερικοί πρόδρομοι της έννοιας μπορεί ίσως να θεωρηθούν τα έργα κάποιων μεσαιωνικών φιλοσόφων και μαθηματικών, όπως του Oresme.

Οι μαθηματικοί του 18ου αιώνα, συνήθως θεωρούσαν πως η συνάρτηση ορίζεται από μια αναλυτική έκφραση. Τον 19ο αιώνα, οι απαιτήσεις της ανάπτυξης της ανάλυσης από τον Weierstrass και από άλλους, την αναδιατύπωση της γεωμετρίας όσον αφορά την ανάλυση και την εφεύρεση της θεωρίας συνόλων από τον Cantor, οδήγησαν τελικά στην πολύ πιο γενική και σύγχρονη έννοια της συνάρτησης ως μονότιμη χαρτογράφηση μεταφορά.

Οι συναρτήσεις πριν τον 17ο αιώνα

[Επεξεργασία | επεξεργασία κώδικα]

Σύμφωνα με τους Dieudonné[1] και Ponte[2], η έννοια της συνάρτησης εμφανίστηκε τον 17ο αιώνα ως αποτέλεσμα της ανάπτυξης της αναλυτικής γεωμετρίας και τον ολοκληρωτικό λογισμό. Παρ 'όλα αυτά, ο Medvedev δείχνει ότι η έννοια της συνάρτησης έχει αρχαία καταγωγή[3]. Ο Ponte βλέπει πιο σαφείς προσεγγίσεις της έννοιας κατά τον Μεσαίωνα. Ιστορικά, ορισμένοι μαθηματικοί μπορεί να θεωρηθεί ότι είχαν προβλέψει και είχαν έρθει κοντά στη σύγχρονη διατύπωση της έννοιας της συνάρτησης. Μεταξύ αυτών είναι ο Oresme (1323-1382). Στη θεωρία του, μερικές γενικές ιδέες σχετικά με την ανεξάρτητη και την εξαρτημένη μεταβλητή φαίνεται να είναι σύγχρονες[4].

Η ανάπτυξη της αναλυτικής γεωμετρίας γύρω στο 1640, επέτρεψε στους μαθηματικούς να μελετήσουν γεωμετρικά προβλήματα σχετικά με καμπύλες και αλγεβρικές σχέσεις μεταξύ «μεταβλητών συντεταγμένων x και y»[5]. Ο Λογισμός αναπτύχθηκε χρησιμοποιώντας την έννοια των μεταβλητών, συνδεδεμένη με τη γεωμετρική τους έννοια, η οποία συνεχίστηκε και το 18ο αιώνα[6]. Ωστόσο, η ορολογία της «συνάρτησης» προήλθε από τις αλληλεπιδράσεις μεταξύ του Leibniz και Bernoulli, προς το τέλος του 17ου αιώνα.[7]

Η έννοια της «συνάρτησης» στην ανάλυση

[Επεξεργασία | επεξεργασία κώδικα]

Ο όρος «συνάρτηση» εισήχθη από τον Gottfried Leibniz, δημοσιευμένο το 1673, για να περιγράψει μια ποσότητα που σχετιζόταν με μια καμπύλη, όπως η κλίση μιας καμπύλης σε ένα συγκεκριμένο σημείο.[8] Ο Johann Bernoulli άρχισε να δημιουργεί εκφράσεις από συγκεκριμένες «συναρτήσεις». Το 1698, ο ίδιος συμφώνησε με τον Lebniz, ότι οποιαδήποτε ποσότητα που σχηματίζεται «με έναν αλγεβρικό και υπερβατικό τρόπο, μπορεί να ονομάζεται συνάρτηση του x»[9]. Από το 1718, θεωρήθηκε ως συνάρτηση οποιαδήποτε έκφραση, που αποτελείται από μια μεταβλητή και κάποιες «σταθερές»[10]. Ο Alexis Claude Clairaut (περίπου το 1734) και ο Leonhard Euler εισήγαγαν το γνωστό συμβολισμό f(x) ως τη συνάρτηση[11].

Οι συναρτήσεις θεωρούνταν τότε ονομάζονται σήμερα διαφορίσιμες συναρτήσεις . Για αυτόν τον τύπο των συναρτήσεων, μπορεί κανείς να μιλήσει κανείς για τα όρια και τις παραγώγους· και τα δύο είναι μέτρα του προϊόντος ή της αλλαγής του προϊόντος, όταν αυτό εξαρτάται από την είσοδο ή τη μεταβολή της εισόδου. Τέτοιες συναρτήσεις είναι η βάση του λογισμού.

Euler

[Επεξεργασία | επεξεργασία κώδικα]

Στον πρώτο τόμο του θεμελιώδους του κειμένου του Introductio, στο Analysin infinitorum, που δημοσιεύθηκε το 1748, ο Euler έδωσε ουσιαστικά τον ίδιο ορισμό της συνάρτησης όπως ο δάσκαλός του Bernoulli, ως έκφραση ή τύπο, που περιλαμβάνει μεταβλητές και σταθερές π.χ., x2 + 3x + 2[11]. Ο ορισμός του Euler, συγκεκριμένα, έχει ως εξής:

«Συνάρτηση μιας μεταβλητής είναι μια αναλυτική έκφραση, που αποτελείται από οποιαδήποτε συνδυασμό της μεταβλητής με αριθμούς ή σταθερές»[12].

Ο Euler επέτρεπε επίσης συναρτήσεις πολλών μεταβλητών, των οποίων οι τιμές καθορίζονται από μια έμμεση εξίσωση. Το 1755, ωστόσο, στο Institutiones Calculi differentialis, ο Euler έδωσε μια πιο γενική έννοια της συνάρτησης: «Όταν συγκεκριμένες ποσότητες εξαρτώνται από άλλες με τέτοιο τρόπο ώστε να μην επηρεάζονται όταν υποβάλλονται στις δεύτερες αλλαγές, τότε οι πρώτες ονομάζονται συναρτήσεις των δεύτερων». Αυτός ο ορισμός έχει έναν εξαιρετικά ευρύ χαρακτήρα, αφού περικλείει όλους τους τρόπους με τον οποίο μια ποσότητα μπορεί να προσδιοριστεί από άλλες.[13]

Ο Medvedev[14] εκτιμά ότι «Στην ουσία αυτός είναι ο ορισμός που έγινε γνωστός ως ορισμός του Dirichlet». Ο Edwards[15] πιστώνει επίσης στον Euler μια γενική έννοια της συνάρτησης και λέει ακόμη ότι «Οι σχέσεις μεταξύ αυτών των ποσοτήτων δεν δίνονται από τους τύπους, αλλά από την άλλη πλευρά δεν είναι σίγουρα και αυτό που οι σύγχρονοι μαθηματικοί θεωρούν ως «συνάρτηση»».

Fourier

[Επεξεργασία | επεξεργασία κώδικα]

Στο Théorie του analytique de la Chaleur[16], ο Fourier ισχυρίστηκε ότι μια αυθαίρετη συνάρτηση θα μπορούσε να θεωρηθεί μια σειρά Fourier. Ο Fourier είχε μια γενική αντίληψη μιας συνάρτησης, η οποία περιελάμβανε συναρτήσεις, που δεν ήταν ούτε συνεχής ούτε ορίζονταν από μια αναλυτική έκφραση. Σχετικές ερωτήσεις σχετικά με τη φύση και την έκφραση των συναρτήσεων, που προκύπτουν από τη λύση της εξίσωσης κύματος για μια παλλόμενη χορδή, είχαν ήδη αποτελέσει αντικείμενο διαφωνίας μεταξύ των d'Alembert και Euler, και είχαν σημαντικό αντίκτυπο στη γενίκευση της έννοιας της συνάρτησης.

Ο Luzin παρατηρεί ότι: «Η σύγχρονη κατανόηση της συνάρτησης και του ορισμού της, η οποία φαίνεται σωστή για εμάς, θα μπορούσε να προκύψει μόνο μετά την ανακάλυψη του Fourier. Η ανακάλυψή του έδειξε καθαρά, ότι οι περισσότερες από τις παρανοήσεις που προέκυψαν κατά τη συζήτηση σχετικά με την παλλόμενη χορδή, ήταν το αποτέλεσμα της σύγχυσης δύο φαινομενικά πανομοιότυπων, αλλά στην πραγματικότητα πολύ διαφορετικών εννοιών, δηλαδή της συνάρτησης και της αναλυτικής αναπαράστασής της». Πράγματι, πριν από την ανακάλυψη του Fourier, δεν υπήρχε διάκριση μεταξύ των εννοιών της «λειτουργίας» και της «αναλυτική εκπροσώπησής της» και ήταν αυτή η ανακάλυψη που έφερε για αποσύνδεση τους[17].

Cauchy

[Επεξεργασία | επεξεργασία κώδικα]

Κατά τη διάρκεια του 19ου αιώνα, οι μαθηματικοί άρχισαν να επισημοποιούν όλες τις διαφορετικές εκφάνσεις των μαθηματικών. Ένας από τα πρώτους που το έκαναν αυτό, ήταν ο Cauchy.Τα κάπως ασαφή αποτελέσματά του, αργότερα γίνονται πλήρως αυστηρά από τον Weierstrass, ο οποίος στήριξε το λογισμό περισσότερο στην αριθμητική και όχι στη γεωμετρία, κάτι το οποίο βοήθησε στην επιβολή του ορισμού του Euler, πάνω από του Leibniz (βλ αριθμοποίηση ανάλυσης). Σύμφωνα με το Smithies, ο Cauchy σκέφτεικε τις συναρτήσεις όπως ορίζονται από τις εξισώσεις που εμπλέκουν πραγματικούς ή μιγαδικούς αριθμούς, και σιωπηρά υποτίθεται ότι ήταν συνεχείς.

Ο Cauchy κάνει ορισμένες γενικές παρατηρήσεις σχετικά με τις συναρτήσεις στο κεφάλαιο Ι, τμήμα 1 του Analyse algébrique του (1821). Από ό,τι λέει εκεί, είναι σαφές ότι κατά κανόνα μια συνάρτηση, ορίζεται από μια αναλυτική έκφραση (αν είναι ρητή) ή από μια εξίσωση ή ένα σύστημα εξισώσεων (αν είναι άρρητη). Διαφέρει από τους προκατόχους του στο γεγονός, ότι είναι είναι διατεθειμένος να εξετάσει το ενδεχόμενο, ότι μια συνάρτηση μπορεί να οριστεί μόνο για ένα περιορισμένο φάσμα της ανεξάρτητης μεταβλητής.[18]

Lobachevsky και Dirichlet

[Επεξεργασία | επεξεργασία κώδικα]

Οι Nikolai Lobachevsky[19] και Peter Gustav Lejeune Dirichlet[20] παραδοσιακά πιστώνονται με το γεγονός, ότι έδωσαν το σύγχρονο «επίσημο» ορισμό μιας συνάρτησης, ως μια σχέση στην οποία κάθε πρώτο στοιχείο αντιστοιχίζεται σε ένα μοναδικό δεύτερο στοιχείο. Ο Lobachevsky (1834) γράφει ότι η γενική έννοια της συνάρτησης απαιτεί μια συνάρτηση του x να ορίζεται ως ένας αριθμός που δίνεται για κάθε x και μεταβάλλεται σταδιακά με το x. Η τιμή της συνάρτησης μπορεί να δοθεί είτε με μια αναλυτική έκφραση ή από μια κατάσταση που παρέχει ένα μέσο για την εξέταση όλων των αριθμών και επιλέγοντας ένα από αυτά ή, τέλος, η εξάρτηση μπορεί να υπάρχει αλλά να παραμένει άγνωστη[21]. Ο Dirichlet (1837) γράφει «Αν τώρα ένα μοναδικό πεπερασμένο y που αντιστοιχεί σε κάθε x, και μάλιστα κατά τέτοιο τρόπο ώστε όταν το x να κυμαίνεται συνεχώς κατά το διάστημα από το Α στο Β, y = f (x) και μεταβάλλεται συνεχώς, τότε το y ονομάζεται συνεχής συνάρτηση του x για το διάστημα αυτό. Δεν είναι καθόλου απαραίτητο εδώ ότι y να δοθεί με τον ίδιο τρόπο από το x σε ολόκληρο το διάστημα, και δεν είναι απαραίτητο ότι θα πρέπει να θεωρηθεί ότι εκφράζεται σαν εξάρτηση χρησιμοποιώντας μαθηματικές πράξεις»[22]. Ο Eves ισχυρίζεται ότι «ο φοιτητής των μαθηματικών συναντάει συνήθως τον ορισμό της συνάρτησης κατά Dirichlet στο εισαγωγικό μάθημά του στο λογισμό.

Η αξίωση του Dirichlet σε αυτή τη μορφή έχει αμφισβητηθεί από τον Imre Lakatos:«Δεν υπάρχει τέτοιος ορισμός σε όλα τα έργα του Dirichlet. Αλλά υπάρχουν άφθονα στοιχεία ότι δεν είχε καμία ιδέα όσο αφορά αυτή την έννοια. Στο έργο του [1837], για παράδειγμα, όταν συζητά τμηματικά για συνεχείς συναρτήσεις, λέει ότι στα σημεία ασυνέχειας η συνάρτηση έχει δύο τιμές»[23]. Ωστόσο, ο Gardiner λέει «... μου φαίνεται ότι ο Lakatos το πηγαίνει πολύ μακριά, για παράδειγμα, όταν ισχυρίζεται ότι« υπάρχουν πολλές ενδείξεις ότι ο Dirichlet δεν είχε καμία ιδέα για την έννοια της συνάρτησης, όπως ορίζεται σήμερα»[24]. Επιπλέον, όπως προαναφέρθηκε, στο έργο του Dirichlet φαίνεται να περιλαμβάνεται ορισμός και ό,τι συνήθως αποδίδεται σε αυτόν, ακόμη και αν (όπως ο Lobachevsky), ο ίδιος δηλώνει μόνο ορισμό για συνεχείς συναρτήσεις μιας πραγματικής μεταβλητής. Ομοίως, ο Lavine παρατηρεί ότι: «Είναι ένα θέμα αμφισβήτησης πόση πίστωση αξίζει στον Dirichlet για τον σύγχρονο ορισμό της συνάρτησης, εν μέρει επειδή ο ορισμός του περιορίζεται στις συνεχείς συναρτήσεις .... Πιστεύω, όμως, ότι ο Dirichlet ορίζει την έννοια της συνεχούς συνάρτησης, για να καταστήσει σαφές ότι κανένας κανόνας δεν απαιτείται ακόμη και στην περίπτωση των συνεχών συναρτήσεων, όχι μόνο σε γενικές γραμμές. Αυτό αξίζει ιδιαίτερη έμφαση, λόγω του ορισμού του Euler για τη συνεχή συνάρτηση, όπως αυτή που δίνεται με ενιαία έκφραση. Αλλά επίσης αμφιβάλλω υπάρχουν επαρκή αποδεικτικά στοιχεία για να διευθετήσουν τη διαφορά»[25].

Επειδή στους Lobachevsky και Dirichlet έχει πιστωθεί ότι ήταν από τους πρώτους, που εισήγαγαν την έννοια της αυθαίρετης αλληλογραφίας, η έννοια αυτή μερικές φορές αναφέρεται ως Dirichlet ή Lobachevsky-Dirichlet ορισμός της συνάρτησης. Μια γενική απόδοση αυτού του όρου χρησιμοποιήθηκε αργότερα από τον Bourbaki (1939), και κάποιοι στην εκπαιδευτική κοινότητα αναφέρονται σε αυτήν ως τον ορισμό «Dirichlet-Bourbaki» της συνάρτησης.[26]

Dedekind

[Επεξεργασία | επεξεργασία κώδικα]

Ο Dieudonné, ο οποίος ήταν ένα από τα ιδρυτικά μέλη της ομάδας του Bourbaki, πιστώνει ένα ακριβή και σύγχρονο ορισμό της συνάρτησης στο Dedekind, στο έργο του Was sind und was sollen die Zahlen[27], το οποίο δημοσιεύτηκε το 1888, αλλά είχε ήδη συνταχθεί το 1878. Ο Dieudonné παρατηρεί ότι, αντί να περιορίζει τον εαυτό του, όπως και σε προηγούμενες αντιλήψεις , σε πραγματικές ή μιγαδικές συναρτήσεις, ο Dedekind ορίζει μια συνάρτηση ως μια ενιαία χαρτογράφηση μεταξύ οποιωνδήποτε των δύο σύνολων. Η εντελώς γενική αντίληψη της συνάρτησης ήταν κάτι καινούριο και τελείως απαραίτητο για το σύνολο των μαθηματικών.[28]

Hardy

[Επεξεργασία | επεξεργασία κώδικα]

Στο Hardy 1908, σελ .26-28 ορίζεται η συνάρτηση ως μια σχέση μεταξύ δύο μεταβλητών x και y, τέτοια ώστε «σε ορισμένες τιμές του x, σε κάθε περίπτωση, να αντιστοιχούν τιμές του y». Ο Hardy υποστηρίζει πως δεν απαιτείται η συνάρτηση να οριστεί για όλες τις τιμές του x, ούτε να συνδέσει κάθε τιμή του x σε μία μόνο τιμή του y. Αυτός ο ευρύς ορισμός της συνάρτησης περιλαμβάνει περισσότερες σχέσεις από ό,τι είναι συνήθως θεωρείται συνάρτηση στα σύγχρονα μαθηματικά. Για παράδειγμα, ο ορισμός Hardy περιλαμβάνει επιπλέον συναρτήσεις και ό,τι στη θεωρία υπολογισιμότητας καλούνται μερικές συναρτήσεις.

Οι συναρτήσεις πριν το 1850

[Επεξεργασία | επεξεργασία κώδικα]

Οι επιστήμονες αυτή την περίοδο ασχολούνται κατά κύριο λόγο με την ανάλυση συλλογισμών (τις 2000-χρόνων ιδέες του Αριστοτέλη), ή όπως αναφέρει ο Augustus De Morgan (1847): «η εξέταση του εν λόγω τμήματος της συλλογιστικής που εξαρτάται από τον τρόπο με τον οποίο σχηματίζονται συμπεράσματα, καθώς και η διερεύνηση των γενικών αξιωμάτων και των κανόνων για την κατασκευή επιχειρημάτων»[29]. Αυτή την περίοδο η έννοια της (λογικής) «συνάρτησης»δεν είναι σαφής, αλλά τουλάχιστον στο έργο των De Morgan και George Boole υπονοείται. Σε αυτό το έργο βλέπουμε αφαίρεση κάποιων μορφών επιχειρημάτων, την εισαγωγή των μεταβλητών, την εισαγωγή μιας συμβολικής άλγεβρας σε σχέση με αυτές τις μεταβλητές και μερικές από τις έννοιες της θεωρίας συνόλων.

Στο De Morgan, 1847, «FORMAL LOGIC OR, The Calculus of Inference, Necessary and Probable» De Morgan, παρατηρεί ότι «α) η λογική αλήθεια εξαρτάται από τη δομή της δήλωσης, και όχι με τα συγκεκριμένα θέματα που θα αναφερθούμε». Δεν σπαταλά χρόνο (πρόλογος σελίδα i): «Με τη μορφή της πρότασης, το συνδετικό ρήμα γίνεται τόσο αφηρημένο όσο και οι όροι». Εκείνος αμέσως (σελ. 1) αναφέρεται σε αυτό που αποκαλεί «η πρόταση» (σήμερα: συνάρτηση ή σχέση) σε μια μορφή όπως: «το Χ ίσο με Υ», όπου τα σύμβολα Χ, «ίσο με» και Υ αντιπροσωπεύουν, αντίστοιχα, το αντικείμενο, το συνδετικό ρήμα, και κατηγόρημα. Ενώ η λέξη «συνάρτηση» δεν εμφανίζεται, εμφανίζεται η έννοια της «αφαίρεσης», υπάρχουν οι «μεταβλητές», υπάρχει η έννοια του επιλόγου στο συμβολισμό του «όλα του Δ είναι στην О» (σελ. 9) και, τέλος, εισάγει ένα νέο συμβολισμό για λογική ανάλυση της έννοιας της «σχέσης» (που χρησιμοποιεί τη λέξη σε σχέση με αυτό το παράδειγμα «X) Y» (σελ 75).)ι:

«A1 X)Y Για να πάρουμε ένα Χ είναι απαραίτητο να πάρουμε ένα Υ» (ή για να υπάρχει ένα Χ είναι απαραίτητο να υπάρχει ένα Y)

«A1 Y) X Για να πάρουμε ένα Υ είναι απαραίτητο να πάρουμε ένα Χ» (ή για να υπάρχει Υ είναι απαραίτητο να υπάρχει ένα Χ), κ.λπ.

Το 1848 στο έργο του The Nature of Logic, ο Boole ισχυρίζεται ότι «η λογική παίζει σημαντικότερο ρόλο στην επιστήμη, από ότι η απλή επιχειρηματολογία με σημάδια» και ο ίδιος συζητά εν συντομία τις έννοιες «ανήκει» και «τάξη». «Ένα άτομο μπορεί να έχει μια μεγάλη ποικιλία από χαρακτηριστικά και, επομένως, αυτά να ανήκουν σε μια μεγάλη ποικιλία διαφορετικών τάξεων»[30].

Ο De Morgan χρησιμοποιεί την έννοια της «μεταβλητής», που προέρχονται από την ανάλυση. Δίνει ένα παράδειγμα στο οποίο: «Μία κλάση βόδια αντιπροσωπεύουν το x και μία των αλόγων το y και χρησιμοποιώντας το σύμβολο +, θα μπορούσαμε να αντιπροσωπεύσουμε τη συνολική κατηγορία από βόδια και άλογα με x + y»[31].

Στο πλαίσιο του «Διαφορικού Λογισμού» ο Boole ορίζει (γύρω στο 1849) την έννοια της συνάρτησης ως εξής: «Η ποσότητα δύο πραγμάτων, των οποίων η διαφορά είναι ομοιόμορφη, ονομάζεται η ανεξάρτητη μεταβλητή. Η ποσότητα δύο αντικειμένων, των οποίων η διαφορά εξαρτάται από τη μεταβολή της πρώτης λέγεται ότι είναι μια συνάρτηση. Ο Διαφορικός Λογισμός μας δίνει τη δυνατότητα σε κάθε περίπτωση να περάσουμε από τη συνάρτηση στο όριο. Αυτό γίνεται με μια συγκεκριμένη συνάρτηση. Αλλά η ίδια η ιδέα μιας πράξης είναι η ιδέα μιας αντίστροφη συνάρτησης. Το αποτέλεσμα αυτής της αντίστροφης συνάρτησης, είναι το αντικείμενο του σημερινού Ολοκληρωτικού Λογισμού.[32]

Οι συναρτήσεις από το 1850 έως το 1950

[Επεξεργασία | επεξεργασία κώδικα]

Ο Eves παρατηρεί ότι "οι επιστήμονες προσπάθησαν να πιέσουν προς τα κάτω το επίπεδο εκκίνησης της ανάπτυξης του ορισμού των μαθηματικών και να αντλήσουν τη θεωρία των συνόλων ή των τάξεων από μία θεμελίωση στη λογική των προτάσεων και των προτασιακών συναρτήσεων".[33]. Όμως, τα τέλη του 19ου αιώνα οι έρευνες των επιστημόνων για τη θεμελίωση των μαθηματικών έχουν υποστεί μία σημαντική διάσπαση. Η κατεύθυνση της πρώτης ομάδας του Λογικισμού, μπορεί πιθανώς να συνοψιστεί καλύτερα από τον Bertrand Russell 1903 - "για να ικανοποιηθούν δύο αντικείμενα, πρώτον, για να αποδειχθεί ότι όλα τα μαθηματικά προκύπτουν από τη συμβολική λογική, και, δεύτερον, να ανακαλυφθεί, στο μέτρο του δυνατού, ποιες είναι οι αρχές αυτής της συμβολικής λογικής.

Η δεύτερη ομάδα του Λογικισμού, οι υποστηρικτές της Θεωρίας Συνόλων, αρχικά εμφανίστηκε με "Θεωρία Συνόλων" του Georg Cantor (1870-1890), αλλά ήρθε στο προσκήνιο, εν μέρει ως αποτέλεσμα της ανακάλυψης του Russel, ένα παράδοξο το οποίο θα μπορούσε να προκύψει από την ιδέα του Frege για τη συνάρτηση αλλά και ως μια αντίδραση ενάντια προτεινόμενη λύση του Russell.[34]. Η απάντηση του Zermelo ήταν το 1908 στο Έρευνες στα θεμέλια της Θεωρίας Συνόλων Ι - στην πρώτη αξιωματική θεωρία όπου η έννοια της "προτασιακής συνάρτησης" παίζει ρόλο.

"Οι νόμοι της σκέψης" του George Boole, 1854 και "Η συμβολική λογική" του John Venn, 1881

[Επεξεργασία | επεξεργασία κώδικα]

Στο έργο του Μία έρευνα στους νόμους της σκέψης ο Boole ορίζει μία συνάρτηση με όρους ενός συμβόλου χ όπως περιγράφεται παρακάτω: Σε μια έρευνα του σε νόμους της σκέψης Boole ορίζεται πλέον μια λειτουργία από την άποψη της ένα σύμβολο x ως εξής:

"8. Ορισμός. -Οποιαδήποτε αλγεβρική έκφραση που περιλαμβάνει σύμβολο χ ονομάζεται συνάρτηση του χ, και μπορεί να συμβολίζεται με την συντετμημένη μορφή f(x)".[35]. Ο Boole στη συνέχεια χρησιμοποίησε αλγεβρικές εκφράσεις για να ορίσει τόσο αλγεβρικές όσο και λογικές έννοιες, π.χ., 1-x είναι λογικό ΧΩΡΙΣ(x), xy είναι το λογικό ΚΑΙ(x, y), x + y είναι το λογικό H'(x, y), x(x + y) είναι xx + xy, και «τον ειδικό νόμο" xx = x² = x.[36].

Το 1881, ο Venn στο έργο του "Συμβολική Λογική" χρησιμοποιούσε τις εκφράσεις «λογική συνάρτηση" και το σύγχρονο συμβολισμό (x=f(y), y = f-1(x), βλ. σελίδα ΧΧΙ). Επίσης ιστορικά έχουν συνδεθεί τα κυκλικά διαγράμματα με τον Venn για να περιγραφούν οι «σχέσεις τάξεων»,[37]. οι έννοιες "ποσοτικοποιόντας το κατηγόρημα", "προτάσεις όσον αφορά την επέκτασή τους", «η σχέση εγκλεισμού και αποκλεισμού μίας τάξης σε μία άλλη", και "προτασιακή συνάρτηση" (όλα στις σ. 10), η ράβδος σε μια μεταβλητή για να δείξει την απουσία του x (σελίδα 43), κ.λ.π. Μάλιστα, εξίσωσε με σαφήνεια την έννοια της "λογικής συνάρτησης" με την «τάξη» [σύγχρονο "σύνολο"]: "... σύμφωνα με την άποψη που υιοθετείται στο βιβλίο, f(x) σημαίνει απλά μια λογική τάξη. Μπορεί να είναι μια σύνθετη τάξη από πολλές απλές τάξεις ή μία τάξη που υποδεικνύεται από ορισμένες αντίστροφες λογικές πράξεις, ή μπορεί να αποτελείται από δύο ομάδες τάξεων ίσες μεταξύ τους ή διαφορά τους δηλαδή να είναι ίση με το μηδέν, μια λογική εξίσωση. Αλλά από ότι να αποτελούνται ή και να παράγονται, η f(x) δεν θα είναι τίποτα άλλο παρά μια γενική έκφραση για τέτοιες λογικές τάξεις πραγμάτων, κατανοητή με την απλή λογική".[38].

Begriffsschrift του Frege 1879

[Επεξεργασία | επεξεργασία κώδικα]

Το Begriffsschrift του Gottlob Frege (1879) προηγήθηκε του Giuseppe Peano (1889), αλλά ο Peano δεν είχε καμία γνώση για αυτό μέχρι να δημοσιευθεί το 1889.[39] Και οι δύο συγγραφείς επηρεάζονται έντονα από τον Russel (1913). Ο Russell με τη σειρά του επηρεάζεται πολύ από τα μαθηματικά του 20ου αιώνα και της λογικής μέσα από το "Principia Mathematica" (1913) που από κοινού εξέδωσε με τον Alfred North Whitehead.

Στην αρχή ο Frege εγκαταλείπει τις παραδοσιακές "έννοιες υποκείμενο και κατηγόρημα", αντικαθιστώντας του με το επιχείρημα και τη λειτουργία αντίστοιχα, η οποία πιστεύει ότι "θα αντέξει στη δοκιμασία του χρόνου". Είναι εύκολο να δούμε πώς το περιεχόμενο ως συνάρτηση ενός επιχειρήματος οδηγεί σε σχηματισμό των εννοιών. Επιπλέον, η επίδειξη της σχέσης μεταξύ των εννοιών των λέξεων, αν και, δεν, ή, υπάρχει, μερικοί, όλα, και ούτω καθεξής, αξίζει την προσοχή".[40]

Ο Frege αρχίζει τη συζήτηση του για τη "συνάρτηση" με ένα παράδειγμα: Ξεκινήστε με την έκφραση [41] "Το υδρογόνο είναι ελαφρύτερο από ό, τι το διοξείδιο του άνθρακα". Τώρα αφαιρέστε το σύμβολο για το υδρογόνο (δηλαδή τη λέξη "υδρογόνο") και αντικαταστήστε το με το σύμβολο για το οξυγόνο (δηλαδή τη λέξη "οξυγόνο") αυτό κάνει μια δεύτερη δήλωση. Κάνετε αυτό και πάλι (χρησιμοποιώντας είτε δήλωση) και αντικαταστήστε το σύμβολο για το άζωτο (δηλαδή τη λέξη "άζωτο") και σημειώστε ότι «Αυτό αλλάζει το νόημα κατά τέτοιο τρόπο ώστε το "οξυγόνο" ή το " άζωτο" μπαίνει στις σχέσεις στη θέση του " υδρογόνου".[42] Υπάρχουν τρεις καταστάσεις.: "Το υδρογόνο είναι ελαφρύτερο από το διοξείδιο του άνθρακα." "Το οξυγόνο είναι ελαφρύτερο από το διοξείδιο του άνθρακα." "Το άζωτο είναι ελαφρύτερο από το διοξείδιο του άνθρακα." Τώρα παρατηρείτε ότι και στις τρεις εκφράσεις μια "σταθερή συνιστώσα, που αντιπροσωπεύει το σύνολο των σχέσεων".[43] Μπορούμε να την αποκαλέσουμε συνάρτηση δηλαδή, "... Είναι ελαφρύτερο από το διοξείδιο του άνθρακα", είναι η συνάρτηση. Ο Frege καλεί όρισμα της συνάρτησης "το σύμβολο" (π.χ., υδρογόνο, οξυγόνο ή άζωτο), το οποίο μπορεί να αντικατασταθεί από άλλο. Ο ίδιος σημειώνει ότι θα μπορούσαμε να έχουμε ορίσει τη συνάρτηση ως "το υδρογόνο είναι ελαφρύτερο από το ....", καθώς και με το όρισμα σε άλλη θέση. Η ακριβής παρατήρηση γίνεται από τον Peano (βλ. παρακάτω). Τέλος, ο Frege επιτρέπει την υπόθεση των δύο (ή περισσότερων ορισμάτων). Για παράδειγμα, καταργήστε "διοξείδιο του άνθρακα". Η συνάρτηση που προκύπτει είναι η εξής:

"... Είναι ελαφρύτερο από ..." Ο Frege γενικεύει τη μορφή της συνάρτησης σε Φ(Α) όπου το Α είναι η μεταβλητή και Φ( ) η συνάρτηση. Η συνάρτηση με δύο αγνώστους συμβολίζεται ως Ψ(Α, Β) με Α και Β τις μεταβλητές και Ψ( ) τη συνάρτηση και τονίζει ότι "γενικά η Ψ(Α, Β) διαφέρει από την Ψ(Β, Α)". Χρησιμοποιώντας το μοναδικό συμβολισμό του, μεταφράζει για τον αναγνώστη τον εξής συμβολισμό:

«Μπορούμε να διαβάσουμε | --- Φ (Α) ως" Α έχει την ιδιότητα Φ. | --- Ψ (Α,Β) μπορεί να μεταφραστεί με "Β συμβολίζει στη σχέση του Ψ προς Α" ή "Β είναι ένα αποτέλεσμα της εφαρμογής της διαδικασίας Ψ στο αντικείμενο Α".[44]

Οι "Αρχές της Αριθμητικής" του Peano,1889

[Επεξεργασία | επεξεργασία κώδικα]

Ο Peano όρισε την έννοια της "συνάρτησης" με έναν τρόπο σχετικό με αυτόν του Frege, αλλά χωρίς την ακρίβεια.[45] Πρώτα ορίζει το σύμβολο "Κ σημαίνει τάξη, ή σύνολο αντικειμένων" [46] Τα αντικείμενα αυτά πληρούν τρεις απλές συνθήκες ισότητας,[47] α=α, (α=β) =(β=α), ΕΑΝ (α=β) ΚΑΙ (β=γ), ΤΟΤΕ (α=γ). Στη συνέχεια εισάγει το φ, "ως ένα σύμβολο ή ένα σύνολο συμβόλων τέτοια ώστε, εάν το χ είναι αντικείμενο της κλάσης s, τότε η έκφραση Φχ υποδηλώνει ένα νέο αντικείμενο". Ο Peano προσθέτει δύο προϋποθέσεις για αυτά τα νέα αντικείμενα: Πρώτον, ότι οι τρεις υποθέσεις ισότητας ισχύουν και για τα αντικείμενα Φχ, δεύτερον, ότι "αν x και y είναι τα αντικείμενα της κλάσης s και αν x = y, υποθέτουμε ότι είναι δυνατό να συναχθεί φχ = φy".[48] Δεδομένου ότι πληρούνται αυτές οι προϋποθέσεις, η φ είναι μια "συνάρτηση μετασύμβολο". Ομοίως προσδιορίζει και τη "συνάρτηση προσύμβολο". Για παράδειγμα, αν η φ είναι η συνάρτηση presign α +, τότε φχ δίνει α+x ή αν φ είναι η postsign συνάρτηση +α τότε xφ δίνει x+α.[47]

Οι Αρχές των Μαθηματικών του Bertrand Russell, 1903

[Επεξεργασία | επεξεργασία κώδικα]

Ενώ η επιρροή του Cantor και Peano ήταν υψίστης σημασίας,[49] στο Παράρτημα Α "Λογικά και Αριθμητικά Δόγματα του Frege" από το έργο Αρχές των Μαθηματικών, ο Russell φτάνει σε μια συζήτηση της έννοιας της συνάρτησης του Frege "... ένα σημείο στο οποίο το έργο Frege είναι πολύ σημαντικό και απαιτεί προσεκτική εξέταση".[50] Σε απάντηση της από το 1902 ανταλλαγής επιστολών με τον Frege για την αντίφαση που ανακάλυψε στο Begriffsschrift του Frege, ο Russell προσέγγισε αυτή την ενότητα την τελευταία στιγμή.

Για τον Russel η έννοια που προκαλεί σύγχυση είναι αυτή της "μεταβλητής": "6. Οι μαθηματικες προτάσεις χαρακτηρίζονται από το γεγονός ότι περιέχουν μεταβλητές. Η έννοια της μεταβλητής είναι μία από τις πιο δύσκολες που έχει να αντιμετωπίσει η λογική. Προς το παρόν, εγώ ανοιχτά ήθελα να καταστήσω σαφές ότι υπάρχουν μεταβλητές σε όλες τις μαθηματικές προτάσεις, ακόμη και αν εκ πρώτης όψεως ίσως φαίνεται να μην υπάρχουν.... Θα βρούμε πάντα, σε όλες τις μαθηματικές προτάσεις, ότι οι λέξεις οτιδήποτε ή κάποιος υπάρχουν και αυτές οι λέξεις είναι ενδείξεις μιας μεταβλητής και ενός συμπεράσματος ".[51] Όπως εκφράζεται από τον Russell "η διαδικασία μετατροπής των σταθερών μιας πρότασης σε μεταβλητές οδηγεί σε αυτό που ονομάζεται γενίκευση, και μας δίνει την ουσία της πρότασης...Εφ 'όσον κάθε όρος της πρότασή μας μπορεί να μετατραπεί σε μια μεταβλητή, η πρόταση μας μπορεί να γενικευθεί και εφ 'όσον αυτό είναι δυνατόν, τα μαθηματικά πρέπει να το κάνουν"[52] Αυτές τις γενικεύσεις ο Russell τις ονόμασε "προτασιακές συναρτήσεις".[53] Πράγματι, ο ίδιος αναφέρει αποσπάσματα από το Begriffsschrift του Frege και παρουσιάζει ένα ζωντανό παράδειγμα από το "Function und Begriff" του Frege το 1891: Ότι «η ουσία της αριθμητικής συνάρτησης 2x3 + x είναι ό,τι έχει απομείνει όταν το x απομακρυνθεί, δηλαδή, στο παραπάνω παράδειγμα 2( )3 + ( ). Το όρισμα x δεν ανήκει στη συνάρτηση, αλλά και τα δύο μαζί κάνουν τη συνάρτηση κατά μία έννοια. Ο Russel με τον ορισμό της συνάρτησης κατά μία έννοια :"Αναφέρει τις συναρτήσεις - και σε αυτό συμφωνώ μαζί του - ως πιο θεμελιώδεις από κατηγορήματα και σχέσεις" αλλά ο Russell απέρριψε τη θεωρία του Frege για τα αντικείμενα και τους ισχυρισμούς.[50]. Σκέφτεται ότι, αν ένας όρος υπάρχει σε μια πρόταση, η πρόταση μπορεί πάντα να αναλυθούν στο α και σε ένα ισχυρισμό για το α.[50]

Εξέλιξη της έννοιας της συνάρτησης του Russell, 1908-1913.

[Επεξεργασία | επεξεργασία κώδικα]

Ο Russell θα μεταφέρει τις ιδέες του προς τα εμπρός στο έργο του Μαθηματική Λογική το 1908 βάση της θεωρίας των τύπων και του έργου του ίδιου και του Whitehead "Principia Mathematica", 1910-1913. Μέχρι τη στιγμή του "Principia Mathematica", ο Russell, όπως ο Frege, θεωρεί την προτασιακή συνάρτηση θεμελιώδη: "Προτασιακές Συναρτήσεις είναι το θεμελιώδες είδος από το οποίο οι πιο συνήθεις συναρτήσεις, όπως η "sinx" ή "logx" ή "the father of x " προέρχoνται. Αυτές οι παράγωγες συναρτήσεις... ονομάζονται "περιγραφικές συναρτήσεις". Οι συναρτήσεις των προτάσεων... είναι μια περίπτωση των προτασιακών συναρτήσεων".[54]

Προτασιακές συναρτήσεις: Επειδή η ορολογία του είναι διαφορετική από τη σύγχρονη, ο αναγνώστης μπορεί να μπερδευτεί με την "προτασιακή συνάρτηση" του Russel. Ένα παράδειγμα μπορεί να βοηθήσει. Ο Russell γράφει μια προτασιακή συνάρτηση σε ακατέργαστη μορφή της, π.χ. όπως φŷ: "ŷ είναι κακό". (Παρατηρήστε την περισπωμένη ή «καπέλο» πάνω από τη μεταβλητή y). Για παράδειγμα μας, θα εκχωρήσει μόλις 4 τιμές για τη μεταβλητή Y: "Βαρίδι", "Αυτό το πουλί", "Emily το κουνέλι" και "y". Η υποκατάσταση μίας από αυτές τις τιμές για τη μεταβλητή Υ δίνει μια πρόταση. Αυτή η πρόταση ονομάζεται "τιμή" της προτασιακής συνάρτησης. Στο παράδειγμά μας, υπάρχουν τέσσερις τιμές του προτασιακού λειτουργία, π.χ., "Το βαρίδι είναι κακό", "Αυτό το πουλί είναι κακό", "Η Emily το κουνέλι είναι κακό" και "y είναι κακό". Μια πρόταση, αν είναι σημαντική, δηλαδή αν η αλήθεια του είναι καθορισμένη, έχει πραγματική τιμή αλήθειας ή ψεύδους. Αν η πραγματική τιμή μιας πρότασης είναι "αλήθεια", τότε η τιμή της μεταβλητής ικανοποιεί την προτασιακή συνάρτηση. Τέλος, σύμφωνα με τον ορισμό του Russell, "μια τάξη [σύνολο] είναι όλα τα αντικείμενα που πληρούν κάποια προτασιακή συνάρτηση" (σελ. 23). Σημειώστε τη λέξη "όλα" - είναι ο τρόπος με τον οποίο η σύγχρονη έννοια "για κάθε ∀" και "υπάρχει τουλάχιστον ένα ∃" εισάγονται στη μελέτη. (σελ. 15). Για να συνεχίσουμε το παράδειγμα: Ας υποθέσουμε (έξω από τα μαθηματικά / λογική) ότι ένας διαπιστώνει ότι οι προτάσεις "Το βαρίδι είναι κακό" έχει πραγματική τιμή "ψευδής", "Αυτό το πουλί είναι κακό" έχει τιμή "αληθής", " Η Emily το κουνέλι είναι κακό" δε προσδιορίζεται διότι "Η Emily το κουνέλι" δεν υπάρχει, και το" y είναι κακό "είναι ασαφές, γιατί η ίδια η μεταβλητή είναι ασαφής. Ενώ οι προτάσεις "Bob είναι κακό" και "Αυτό το πουλί είναι κακό" είναι σημαντικές (και οι δύο έχουν τιμή "αληθής"), μόνο η τιμή "Αυτό το πουλί» της μεταβλητής y ικανοποιεί την προτασιακή συνάρτηση φŷ: "y είναι κακό". Όταν κάποιος προσπαθεί να σχηματίσει την τάξη α: φŷ: "y είναι κακό", μόνο "Αυτό το πουλί» περιλαμβάνεται, με δεδομένες τις τέσσερις τιμές "Βαρίδι", "Αυτό το πουλί", "Η Emily το κουνέλι" και "y" για την μεταβλητή ŷ και των αντίστοιχων πραγματικών τιμών: ψευδής, αληθής, αόριστη, αδύνατη.

Ο Russell καθορίζει τις συναρτήσεις των προτάσεων με επιχειρήματα, και πραγματικές συναρτήσεις f(p).[55]. Για παράδειγμα, ας υποθέσουμε ότι κάποιος ήθελε να σχηματίσει τη "συνάρτηση της πρότασης με επιχειρήματα" p1: "ΔΕΝ (p) ΚΑΙ q" και να ορίσεi τις τιμές των μεταβλητών των p: "To βαρίδι είναι κακό" και q: "Αυτό το πουλί είναι κακό". (Υπάρχει περιορισμός σε λογικές συνδέσεις ΔΕΝ, ΚΑΙ, Η' και ΣΥΝΕΠΑΓΕΤΑΙ, και μπορούμε να εκχωρήσουμε μόνο "σημαντικές" προτάσεις στις μεταβλητές p και q). Στη συνέχεια, η «συνάρτηση πρότασης με επιχειρήματα" είναι p1: ΔΕΝ ( "Το βαρίδιο είναι κακό") ΚΑΙ "Αυτό το πουλί είναι κακό". Για τον προσδιορισμό της πραγματικής τιμής αυτής της "συνάρτησης πρότασης με επιχειρήματα" θα την υποβάλουμε σε "πραγματική συνάρτηση", π.χ., f (p1): f (ΔΕΝ ("Το βαρίδι είναι κακό") ΚΑΙ "Αυτό το πουλί είναι κακό"), η οποία αποδίδει πραγματική τιμή "αληθής". Η έννοια της "πολλά προς ένα" συναρτησιακής σχέσης": ο Russell συζητά για πρώτη φορά την έννοια της "ταυτότητας", τότε ορίζει μια περιγραφική συνάρτηση (σελίδες 30ff) ως τη μοναδική ix τιμή που ικανοποιεί προτασιακή συνάρτηση με δύο μεταβλητές (δηλαδή, "σχέση") φŷ.

Σημειώνεται ότι ο αναγνώστης θα πρέπει να προειδοποιείται εδώ ότι η σειρά των μεταβλητών αντιστρέφεται! y είναι η ανεξάρτητη μεταβλητή και χ είναι η εξαρτημένη μεταβλητή, π.χ. χ = sin (y).[56] Ο Russell συμβολίζει την περιγραφική συνάρτηση ως «το αντικείμενο που εκφράζεται συναρτήσει του y": Ry = DEF(ix)(xRy). Ο Russell επαναλαμβάνει ότι "RΎ είναι συνάρτηση του y, αλλά δεν είναι μια προτασιακή συνάρτηση [sic]. Θα το ονομάσουμε περιγραφική συνάρτηση. Όλες οι συνήθεις συναρτήσεις των μαθηματικών είναι αυτού του είδους. Έτσι στο συμβολισμό μας "sin y'" μπορεί να γραφεί "sin'y "και"sin" αντιπροσωπεύει τη σχέση που έχει το sin'y με το y".[57]

Παραπομπές

[Επεξεργασία | επεξεργασία κώδικα]
  1. ↑ Dieudonné 1992, p. 55.
  2. ↑ "The emergence of a notion of function as an individualized mathematical entity can be traced to the beginnings of infinitesimal calculus". (Ponte 1992)
  3. ↑ "...although we do not find in [the mathematicians of Ancient Greece] the idea of functional dependence distinguished in explicit form as a comparatively independent object of study, nevertheless one cannot help noticing the large stock of functional correspondences they studied." (Medvedev 1991, pp. 29–30)
  4. ↑ Ponte 1992.
  5. ↑ Gardiner 1982, p. 255.
  6. ↑ Gardiner 1982, p. 256.
  7. ↑ Kleiner, Israel (2009). "Evolution of the Function Concept: A Brief Survey". In Marlow Anderson; Victor Katz; Robin Wilson. Who Gave You the Epsilon?: And Other Tales of Mathematical History. MAA. pp. 14–26. ISBN 978-0-88385-569-0.
  8. ↑ Eves dates Leibniz's first use to the year 1694 and also similarly relates the usage to "as a term to denote any quantity connected with a curve, such as the coordinates of a point on the curve, the slope of the curve, and so on" (Eves 1990, p. 234).
  9. ↑ N. Bourbaki (18 September 2003). Elements of Mathematics Functions of a Real Variable: Elementary Theory. Springer Science & Business Media. pp. 154–. ISBN 978-3-540-65340-0.
  10. ↑ Eves 1990, p. 234.
  11. ↑ 11,0 11,1 Eves 1990, p. 235.
  12. ↑ Euler 1988, p. 3.
  13. ↑ Euler 2000, p. VI.
  14. ↑ Medvedev 1991, p. 47.
  15. ↑ Edwards 2007, p. 47.
  16. ↑ Fourier 1822.
  17. ↑ Luzin 1998, p. 263. Translation by Abe Shenitzer of an article by Luzin that appeared (in the 1930s) in the first edition of The Great Soviet Encyclopedia
  18. ↑ Smithies 1997, p. 187.
  19. ↑ "On the vanishing of trigonometric series," 1834 (Lobachevsky 1951, pp. 31–80).
  20. ↑ Über die Darstellung ganz willkürlicher Funktionen durch Sinus- und Cosinusreihen," 1837 (Dirichlet 1889, pp. 135–160).
  21. ↑ Lobachevsky 1951, p. 43 as quoted in Medvedev 1991, p. 58.
  22. ↑ Dirichlet 1889, p. 135 as quoted in Medvedev 1991, pp. 60–61.
  23. ↑ Published posthumously.
  24. ↑ Gardiner, A. (1982). Understanding infinity,the mathematics of infinite processes Courier Dover Publications. p. 275. ISBN 0-486-42538-X.
  25. ↑ Lavine 1994, p. 34.
  26. ↑ See Medvedev 1991, pp. 55–70 for further discussion.
  27. ↑ "By a mapping φ of a set S we understand a law that assigns to each element s of S a uniquely determined object called the image of s, denoted as φ(s). Dedekind 1995, p. 9
  28. ↑ Dieudonné 1992, p. 135.
  29. ↑ De Morgan 1847, p. 1.
  30. ↑ Boole 1848 in Grattan-Guinness & Bornet 1997, pp. 1, 2
  31. ↑ Boole 1848 in Grattan-Guinness & Bornet 1997, p. 6
  32. ↑ Boole circa 1849 Elementary Treatise on Logic not mathematical including philosophy of mathematical reasoning in Grattan-Guinness & Bornet 1997, p. 40
  33. ↑ Eves 1990,p. 222.
  34. ↑ .Τμήμα της κριτικής αυτής είναι ιδιαίτερα έντονη βλ. την εισαγωγή από: Willard Quine preceding Russell 1908a Mathematical logic as based on the theory of types in van Heijenoort 1967, p. 151. Επίσης βλ.von Neumann 1925 the introduction to his Axiomatization of Set Theory in van Heijenoort 1967, p. 395.
  35. ↑ Boole 1854, σελ. 86.
  36. ↑ βλ. Boole 1854, σελ. 31–34. Ο Boole εξετάζει αυτό τον "ειδικό νόμο" και τις δύο του αλγεβρικές ρίζες χ=0 ή 1, στη σελίδα 37.
  37. ↑ Αν και αποδίδει σε άλλους τα εύσημα βλ. Venn 1881 σελ. 6.
  38. ↑ Venn 1881, σελίδες 86–87.
  39. ↑ βλ. την εισαγωγή του van Heijenoort's για στον Peano 1889 στο van Heijenoort 1967. Για το μεγαλύτερο τμήμα του λογικού συμβολισμού και των εννοιών των προτάσεων ο Peano αποδίδει τα εύσημα σε πολλούς συγγραφείς και κυρίως στον Boole. Στην πρώτη του σημείωση μνημονεύει τους Boole 1847, 1848, 1854, Schröder 1877, Peirce 1880, Jevons 1883, MacColl 1877, 1878, 1878a, 1880. Βλ. van Heijenoort 1967, σελ. 86).
  40. ↑ Frege 1879 στο van Heijenoort 1967, σελ. 7.
  41. ↑ Τα ακριβή λόγια του Frege είναι "εκφρασμένο σε τύπο γλώσσας και έκφρασης", βλ Frege 1879 στο van Heijenoort 1967, σελ. 21–22.
  42. ↑ Το παράδειγμα είναι από τον Frege 1879 στο van Heijenoort 1967, σελ. 21-22.
  43. ↑ Frege 1879 στο van Heijenoort 1967, σελ. 21–22
  44. ↑ Ο Frege 1879 στο van Heijenoort 1967, σελ. 21–24.
  45. ↑ "... Ο Peano προσπαθεί να καλύψει περισσότερο έδαφος σε σχέση με ότι κάνει ο Frege στο Begriffsschrift και στα μεταγενέστερα έργα του, αλλά δε καταφέρνει να φθάσει στο βάθος που έφθασε ο Frege", van Heijenoort 1967, σελ. 85.
  46. ↑ van Heijenoort 1967, σελ. 89.
  47. ↑ 47,0 47,1 van Heijenoort 1967, σελ. 91.
  48. ↑ Όλα τα σύμβολα που χρησιμοποιούνται είναι από τον Peano 1889 στο van Heijenoort 1967, σελ. 91.
  49. ↑ "Στα μαθηματικά, οφείλω πολλά στον Georg Cantor και στον καθηγητή Peano. Εάν είχα νωρίτερα εξοικειωθεί με το έργο του καθηγητή Frege, θα όφειλα πολλά και σε εκείνον διότι έφτασα ανεξάρτητα σε πολλά συμπεράσματα στα οποία εκείνος είχε ήδη καταλήξει" Russell 1903, σελ. viii.
  50. ↑ 50,0 50,1 50,2 Russell 1903, σελ. 505.
  51. ↑ Russell 1903, σελ. 5–6.
  52. ↑ Russell 1903, σελ. 7.
  53. ↑ Russell 1903, σελ. 19.
  54. ↑ Russell 1910–1913:15
  55. ↑ Whitehead και Russell 1910–1913:6, 8 αντίστοιχα.
  56. ↑ Κάτι παρόμοιο εμφανίζεται και στον Tarski το 1946. Ο Tarski αναφέρεται σε μία "σχεσιακή συνάρτηση" to a "relational function" σαν "ΜΙΑ ΠΡΟΣ ΕΝΑ ή ΣΥΝΑΡΤΗΣΙΑΚΗ ΣΧΕΣΗ ή απλά ΣΥΝΑΡΤΗΣΗ". Ο Tarski σημειώνει για αυτή την αντιστροφή μεταβλητών στη σελίδα 99.
  57. ↑ .Οι Whitehead και Russell 1910–1913:31. Αυτό το άρθρο ήταν τόσο σημαντικό ώστε ο van Heijenoort το ανατύπωσε. Whitehead & Russell 1910 Ελλιπή Σύμβολα: Περιγραφές με σχόλια από W. V. Quine in van Heijenoort 1967, σελ. 216–223.
Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=Ιστορία_της_έννοιας_της_συνάρτησης&oldid=10266774"