Alfred Tarski: Semantic shift, heuristic shift in metamathematics

Abstract : 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.
Type de document :
Article dans une revue
Synthese, Springer Verlag (Germany), 2001, 126 (1-2), pp.49-65. 〈www.springer.com〉. 〈10.1023/A:1005268531418〉
Liste complète des métadonnées

Littérature citée [58 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-01119489
Contributeur : Hourya Benis Sinaceur <>
Soumis le : lundi 23 février 2015 - 12:48:47
Dernière modification le : mardi 2 octobre 2018 - 16:08:44
Document(s) archivé(s) le : mercredi 27 mai 2015 - 09:47:02

Fichier

2001_synthese_n126_49-65-Alfre...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Hourya Benis Sinaceur. Alfred Tarski: Semantic shift, heuristic shift in metamathematics. Synthese, Springer Verlag (Germany), 2001, 126 (1-2), pp.49-65. 〈www.springer.com〉. 〈10.1023/A:1005268531418〉. 〈halshs-01119489〉

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

513