Kurt Friedrich Gödel

Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου 1906 – 14 Ιανουαρίου 1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν Διαβάστε περισσότερα…

Συντάκτης admin, πριν από

Τα θεωρήματα μη πληρότητας του Kurt Gödel

Τα θεωρήματα μη πληρότητας του Kurt Gödel είναι δύο θεμελιώδη αποτελέσματα της μαθηματικής λογικής που καταδεικνύουν τους εγγενείς περιορισμούς κάθε τυπικού συστήματος μαθηματικών ή λογικής. Αποδείχθηκαν από τον αυστριακό μαθηματικό Kurt Gödel το 1931 και είχαν βαθύ αντίκτυπο στα θεμέλια των μαθηματικών και στη φιλοσοφία των μαθηματικών. Το πρώτο θεώρημα Διαβάστε περισσότερα…

Συντάκτης admin, πριν από

Τυπικά και άτυπα συστήματα στα Μαθηματικά

Ένα άτυπο σύστημα στα μαθηματικά είναι ένας τρόπος σκέψης, επικοινωνίας και εργασίας με μαθηματικές έννοιες και ιδέες που δεν δεσμεύεται από τους αυστηρούς κανόνες και φορμαλισμούς ενός τυπικού συστήματος. Τα άτυπα συστήματα χρησιμοποιούνται συχνά στην καθημερινή μαθηματική συλλογιστική και επικοινωνία, καθώς και στα αρχικά στάδια της ανάπτυξης και εξερεύνησης νέων Διαβάστε περισσότερα…

Συντάκτης admin, πριν από

DAVID HILBERT

David Hilbert Καίνιξμπεργκ, Πρωσία, 23 Ιανουαρίου 1862 Γκέτινγκεν, Γερμανία, 14 Φεβρουαρίου 1943 Ο Ντάβιντ Χίλμπερτ (David Hilbert, Καίνιξμπεργκ, Πρωσία, 23 Ιανουαρίου 1862 – Γκέτινγκεν, Γερμανία, 14 Φεβρουαρίου 1943) ήταν Γερμανός μαθηματικός. Ο Χίλμπερτ επινόησε και ανέπτυξε ένα ευρύ φάσμα από νέες ιδέες, στο οποίο συμπεριέλαβε την αμετάβλητη θεωρία και τα Διαβάστε περισσότερα…

Συντάκτης admin, πριν από

Τα τρία κύρια φιλοσοφικά ρεύματα στα μαθηματικά

Στα τέλη του δέκατου ένατου αιώνα και στις αρχές του εικοστού εμφανίστηκαν στη φιλοσοφία των μαθηματικών τρία μεγάλα φιλοσοφικά ρεύματα που προχώρησαν σε μία συνολική αναθεώρηση των μαθηματικών, προσπαθώντας είτε να προχωρήσουν σε μία κάθαρση των θεμελίων τους, είτε να τα τυποποιήσουν, είτε να τα θέσουν σε μία διαφορετική βάση.Αυτά Διαβάστε περισσότερα…

Συντάκτης admin, πριν από