Σαν σήμερα, στις 5 Οκτωβρίου 1781, γεννήθηκε στην Πράγα ο Bernard Bolzano (1781–1848), μαθηματικός, φιλόσοφος και λογικός που βρέθηκε εντυπωσιακά μπροστά από την εποχή του.
Ο Bolzano επιδίωξε κάτι που σήμερα θεωρούμε θεμελιώδες: να δώσει στη Μαθηματική Ανάλυση αυστηρές λογικές βάσεις, απαλλαγμένες από ασαφείς γεωμετρικές διαισθήσεις.
Το 1817 διατύπωσε αποτέλεσμα που αναγνωρίστηκε αργότερα ως πρόδρομος του Θεωρήματος Bolzano–Weierstrass. Εργάστηκε επίσης πάνω στο διωνυμικό θεώρημα, ενώ οι μελέτες του για το άπειρο περιείχαν ιδέες που προανήγγειλαν τη μεταγενέστερη θεωρία συνόλων.
Πολλές από τις ιδέες του δεν αναγνωρίστηκαν όσο ζούσε και ορισμένα έργα του έμειναν για χρόνια αδημοσίευτα. Αργότερα όμως έγινε φανερό πόσο κοντά είχε φτάσει σε έννοιες που θα γίνονταν κεντρικές στη σύγχρονη Ανάλυση, τη Λογική και τη θεωρία του απείρου.
📐 Ο Bolzano βοήθησε τα Μαθηματικά να περάσουν από το «φαίνεται ότι είναι αλήθεια» στο «πρέπει να αποδειχθεί με ακρίβεια».
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου