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

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

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

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

>

Πηγή: zenonlig

📘

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώ

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →