Gödel's completeness theorem ingelesa (Q902052)
Nabigaziora joan
Bilaketara joan
fundamental theorem in mathematical logic ingelesa
| Hizkuntza | Etiketa | Deskribapena | Goitizenak |
|---|---|---|---|
| default for all languages | Ez da etiketarik zehaztu |
||
| euskara | Ez da etiketarik zehaztu |
Ez da deskribapenik zehaztu |
|
| ingelesa | Gödel's completeness theorem |
fundamental theorem in mathematical logic |
Adierazpenak
1929
0 erreferentzia
Identifikatzaileak
Erreferentzia bat
Freebase Data Dumps ingelesa
28 urria 2013
MathWorld ID ingelesa
Erreferentzia bat
Sitelinks
Wikipedia(18 sarrera)
- cswiki Gödelova věta o úplnosti predikátové logiky
- cvwiki Гёделĕн туллилĕх теореми
- dewiki Gödelscher Vollständigkeitssatz
- enwiki Gödel's completeness theorem
- eswiki Teorema de completitud de Gödel
- fawiki قضیه تمامیت گودل
- frwiki Théorème de complétude de Gödel
- hewiki משפט השלמות של גדל
- huwiki Gödel teljességi tétele
- itwiki Teorema di completezza di Gödel
- jawiki ゲーデルの完全性定理
- kowiki 괴델의 완전성 정리
- nlwiki Volledigheidsstelling van Gödel
- ptwiki Teorema da completude de Gödel
- ruwiki Теорема Гёделя о полноте
- srwiki Геделова теорема о потпуности
- ukwiki Теорема Геделя про повноту
- zhwiki 哥德尔完备性定理