MathJax

Εμφάνιση αναρτήσεων με ετικέτα PCF. Εμφάνιση όλων των αναρτήσεων
Εμφάνιση αναρτήσεων με ετικέτα PCF. Εμφάνιση όλων των αναρτήσεων

Παρασκευή 22 Ιουλίου 2016

«Αποτελεσματικότητα και ολικότητα»

Στο πολύ ωραίο (και αρκετά λάιτ) αρθράκι [Berger 1999], πρόδρομο του --πάνω-κάτω ίδιου-- [Berger 2002], ο Ούλριχ Μπέργκερ γράφει μιά πολύ συνοπτική, αλλα αρκετά ζουμερή ρετροσπεκτίβα της ανώτερης υπολογισιμότητας μέσω πεδίων Σκότ, και συγκεκριμένα όσον αφορά τα δύο κομβικά θέματα της αποτελεσματικότητας (effectivity/effectiveness) και της ολικότητας (totality).