Σελίδα διάσημων λογικών
- Αριστοτέλης.
- Charles Babbage.
- Paul Bernays.
- George Boole.
- George Boolos.
- Georg Cantor.
- Chrysippus.
- Rudolf Carnap.
Είναι οι φιλόσοφοι λογικοί;
Λογικός είναι ένα άτομο, όπως ένας φιλόσοφος ή ένας μαθηματικός, του οποίου το θέμα επιστημονικής μελέτης είναι η λογική.
Ποιος ήταν ο μεγαλύτερος λογικός;
Αυτό το πολύ περίεργο και λυπηρό τέλος δεν πρέπει να επισκιάσει αυτό που άφησε πίσω του ο Kurt Gödel. Ήταν ένας από τους πιο σημαντικούς λογικούς όλων των εποχών. Τα δύο θεωρήματά του για την μη πληρότητα είναι από τις πιο σημαντικές καθώς και τις πιο συχνά παρερμηνευμένες ανακαλύψεις στη λογική και τα μαθηματικά τον 20ό αιώνα.
Τι κάνουν οι λογικοί;
Ένας λογικός εξετάζει δηλώσεις για να αποφασίσει εάν είναι αληθείς και δραστηριοποιείται στους τομείς των μαθηματικών και της επιστήμης των υπολογιστών. Ένα πολύ απλό παράδειγμα του τι κάνει ένας λογικός μπορεί να δοθεί με τη λέξη ή. Τι ακριβώς σημαίνει αν λέτε "Α ή Β;" Ένας λογικός θα έλεγε ότι μπορεί να σημαίνει: 1.
Ήταν θρησκευόμενος ο Gottlob Frege;
Αν και ο Frege ήταν παντρεμένος, η σύζυγός του πέθανε κατά τη διάρκεια του Πρώτου Παγκοσμίου Πολέμου, χωρίς να του αφήσει παιδιά. Υπήρχε ένας υιοθετημένος γιος, ο Άλφρεντ, ωστόσο, που έγινε μηχανικός. Ο Frege ήταν, στη θρησκεία, ένας φιλελεύθερος Λουθηρανός και, στην πολιτική, ένας αντιδραστικός.
