Αρχεία για 2 Νοεμβρίου 2011

Νοέ 02 2011

Mαθηματική Θεμελίωση – μια συνέντευξη του Jean Yves Girard (CNRS – Γαλλία)

Ο Jean Yves Girard είναι σήμερα ένας απο τους κορυφαίους μαθηματικούς που έχει σαν αντικείμενο τη Λογική και Προγραμματισμό. Η ομιλία έχει σαν θέμα 1) Αριθμητική Peano 2) Mαθηματικά vs Πληροφορική 3) Παράδοξα 4) Φορμαλισμός 5) Μη πληρότητα 6) Intutionnisme H αφίσσα Prosklisi Μια εισαγωγή στις συναρτήσεις Weierstrass (συνεχείς αλλά όχι παραγωγίσιμες) Ζ. Λυγάτσικα con_der […]

Μία απάντηση μέχρι τώρα