Alfred Tarski: Semantic shift, heuristic shift in metamathematics
Résumé
With his proof theory, Hilbert created one of the three fundamental trends of metamathematical research which, along with recursion theory and model theory, nowadays constitute the scope of mathematical logic. I shall not look at recursion theory here. Rather, I will examine how Tarski developed Hilbertian metamathematics in order to create the basis of a new domain of mathematical logic, i.e., model theory.
Origine :
Fichiers produits par l'(les) auteur(s)
Loading...