| Catalan |
| has gloss | cat: La diagonalització de Cantor, també coneguda com mètode diagonal, és una prova matemàtica albirada per Georg Cantor per a demostrar que el conjunt dels nombres reals no és numerable. |
| lexicalization | cat: Diagonalització de Cantor |
| Czech |
| has gloss | ces: Cantorova diagonální metoda je matematický důkaz, pomocí kterého Georg Cantor ukázal, že množina všech reálných čísel je nespočetná. |
| lexicalization | ces: Cantorova diagonální metoda |
| German |
| has gloss | deu: Cantors zweites Diagonalargument ist ein mathematischer Beweis dafür, dass die Menge der reellen Zahlen überabzählbar ist, und allgemeiner, dass die Abbildungen einer Menge nach 0,1} sowie die Potenzmenge einer Menge mächtiger als diese Menge sind. Der Mathematiker Georg Cantor fand diesen Beweis im Jahr 1877 und gab die beiden Verallgemeinerungen 1891 und 1899 an. |
| lexicalization | deu: Cantors zweites Diagonalargument |
| Estonian |
| has gloss | est: Cantori diagonaaltõestus on Georg Cantorilt pärinev tõestus, et reaalarvude hulk ei ole loenduv. |
| lexicalization | est: Cantori diagonaaltõestus |
| Finnish |
| has gloss | fin: Cantorin diagonaaliargumentti on Georg Cantorin esittämä matemaattinen todistus sille, että reaalilukujen joukko ei ole numeroituvasti ääretön vaan ylinumeroituva. |
| lexicalization | fin: Cantorin diagonaaliargumentti |
| French |
| has gloss | fra: Largument de la diagonale, ou argument diagonal fut découvert par le mathématicien allemand Georg Cantor (1845-1918) et publié en 1891. Il permit à ce dernier de donner une deuxième démonstration de la non-dénombrabilité de lensemble des nombres réels, beaucoup plus simple, selon Cantor lui-même, que la première quil avait publiée en 1874 , et qui utilisait des arguments danalyse, en particulier le théorème des segments emboîtés. Largument diagonal fut exploité dans un cadre plus général par Cantor dans le même article pour son théorème sur la cardinalité de lensemble des parties d'un ensemble. |
| lexicalization | fra: Argument de la diagonale de Cantor |
| Hebrew |
| has gloss | heb: האלכסון של קנטור - הוכחתו של גאורג קנטור שהמספרים הממשיים אינם בני מנייה כלומר, לא קיימת התאמה חד-חד ערכית בינם לבין המספרים הטבעיים. |
| lexicalization | heb: האלכסון של קנטור |
| Hungarian |
| has gloss | hun: Az átlós eljárás, vagy diagonális módszer a matematika egy Cantor által alkalmazott bizonyítási metódusa. Leggyakrabban a rekurzív függvények matematikájában alkalmazzák olyan esetekben, amikor azt szeretnék igazolni, hogy egy univerzális kiszámítási tulajdonsággal rendelkező függvény nem eleme annak a függvényosztálynak, melynek kiszámítására hivatott. Természetesen a módszer a matematika más területein is alkalmazható. Cantor eredetileg arra használta, hogy bebizonyítsa, hogy a valós számok halmazának számossága nagyobb a természetes számok számosságánál. |
| lexicalization | hun: átlós eljárás |
| Italian |
| has gloss | ita: L argomento diagonale di Cantor è una tecnica dimostrativa con cui Georg Cantor ha dimostrato la non numerabilità dei numeri reali. La tecnica di Cantor è stata usata in numerose varianti per ottenere risultati nellambito della logica matematica e della teoria della calcolabilità. |
| lexicalization | ita: Argomento diagonale di Cantor |
| Japanese |
| has gloss | jpn: カントールの対角線論法（カントールのたいかくせんろんぽう）は、数学における証明テクニックの一つで、1891年にゲオルグ・カントールによって非可算濃度を持つ集合の存在を示した論文 の中で用いられたのが最初だとされている。 対角線論法はその後、数学基礎論や計算機科学の定理を証明するのに使われる代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。 |
| lexicalization | jpn: カントールの対角線論法 |
| Georgian |
| has gloss | kat: კანტორის დიაგონალური არგუმენტი - ამ სახელით ცნობილია ხერხი რომელიც პირველად გეორგ კანტორმა გამოიყენა ნამდვილი რიცხვების სიმრავლის არათვლადობის დასამტკიცებლად. |
| lexicalization | kat: კანტორის დიაგონალური არგუმენტი |
| Korean |
| has gloss | kor: 칸토어의 대각선 논법은 실수가 셀 수 있는 무한이 아니라는 것을 보여주기 위해 게오르크 칸토어가 고안한 수학적 증명이다. |
| lexicalization | kor: 대각선 논법 |
| Lombard |
| has gloss | lmo: Largument de la diagunala de Cantor a lè una demustraziun del matematich tudesch Georg Cantor de la minga cüntabilità del cungiunt di nümer reaj. |
| lexicalization | lmo: Argument de la diagunala de Cantor |
| Dutch |
| has gloss | nld: Het diagonaalbewijs van Cantor (ook: de diagonaalmethode van Cantor) is een bewijs, afkomstig van de wiskundige Georg Cantor, dat de kardinaliteit van de verzameling van reële getallen groter is dan die van de verzameling van natuurlijke getallen. De verzameling natuurlijke getallen is aftelbaar. Als er geen bijectie van de verzameling natuurlijke getallen met een willekeurige verzameling X gemaakt kan worden, wordt verzameling X overaftelbaar genoemd. |
| lexicalization | nld: diagonaalbewijs van Cantor |
| Polish |
| has gloss | pol: Rozumowanie przekątniowe to klasyczny przykład rozumowania w dowodzie nie wprost. Za jego pomocą można wykazać na przykład, że moc zbioru liczb rzeczywistych z przedziału [0,1] jest większa od mocy zbioru liczb naturalnych. Natychmiastowy wniosek z tego faktu podawany jest obrazowo: liczb rzeczywistych jest więcej niż liczb naturalnych. |
| lexicalization | pol: Metoda przekątniowa |
| Portuguese |
| has gloss | por: O argumento de diagonalização de Cantor é uma prova matemática imaginada por Georg Cantor para demonstrar que os números reais não são contavelmente infinitos (ou, equivalentemente, não formam um conjunto infinito enumerável). |
| lexicalization | por: Argumento de diagonalização de Cantor |
| Slovenian |
| has gloss | slv: Cantorjev diagonalni dokaz je matematični dokaz, s katerim je Georg Ferdinand Cantor leta 1877 pokazal, da realnih števil ni števno neskončno. To pomeni, da je realnih števil več kot naravnih, čeprav sta obe množici neskončni. |
| lexicalization | slv: Cantorjev diagonalni dokaz |
| Castilian |
| has gloss | spa: La diagonalización de Cantor, también conocida como método diagonal, es una prueba matemática vislumbrada por Georg Cantor para demostrar que los números reales no son contables. |
| lexicalization | spa: Diagonalizacion de Cantor |
| lexicalization | spa: Diagonalización de Cantor |
| Tamil |
| has gloss | tam: கேண்டரின் கோணல்கோடு நிறுவல்முறை அல்லது கேண்டரின் கோணல்கோடு வாதம் (Cantor's diagonal argument) என்பது கியார்கு கேன்ட்டர் என்ற கணித அறிஞர் மெய்யெண்கள் (real numbers) எண்ணவியலா முடிவிலிகள் (uncountably infinite) என்று நிறுவுதற் பொருட்டு கையாண்ட நிறுவல் முறையைக் குறிக்கும். இந்த கணித உண்மைக்கு அவர் ஏற்கெனவே வேறு ஒரு முறையில் நிறுவல் வழங்கியிருந்தார் என்பது குறிப்பிடத்தக்கது. இருப்பினும், இதே முறையைக் கொண்டு பல முடிவிலி கணங்களின் (sets) எண்ணவியலா தன்மையை நிறுவ முடிந்தது. இதன் விளைவாக இவ்வாறான அனைத்து நிறுவல்களுக்கும் "கோணல்கோடு சார்பின் மாறி" என்பது பொதுப் பெயராயிற்று. |
| lexicalization | tam: கேண்டரின் கோணல்கோடு நிறுவல்முறை |
| Thai |
| has gloss | tha: การอ้างเหตุผลแนวทแยงของคันทอร์ (Cantor's diagonal argument) เป็นวิธีการพิสูจน์ของ เกออร์ก คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite). |
| lexicalization | tha: การอ้างเหตุผลแนวทแยงของคันทอร์ |
| Turkish |
| lexicalization | tur: Cantor'un köşegen yöntemi |
| Chinese |
| has gloss | zho: 对角论证法是乔治·康托尔提出的用于说明实数集合是不可数集的证明。 |
| lexicalization | zho: 對角論證法 |
