mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Seminars » 2009-2010 » Κ. Δημητρακόπουλος, 2010-03-05

{ prev, contents, next }

Navigator

Fortune cookie

“Since the beginning of the century, computational procedures have become so complicated that any progress by those means has become impossible, without the elegance which modern mathematicians have brought to bear on their research, and by means of which the spirit comprehends quickly and in one step a great many computations. It is clear that elegance, so vaunted and so aptly named, can have no other purpose. ... Go to the roots, of these calculations! Group the operations. Classify them according to their complexities rather than their appearances! This, I believe, is the mission of future mathematicians. This is the road on which I am embarking in this work. From the preface to his final manuscript.”

Évariste Galois.

download seminar details: { pdf }

Seminar

Photo of Dimitracopoulos

Speaker:	Κωνσταντίνος Δημητρακόπουλος (Καθηγητής, Τμήμα Μεθοδολογίας, Ιστορίας και Θεωρίας της Επιστήμης ΕΚΠΑ, ΕΚΠΑ)
Title:	Truth definitions and subsystems of Peano Arithmetic (Part II)
Date:	Παρασκευή, 05 Μάρ 2010
Ώρα:	18:00-19:00

Comments

You must be logged in to comment.

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.