This is an attempt to clarify the different senses of the expression “Tarski’s theorem”, according to different presentations. In the most usual one, it’s defended that the priority should be attributed to Gödel, rather than to Tarski. The views of Tarski and Gödel are also presented and compared. Some unpublished material is also used.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Is Tarski’s Theorem Really Tarski’s?

  • Francisco Rodríguez-Consuegra

摘要

This is an attempt to clarify the different senses of the expression “Tarski’s theorem”, according to different presentations. In the most usual one, it’s defended that the priority should be attributed to Gödel, rather than to Tarski. The views of Tarski and Gödel are also presented and compared. Some unpublished material is also used.