Μέλος : Σύνδεση |Εγγραφή |Ανεβάστε τη γνώση
Αναζήτηση
Begriffsschrift [Τροποποίηση ]
Το Begriffsschrift είναι ένα βιβλίο σχετικά με τη λογική του Gottlob Frege που δημοσιεύθηκε το 1879 και το επίσημο σύστημα που περιγράφεται στο βιβλίο αυτό.
Το Begriffsschrift συνήθως μεταφράζεται ως γραφή έννοια ή σημείωση έννοιας. ο πλήρης τίτλος του βιβλίου το αναγνωρίζει ως "γλώσσα τύπου, με βάση την αριθμητική, από καθαρή σκέψη". Το κίνητρο του Frege για την ανάπτυξη της επίσημης προσέγγισής του στη λογική μοιάζει με το κίνητρο του Leibniz για τον λόγο του λογισμού (παρά το ότι ο Frege αμφισβητεί με σαφήνεια ότι πέτυχε αυτόν τον στόχο και ότι ο κύριος στόχος του θα ήταν να οικοδομήσει μια ιδεατή γλώσσα όπως η Leibniz, να είναι ένα αρκετά σκληρό και ιδεαλιστικό, αλλά όχι αδύνατο, καθήκον). Ο Frege συνέχισε να χρησιμοποιεί τον λογικό του λογισμό στην έρευνά του για τα θεμέλια των μαθηματικών, που πραγματοποιήθηκαν κατά το επόμενο τέταρτο του αιώνα.
[Λογική][Γκότλομπ Φρέγκε][Γλώσσα][Υπολογιστής αναφοράς]
1.Σημείωση και το σύστημα
2.Ο υπολογισμός του έργου του Frege
3.Επιρροή σε άλλα έργα
4.Τιμές
[Μεταφόρτωση Περισσότερο Περιεχόμενα ]


Πνευματική ιδιοκτησία @2018 Lxjkh