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 metadatas

Cited literature [58 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01119489
Contributor : Hourya Benis Sinaceur <>
Submitted on : Monday, February 23, 2015 - 12:48:47 PM
Last modification on : Tuesday, October 2, 2018 - 4:08:44 PM
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. ⟨www.springer.com⟩. ⟨10.1023/A:1005268531418⟩. ⟨halshs-01119489⟩

Share

Metrics

Record views

250

Files downloads

632