Η ερευνητική ομάδα του Archimedes Palimpsest project αποκρυπτογράφησε το αντίγραφο του «Περί μεθόδου μηχανικών θεωρημάτων». Αποδεικνύεται ότι ο Αρχιμήδης προσέγγισε πρώτος τη θεωρία του απόλυτου απείρου και τη συνδυαστική –κλάδο των μαθηματικών που χρησιμοποιείται στην πληροφορική.Τα νέα επιστημονικά ευρήματα αποκαλύπτονται στην έκθεση «Lost and Found: The Secrets of Archimedes» στο Μουσείο Τέχνης Walters της Βαλτιμόρης, η οποία ολοκληρώνεται την 1η Ιανουαρίου του 2012.Τα ευρήματα για το έργο του Αρχιμήδη
Στο μοναδικό γνωστό αντίγραφο του έργου «Περί μεθόδου μηχανικών θεωρημάτων» αναπτύσσεται ένας μαθηματικός συλλογισμός, το «ενεργεία άπειρο», ο οποίος δεν συναντάται σε κανένα άλλο μαθηματικό κείμενο της αρχαιότητας. Μεταξύ άλλων, ο Αρχιμήδης (287-212 π.Χ.) στο συγκεκριμένο έργο του υποστηρίζει πως 2 διαφορετικά σύνολα γραμμών είναι ίσα σε πλήθος, αν και είναι σαφές ότι είναι άπειρα. Οι συλλογισμοί για την έννοια του απόλυτου απείρου άρχισαν δειλά-δειλά να υπεισέρχονται στα μαθηματικά τον 16ο και 17ο αιώνα, για να αναπτυχθούν πλήρως κατά τα τέλη του 19ου αιώνα και μετά. Σημειώνεται ότι με την επεξεργασία του χειρογράφου έγινε δυνατόν να διαβαστούν περίπου οκτώ γραμμές από την πρόταση 14 της πραγματείας αυτής.
Ακόμα, τα χειρόγραφα του Αρχιμήδη θέτουν τις βάσεις για την επινόηση του μαθηματικού (γεωμετρικού) συλλογισμού. Μάλιστα, το παλίμψηστο περιέχει και δεκάδες διαγράμματα του Αρχιμήδη, καθοριστικά στην ανάπτυξη του συλλογισμού, καθώς όπως προκύπτει το κείμενο ήταν απλώς συνοδευτικό του σχήματος.Η μελέτη του αποσπάσματος από το «Στομάχιον» ή «Οστομάχιον» έδειξε πως πρόκειται για την αρχαιότερη πραγματεία περί συνδυαστικής -η οποία αποτελεί μία από τις βάσεις της πληροφορικής. Ο Αρχιμήδης προσπαθούσε να βρει με πόσους τρόπους δεκατέσσερα επίπεδα σχήματα μπορούν να συνενωθούν και να ανασυνδυαστούν ώστε να σχηματιστεί τέλειο ένα τετράγωνο. Η απάντηση είναι: 17.152.
