Alfred Tarski: Semantic shift, heuristic shift in metamathematics

Hourya Benis Sinaceur (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

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.

Mots clés: history of mathematics; metamathematics

Mots clés: histoire des mathématiques; métamathématiques

Domaines: Histoire, Philosophie et Sociologie des sciences

Hourya Benis Sinaceur. Alfred Tarski: Semantic shift, heuristic shift in metamathematics. Synthese, 2001, 126 (1-2), pp.49-65. ⟨10.1023/A:1005268531418⟩. ⟨halshs-01119489⟩