Tarski's undefinability theorem ingelesa (Q574902)
Nabigaziora joan
Bilaketara joan
theorem that truth in the standard model of a formal system cannot be defined within the system ingelesa
Hizkuntza | Etiketa | Deskribapena | Goitizenak |
---|---|---|---|
euskara | Ez da etiketarik zehaztu |
Ez da deskribapenik zehaztu |
|
ingelesa | Tarski's undefinability theorem |
theorem that truth in the standard model of a formal system cannot be defined within the system |
Adierazpenak
Identifikatzaileak
Erreferentzia bat
Freebase Data Dumps ingelesa
28 urria 2013
Sitelinks
Wikipedia(11 sarrera)
- dewiki Tarskis Undefinierbarkeitssatz
- enwiki Tarski's undefinability theorem
- eswiki Teorema de indefinibilidad de Tarski
- frwiki Théorème de Tarski
- hewiki משפט האי-גדירות של טרסקי
- itwiki Teorema di indefinibilità di Tarski
- jawiki タルスキの定義不可能性定理
- kowiki 타르스키의 정의 불가능성 정리
- ptwiki Teorema da indefinibilidade de Tarski
- ruwiki Теорема Тарского о невыразимости истины
- zhwiki 塔斯基不可定義定理