Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [58 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01119489
Contributor : Hourya Benis Sinaceur Connect in order to contact the contributor
Submitted on : Monday, February 23, 2015 - 12:48:47 PM
Last modification on : Friday, April 29, 2022 - 10:12:29 AM
Long-term archiving on: : Wednesday, May 27, 2015 - 9:47:02 AM

File

2001_synthese_n126_49-65-Alfre...
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

266

Files downloads

950