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

Ο Jean Yves Girard είναι σήμερα ένας απο τους κορυφαίους μαθηματικούς που έχει σαν αντικείμενο τη Λογική και Προγραμματισμό.

Η ομιλία έχει σαν θέμα:
1) Αριθμητική Peano
2) Mαθηματικά vs Πληροφορική
3) Παράδοξα
4) Φορμαλισμός
5) Μη πληρότητα
6) Intutionnisme

Το κείμενο της ομιλίας του J.Y. Girard. Mετάφραση Ζ. Λυγάτσικα.

>

Πηγή: zenonlig