Metadata
Author: WikiMatrix
Data
Greek[el]
Και οι δύο έχουν τυπώσει την ακόλουθη υποσημείωση * στον όγκο Davis από τον Κουρτ Γκέντελ το 1965: «Για να είμαι πιο ακριβής: η λειτουργία των ακεραίων είναι υπολογίσιμη σε κάθε επίσημο σύστημα που περιέχει αριθμητική αν και μόνο αν είναι υπολογίσιμη στην αριθμητική, όπου η συνάρτηση f ονομάζεται υπολογίσιμη στο S αν υπάρχει σε ένα υπολογίσιμο S που αντιπροσωπεύει την f» (σελ. 150).
Spanish[es]
Ambas reimpresiones tienen la siguiente nota a pie de página * añadida al volumen de Davis por Gödel en 1965: "Para ser más precisos: una función que trabaje sobre los enteros es computable por cualquier sistema formal que contenga la aritmética si y solo si es computable en la aritmética, donde una función f se denomina computable en S si hay en S un término computable representando f (p.