In 1924, in a lecture hall in GöttingenPlaceGöttingenA city in Lower Saxony, Germany, centred on its historic university. During the late nineteenth and early twentieth centuries, it served as the global epicentre of mathematical thought. The university was home to a mandarin class of scholars including Gauss, Riemann, and Hilbert, whose work in the local lecture halls fundamentally reshaped the foundations of logic, physics, and geometry.德国下萨克森州的一座城市,以历史悠久的大学为中心。在19世纪末至20世纪初,这里曾是全球数学思想的中心。大学曾汇聚了一大批杰出学者,包括高斯、黎曼和希尔伯特,他们在当地的讲堂中进行的研究彻底重塑了逻辑学、物理学和几何学的基础。Una ciudad en Baja Sajonia, Alemania, centrada en su universidad histórica. Durante finales del siglo XIX y principios del XX, sirvió como epicentro mundial del pensamiento matemático. La universidad fue hogar de una élite de eruditos, incluyendo a Gauss, Riemann y Hilbert, cuyo trabajo en las aulas locales transformó fundamentalmente las bases de la lógica, la física y la geometría.مدينة تقع في ولاية ساكسونيا السفلى بألمانيا، ومركزها جامعتها التاريخية. وكانت خلال أوائل القرن التاسع عشر وأواخر القرن العشرين مركز العالم للفكر الرياضي. وكانت الجامعية مقرًا لطبقة من العلماء البارزين مثل غاوس وريمان وهيلبرت، حيث ساهمت أعمالهم في قاعات المحاضرات المحلية في إعادة تشكيل الأسس الأساسية للمنطق والفيزياء والهندسة.Uma cidade na Baixa Saxônia, Alemanha, centrada na sua universidade histórica. Durante o final do século XIX e início do século XX, serviu como epicentro global do pensamento matemático. A universidade abrigava uma classe de eruditos de elite, incluindo Gauss, Riemann e Hilbert, cujo trabalho nas salas de aula locais transformou fundamentalmente as bases da lógica, física e geometria.जर्मनी के लोअर सैक्सोनी में एक शहर, जिसका केंद्र उसके ऐतिहासिक विश्वविद्यालय पर है। उत्तरी ऊन्नीसवीं और दक्षिणी बीसवीं शताब्दियों के दौरान, यह गणितीय विचारों का वैश्विक केंद्र बिंदु था। विश्वविद्यालय में गॉस, रीमान और हिलबर्ट जैसे विद्वानों की एक वर्ग था, जिनका स्थानीय लेक्चर हॉल में कार्य तर्क, भौतिकी और ज्यामिति की नींव को मौलिक रूप से पुनर्निर्माण करता रहा।Sebuah kota di Niedersachsen, Jerman, yang berpusat pada universitas bersejarahnya. Pada akhir abad sembilan belas dan awal abad dua puluh, kota ini menjadi pusat global pemikiran matematika. Universitas menjadi tempat tinggal kelas mandarin para ilmuwan termasuk Gauss, Riemann, dan Hilbert, siapa karya mereka di aula kuliah setempat secara mendasar mengubah dasar-dasar logika, fisika, dan geometri.Une ville de Basse-Saxe, en Allemagne, centrée sur son université historique. À la fin du dix-neuvième et au début du vingtième siècle, elle fut le centre mondial de la pensée mathématique. L'université abritait une élite de savants tels que Gauss, Riemann et Hilbert, dont les travaux effectués dans les amphithéâtres locaux ont profondément transformé les fondements de la logique, de la physique et de la géométrie.ドイツのノルトライン=ヴェストファーレン州にある都市で、歴史ある大学をその中心としている。19世紀末から20世紀初頭にかけて、この都市は世界の数学思想の中心地となった。大学にはガウス、リーマン、ヒルベルトといった優れた学者たちが集まり、地元の講義室で行われた彼らの研究は、論理学・物理学・幾何学の基礎を根本的に変えた。Город в Нижней Саксонии, Германия, сосредоточенный вокруг исторического университета. В конце XIX и начале XX века он стал мировым эпицентром математической мысли. В университете работала элита учёных, включая Гаусса, Римана и Гильберта, чья работа в местных аудиториях существенно изменила основы логики, физики и геометрии.Eine Stadt in Niedersachsen, Deutschland, mit ihrem historischen Universitätszentrum. Während des späten neunzehnten und frühen zwanzigsten Jahrhunderts war sie das globale Epizentrum mathematischer Gedanken. An der Universität lebte und wirkte eine Elite von Gelehrten wie Gauß, Riemann und Hilbert, deren Arbeit in den lokalen Vorlesungssälen die Grundlagen von Logik, Physik und Geometrie grundlegend neu gestaltete.독일 라우어 땅스라시의 도시로, 역사적인 대학교가 중심이다. 19세기 말에서 20세기 초까지 이 도시는 수학 사상의 세계적 중심지였다. 이 대학교는 가우스, 리만, 힐베르트를 포함한 학자들의 명문 계급이 있었으며, 그들의 현지 강의실에서 이루어진 연구는 논리, 물리학, 기하학의 기초를 근본적으로 재구성하였다., the mathematician David Hilbert
PersonDavid HilbertGerman mathematician (1862–1943) who set the agenda for early twentieth-century mathematics with his list of 23 unsolved problems in 1900. His foundational programme sought a complete, consistent, finitely-checkable axiom system for all of mathematics. Gödel's 1931 paper showed the programme as originally stated was impossible. Hilbert never publicly accepted the verdict.德国数学家(1862—1943),1900年提出23个未解难题,为二十世纪初的数学研究确立了议程。其奠基性纲领旨在为整个数学建立一套完备、相容且可有限步骤检验的公理体系。哥德尔1931年的论文表明,按最初表述的该纲领无法实现。希尔伯特从未公开承认这一结论。Matemático alemán (1862-1943) que fijó la agenda de las matemáticas de comienzos del siglo XX con su lista de 23 problemas no resueltos en 1900. Su programa fundacional buscaba un sistema axiomático completo, consistente y verificable de manera finita para toda la matemática. El artículo de Gödel de 1931 demostró que el programa, tal como se había formulado originalmente, era imposible. Hilbert nunca aceptó públicamente el veredicto.عالم رياضيات ألماني (1862–1943) رسم أجندة الرياضيات في مطلع القرن العشرين بقائمته المؤلفة من 23 مسألة غير محلولة عام 1900. سعى برنامجه التأسيسي إلى إرساء منظومة بديهيات كاملة ومتسقة وقابلة للتحقق بخطوات منتهية لجميع فروع الرياضيات. أثبتت ورقة غودل عام 1931 استحالة البرنامج بصيغته الأصلية. لم يُقرّ هيلبرت علنًا بهذا الحكم قط.Matemático alemão (1862–1943) que definiu a agenda da matemática do início do século XX com sua lista de 23 problemas não resolvidos em 1900. Seu programa fundacional buscava um sistema axiomático completo, consistente e finitamente verificável para toda a matemática. O artigo de Gödel de 1931 mostrou que o programa, tal como originalmente formulado, era impossível. Hilbert nunca aceitou publicamente o veredicto.जर्मन गणितज्ञ (1862–1943) जिन्होंने 1900 में 23 अनसुलझी समस्याओं की अपनी सूची से बीसवीं सदी के आरंभिक गणित का एजेंडा निर्धारित किया। उनके आधारभूत कार्यक्रम का उद्देश्य समस्त गणित के लिए एक पूर्ण, संगत और परिमित रूप से जाँचने योग्य अभिगृहीत प्रणाली प्राप्त करना था। गोडेल के 1931 के शोधपत्र ने दिखाया कि कार्यक्रम अपने मूल रूप में असंभव था। हिल्बर्ट ने इस निर्णय को कभी सार्वजनिक रूप से स्वीकार नहीं किया।Matematikawan Jerman (1862–1943) yang menetapkan agenda matematika awal abad kedua puluh melalui daftarnya berisi 23 masalah yang belum terpecahkan pada tahun 1900. Program fondasionalnya berupaya menghasilkan sistem aksioma yang lengkap, konsisten, dan dapat diperiksa secara finit untuk seluruh matematika. Makalah Gödel tahun 1931 menunjukkan bahwa program tersebut, sebagaimana dirumuskan semula, tidak mungkin tercapai. Hilbert tidak pernah secara terbuka menerima putusan itu.Mathématicien allemand (1862-1943) qui fixa le programme des mathématiques du début du XXe siècle avec sa liste de 23 problèmes non résolus en 1900. Son programme fondationnel visait un système d'axiomes complet, cohérent et vérifiable de manière finitaire pour l'ensemble des mathématiques. L'article de Gödel en 1931 montra que le programme, tel qu'il avait été initialement formulé, était impossible. Hilbert n'accepta jamais publiquement ce verdict.ドイツの数学者(1862–1943)。1900年に発表した23の未解決問題の一覧によって、20世紀初頭の数学の方向性を定めた。彼の基礎論プログラムは、数学全体について完全かつ無矛盾で有限的に検証可能な公理系を打ち立てることを目指した。1931年のゲーデルの論文は、当初提示されたままの形ではこのプログラムが実現不可能であることを示した。ヒルベルトはこの判決を公には決して受け入れなかった。Немецкий математик (1862–1943), задавший повестку математики начала XX века своим списком из 23 нерешённых проблем 1900 года. Его программа обоснования математики ставила целью построение полной, непротиворечивой и финитно проверяемой аксиоматической системы для всей математики. Работа Гёделя 1931 года показала, что программа в её первоначальной формулировке невыполнима. Гильберт публично так и не признал этот вердикт.Deutscher Mathematiker (1862–1943), der mit seiner Liste von 23 ungelösten Problemen im Jahr 1900 die Agenda der Mathematik des frühen zwanzigsten Jahrhunderts setzte. Sein grundlagentheoretisches Programm zielte auf ein vollständiges, widerspruchsfreies und finit prüfbares Axiomensystem für die gesamte Mathematik. Gödels Arbeit von 1931 zeigte, dass das Programm in seiner ursprünglichen Fassung unmöglich war. Hilbert hat dieses Urteil nie öffentlich akzeptiert.독일 수학자(1862–1943)로, 1900년 23개의 미해결 문제 목록을 발표하며 20세기 초 수학의 의제를 설정하였다. 그의 기초론 강령은 모든 수학에 대한 완전하고 무모순이며 유한적으로 검증 가능한 공리계를 추구하였다. 1931년 괴델의 논문은 본래 제시된 형태의 이 강령이 불가능함을 보였다. 힐베르트는 끝내 이 판결을 공개적으로 받아들이지 않았다. presented a thought experiment that remains the most effective tool for breaking the human intuition of size. He proposed a hotel with an infinite number of rooms. Unlike a finite hotel, which must turn away travellers once its registers are full, Hilbert’s Grand Hotel is both perpetually full and perpetually accommodating. It is a demonstration that infinity is not merely a very large number, but a different category of existence entirely.
The paradox begins with a single late arrival. The hotel is full—every room, from Room 1 to Room $n$, is occupied. Yet the manager does not apologise. He simply asks the guest in Room 1 to move to Room 2, the guest in Room 2 to move to Room 3, and generally, the guest in Room $n$ to move to Room $n+1$. Because the rooms never end, everyone still has a bed, and Room 1 stands empty for the newcomer. In the arithmetic of the infinite, $\infty + 1 = \infty$.
The infinite convoy
The manager’s problem scales. Shortly after the first guest is settled, an infinitely long bus arrives, carrying a countably infiniteConceptcountable infinityA mathematical concept describing the size of a set whose elements can be paired one-to-one with the natural numbers. Denoted by the symbol aleph-null, it is the smallest possible infinite size. Though it contains an endless number of items, they can be arranged in a sequence or list, a property that distinguishes it from the denser uncountable infinities found in the real number line.一个数学概念,用于描述其元素可以与自然数一一对应的集合的大小。以符号阿列夫零表示,它是可能的最小无限大小。尽管它包含无限多个元素,但这些元素可以按顺序排列成一个序列或列表,这一特性使其区别于实数线上更密集的不可数无限。Un concepto matemático que describe el tamaño de un conjunto cuyos elementos pueden emparejarse uno a uno con los números naturales. Denotado por el símbolo aleph-null, es el tamaño infinito más pequeño posible. Aunque contiene un número interminable de elementos, estos pueden ordenarse en una secuencia o lista, una propiedad que lo distingue de los infinitos no numerables y más densos encontrados en la recta numérica real.مُفهوم رياضي يصف حجم مجموعة يمكن ترتيب عناصرها بشكل واحد لواحد مع الأعداد الطبيعية. ويرمز إليه بالرمز أليف-صفر، وهو أصغر حجم لا نهائي ممكن. وعلى الرغم من احتوائه على عدد لا نهائي من العناصر، فإنه يمكن ترتيبها في تسلسل أو قائمة، وهي خاصية تميزه عن اللانهايات غير القابلة للعد والكثيفة التي توجد في مستقيم الأعداد الحقيقية.Um conceito matemático que descreve o tamanho de um conjunto cujos elementos podem ser emparelhados um a um com os números naturais. Representado pelo símbolo aleph-null, é o menor tamanho infinito possível. Embora contenha um número interminável de itens, estes podem ser dispostos em uma sequência ou lista, uma propriedade que o distingue dos infinitos incontáveis e mais densos encontrados na reta numérica real.गणितीय अवधारणा जो एक ऐसे समुच्चय के आकार का वर्णन करती है जिसके तत्वों को प्राकृतिक संख्याओं के साथ एक-एक करके मिलाया जा सकता है। इसे अलेफ-शून्य चिह्न द्वारा निरूपित किया जाता है, यह संभवतः सबसे छोटा अनंत आकार है। यद्यपि इसमें अंतहीन वस्तुएँ होती हैं, फिर भी इन्हें एक क्रम या सूची में व्यवस्थित किया जा सकता है, यह गुण इसे वास्तविक संख्या रेखा में पाए जाने वाले घने अगणनीय अनंत से अलग करता है।Konsep matematika yang menggambarkan ukuran suatu himpunan yang elemen-elemennya dapat dipasangkan satu-ke-satu dengan bilangan-bilangan asli. Dinyatakan dengan simbol aleph-null, ini merupakan ukuran tak hingga yang paling kecil. Meskipun mengandung jumlah tak terbatas dari objek, mereka dapat diatur dalam suatu urutan atau daftar, sifat yang membedakannya dari ketakterhinggaan tak terhitung yang lebih padat yang ditemukan pada garis bilangan real.Un concept mathématique décrivant la taille d'un ensemble dont les éléments peuvent être mis en correspondance un-à-un avec les nombres naturels. Désigné par le symbole aleph-zéro, il s'agit de la plus petite taille infinie possible. Bien qu'il contienne un nombre infini d'éléments, ceux-ci peuvent être ordonnés en une séquence ou une liste, propriété qui le distingue des infinis non dénombrables plus denses trouvés sur la droite des nombres réels.可算無限(かさんむげん)とは、その要素が自然数と一対一で対応付けられる集合の大きさを表す数学的概念である。記号ではアレフゼロ(ℵ₀)で表され、無限の大きさの中で最小のものである。これは無限個の要素を含んでいるにもかかわらず、それらを列やリストとして並べることができ、この性質は実数直線上に見られるより密な非可算無限(ひかさんむげん)と区別される。Математическое понятие, описывающее размер множества, элементы которого можно сопоставить один к одному с натуральными числами. Обозначается символом алеф-нуль, это наименьший возможный бесконечный размер. Несмотря на то, что он содержит бесконечное количество элементов, их можно расположить в последовательность или список, свойство, которое отличает его от более плотных несчетных бесконечностей, встречающихся на числовой прямой.Ein mathematischer Begriff, der die Größe einer Menge beschreibt, deren Elemente eineindeutig mit den natürlichen Zahlen abgepaart werden können. Bezeichnet durch das Symbol Aleph-null, ist es die kleinste mögliche unendliche Größe. Obwohl es unendlich viele Elemente enthält, können diese in eine Folge oder Liste geordnet werden, eine Eigenschaft, die es von den dichteren unzählenbaren Unendlichkeiten unterscheidet, wie sie sich auf der reellen Zahlengeraden finden.집합의 크기를 수학적으로 설명하는 개념으로, 집합의 원소들이 자연수와 일대일로 짝지어질 수 있을 때 사용된다. 기호로 알레프-영(ℵ₀)으로 표기하며, 가능한 가장 작은 무한의 크기이다. 무한히 많은 원소를 포함하지만, 이들을 일정한 순서나 목록으로 배열할 수 있는 것이 특징이다. 이는 실수의 수직선에서 발견되는 더 밀집된 비가산 무한과 구분되는 성질이다. number of new travellers. To accommodate them, the manager applies a different rule: he asks every current guest to move to the room number exactly double their own. The guest in Room 1 goes to Room 2; the guest in Room 10 goes to Room 20. This shift instantly vacates every odd-numbered room—of which there are an infinite number—leaving space for the entire busload.
The complexity peaks when an infinite fleet of infinite buses arrives. To solve this, the manager turns to the properties of prime numbers, a trick that relies on the fundamental theorem of arithmetic. He assigns the current guests to powers of the first prime, 2 (Room $2^n$). The guests on the first bus are assigned to powers of the next prime, 3 (Room $3^n$). The second bus takes powers of 5, the third powers of 7, and so on. Because every prime power is unique, no two guests will ever be assigned to the same room. The hotel absorbs an infinity of infinities, and yet, many rooms—such as Room 6 or Room 15—remain empty, waiting for even larger crowds.
This is the essence of aleph-null ($\aleph_0$). It describes sets that can be put into a one-to-one correspondence with the natural numbers. As long as you can list your guests, even if the list never ends, the hotel can house them. This was the breakthrough of Georg CantorPersonGeorg CantorA German mathematician who transformed the study of the infinite from a philosophical problem into a rigorous branch of mathematics. By developing set theory, he proved that infinities come in different sizes, a discovery that was initially rejected with hostility by his peers. His work eventually provided the foundational language for almost all of modern mathematics, defining how we understand collections of objects.一位德国数学家,他将对无限的研究从哲学问题转变为数学的一个严谨分支。通过发展集合论,他证明了无限有不同的大小,这一发现最初遭到同行的强烈反对。他的工作最终为几乎所有现代数学提供了基础语言,定义了我们对物体集合的理解方式。Un matemático alemán que transformó el estudio del infinito de un problema filosófico en una rama rigurosa de las matemáticas. Al desarrollar la teoría de conjuntos, demostró que los infinitos tienen diferentes tamaños, un descubrimiento que inicialmente fue rechazado con hostilidad por sus colegas. Su trabajo eventualmente proporcionó el lenguaje fundamental para casi toda la matemática moderna, definiendo cómo entendemos las colecciones de objetos.عالم رياضيات ألماني حول دراسة المحدودية من مشكلة فلسفية إلى فرع رياضياتي دقيق. من خلال تطوير نظرية المجموعات، أثبت أن المحدوديات تختلف في الأحجام، اكتشاف تم رفضه في البداية بعنف من قبل زملائه. ساهم عمله في نهاية المطاف في تقديم لغة أساسية لمعظم الرياضيات الحديثة، وعرّف كيف نفهم مجموعات الأشياء.Um matemático alemão que transformou o estudo do infinito de um problema filosófico numa área rigorosa da matemática. Ao desenvolver a teoria dos conjuntos, provou que os infinitos ocorrem em tamanhos diferentes, uma descoberta que inicialmente foi rejeitada com hostilidade pelos seus pares. Seu trabalho acabou fornecendo a linguagem fundamental para quase toda a matemática moderna, definindo como entendemos coleções de objetos.एक जर्मन गणितज्ञ जिन्होंने अपरिमित के अध्ययन को दार्शनिक समस्या से गणित की एक निर्माणकारी शाखा में बदल दिया। समुच्चय सिद्धांत के विकास के माध्यम से, उन्होंने साबित किया कि अपरिमितता अलग-अलग आकारों में होती है, जो शुरुआत में उनके सहयोगियों द्वारा नापसंदी के साथ अस्वीकृत कर दी गई थी। उनके कार्य ने अंततः आधुनिक गणित के लगभग सभी भागों के लिए आधारभूत भाषा प्रदान की, जिससे हम वस्तुओं के संग्रह को कैसे समझते हैं इसकी परिभाषा हुई।Seorang matematikawan Jerman yang mengubah studi tentang tak terhingga dari sebuah masalah filosofis menjadi cabang matematika yang ketat. Dengan mengembangkan teori himpunan, ia membuktikan bahwa tak terhingga terdapat dalam ukuran yang berbeda, sebuah penemuan yang awalnya ditolak secara keras oleh rekan-rekannya. Karya-karyanya akhirnya menyediakan bahasa dasar bagi hampir seluruh matematika modern, mendefinisikan bagaimana kita memahami kumpulan objek.Mathématicien allemand qui a transformé l'étude de l'infini d'un problème philosophique en une branche rigoureuse des mathématiques. En développant la théorie des ensembles, il démontra que les infinis existent en différentes tailles, une découverte initialement rejetée avec hostilité par ses pairs. Son œuvre fournit finalement le langage fondamental pour presque toute la mathématique moderne, définissant la manière dont nous concevons les collections d'objets.無限の研究を哲学的問題から数学の厳密な分野へと転換させたドイツの数学者。集合論を開発し、無限には異なる大きさがあることを証明した。この発見は当初、同僚たちから敵意をもって拒絶された。彼の業績は最終的に、現代数学のほぼすべての基礎となる言語を提供し、我々が対象の集まりを理解する方法を定義した。Немецкий математик, который превратил изучение бесконечности из философской проблемы в строгую ветвь математики. Разработав теорию множеств, он доказал, что бесконечности бывают разного размера, открытие, которое изначально вызвало враждебную реакцию среди его коллег. Его работа в конечном итоге обеспечила фундаментальный язык для почти всей современной математики, определив, как мы понимаем множества объектов.Ein deutscher Mathematiker, der die Erforschung des Unendlichen von einem philosophischen Problem in eine exakte mathematische Disziplin verwandelte. Durch die Entwicklung der Mengenlehre bewies er, dass Unendlichkeiten unterschiedliche Größen aufweisen, eine Entdeckung, der sich seine Kollegen zunächst feindlich gegenüberstellten. Seine Arbeit stellte letztendlich die grundlegende Sprache für fast alle modernen mathematischen Disziplinen bereit und definierte, wie wir Sammlungen von Objekten verstehen.무한을 철학적 문제에서 엄격한 수학 분야로 전환시킨 독일의 수학자이다. 집합론을 개발함으로써 무한이 서로 다른 크기를 갖는다는 것을 증명했으며, 이러한 발견은 처음에는 동료들로부터 적대감을 받았다. 그의 연구는 결국 현대 수학의 거의 모든 분야에 기초가 되는 언어를 제공하게 되었으며, 우리가 객체 집합을 이해하는 방식을 정의하였다., the man who first realised that infinity is not a monolithic "forever," but a structured landscape with distinct sizes.
Different sizes of forever
Before Cantor, infinity was often treated as a "potential"—a limit that numbers approached but never reached. Cantor insisted it was an "actual" quantity that could be manipulated. He discovered that while the set of all fractions is the same size as the set of whole numbers, the set of all decimal numbers is fundamentally larger. You cannot fit the real numbers into Hilbert’s Hotel, no matter how many rooms you vacate.
To prove this, Cantor used his famous diagonal argumentConceptdiagonal argumentA formal proof published in 1891 that demonstrates the existence of different sizes of infinity. By constructing a new decimal number that differs from every number in a supposedly complete list, the argument shows that the set of real numbers is fundamentally larger than the set of integers. It remains one of the most elegant and influential proofs in the history of logic.1891年发表的一个形式化证明,展示了不同大小的无穷大存在的事实。通过构造一个与所谓完整列表中的每一个数字都不同的新小数,该论证表明实数集合本质上比整数集合更大。它仍然是逻辑史上最为优雅且影响深远的证明之一。Una demostración formal publicada en 1891 que demuestra la existencia de distintos tamaños del infinito. Al construir un nuevo número decimal que se diferencia de cada número en una lista supuestamente completa, el argumento muestra que el conjunto de los números reales es fundamentalmente más grande que el conjunto de los números enteros. Permanece como una de las demostraciones más elegantes e influyentes en la historia de la lógica.برهان رسمي نُشر عام 1891 يوضح وجود أحجام مختلفة من اللانهاية. من خلال بناء عدد عشري جديد يختلف عن كل الأعداد الموجودة في قائمة تُفترض أنها شاملة، يظهر الاستدلال أن مجموعة الأعداد الحقيقية أكبر جوهريًا من مجموعة الأعداد الصحيحة. يظل هذا البرهان واحدًا من أكثر البراهين أناقةً وتأثيرًا في تاريخ المنطق.Uma prova formal publicada em 1891 que demonstra a existência de diferentes tamanhos de infinito. Ao construir um novo número decimal que difere de cada número em uma lista supostamente completa, o argumento mostra que o conjunto dos números reais é fundamentalmente maior que o conjunto dos números inteiros. Permanece como uma das provas mais elegantes e influentes na história da lógica.1891 में प्रकाशित एक औपचारिक प्रमाण जो अनंत के भिन्न-भिन्न आकारों के अस्तित्व को दर्शाता है। एक ऐसी नई दशमलव संख्या बनाकर जो एक अपेक्षित रूप से पूर्ण सूची में प्रत्येक संख्या से भिन्न होती है, यह तर्क दर्शाता है कि वास्तविक संख्याओं का समुच्चय पूर्णांकों के समुच्चय की तुलना में मौलिक रूप से बड़ा है। यह तर्क तर्कशास्त्र के इतिहास में सबले से एक सुंदर और प्रभावशाली प्रमाणों में से एक रहा है।Bukti formal yang dipublikasikan pada tahun 1891 yang menunjukkan adanya ukuran tak hingga yang berbeda. Dengan membangun bilangan desimal baru yang berbeda dari setiap bilangan dalam daftar yang dianggap lengkap, argumen ini menunjukkan bahwa himpunan bilangan real secara mendasar lebih besar daripada himpunan bilangan bulat. Bukti ini tetap menjadi salah satu bukti yang paling elegan dan berpengaruh dalam sejarah logika.Une preuve formelle publiée en 1891 qui démontre l'existence de différentes tailles d'infini. En construisant un nouveau nombre décimal qui diffère de chaque nombre d'une liste censée être complète, l'argument montre que l'ensemble des nombres réels est fondamentalement plus vaste que l'ensemble des entiers. Il demeure l'une des preuves les plus élégantes et les plus influentes de l'histoire de la logique.1891年に発表された形式的証明で、無限の異なる大きさが存在することを示した。いわゆる完全な数の一覧に含まれるすべての数と異なる新たな10進小数を構成することで、この議論は実数の集合が整数の集合よりも本質的に大きいことを示した。これは論理学の歴史において最も優雅で影響力のある証明の一つとして残っている。Формальное доказательство, опубликованное в 1891 году, демонстрирующее существование разных размеров бесконечности. С помощью построения нового десятичного числа, отличающегося от каждого числа в предположительно полном списке, аргумент показывает, что множество действительных чисел по своей сути больше множества целых чисел. Оно остаётся одним из самых элегантных и влиятельных доказательств в истории логики.Ein formaler Beweis, der 1891 veröffentlicht wurde und das Vorhandensein unterschiedlicher Größen von Unendlichkeit nachweist. Indem ein neues Dezimalzahl konstruiert wird, die sich von jeder Zahl in einer angeblich vollständigen Liste unterscheidet, zeigt das Argument, dass die Menge der reellen Zahlen grundsätzlich größer ist als die Menge der ganzen Zahlen. Es zählt bis heute zu den elegantesten und einflussreichsten Beweisen in der Geschichte der Logik.1891년에 발표된 공식적인 증명으로, 무한의 크기가 서로 달라질 수 있음을 보여준다. 가정상 완전한 수열에 있는 모든 수와 다른 새로운 십진수를 구성함으로써, 이 논증은 실수 집합이 정수 집합보다 근본적으로 더 크다는 것을 보여준다. 이는 논리학 역사상 가장 우아하고 영향력 있는 증명 중 하나로 남아 있다.. He showed that if you tried to list all the decimal numbers between 0 and 1, you could always construct a new number that was not on your list by changing the $n$-th digit of the $n$-th number. The resulting number is guaranteed to be unique. This "uncountable" infinity represents a density that the discrete rooms of a hotel cannot capture. It is the difference between the points on a continuous line and the individual beads on a string.
Cantor’s work was so radical that it provoked a breakdown in his mental health and a schism in the mathematical community. His contemporaries, including Henri Poincaré
PersonHenri PoincaréFrench mathematician (1854–1912) whose 1890 prize-winning paper on the three-body problem contained, in passing, the first description of what would later be called chaotic dynamics. He could see the homoclinic tangle but could not draw it; the geometry was too involved for ink on paper. Most of his peers concluded that the three-body problem was simply hard. Poincaré understood it was something deeper.法国数学家(1854—1912),其1890年的三体问题获奖论文中,顺带给出了后来被称为混沌动力学现象的最早描述。他能够洞见同宿缠结的存在,却无法将其描绘出来——其几何结构过于错综,难以落于笔墨。同时代的大多数人由此得出结论:三体问题不过是难解而已。庞加莱却明白,这背后藏着更深层的东西。Matemático francés (1854-1912) cuyo galardonado artículo de 1890 sobre el problema de los tres cuerpos contenía, de pasada, la primera descripción de lo que más tarde se llamaría dinámica caótica. Podía ver la maraña homoclínica, pero no podía dibujarla; la geometría era demasiado intrincada para la tinta sobre el papel. La mayoría de sus colegas concluyeron que el problema de los tres cuerpos era simplemente difícil. Poincaré comprendió que se trataba de algo más profundo.عالم رياضيات فرنسي (1854–1912)، تضمّنت ورقته الفائزة بالجائزة عام 1890 حول مسألة الأجسام الثلاثة، بصورة عابرة، أول وصف لما سيُعرف لاحقًا بالديناميكا الفوضوية. كان قادرًا على رؤية التشابك الهوموكليني، لكنه عجز عن رسمه؛ فالهندسة كانت أعقد من أن يحتويها الحبر على الورق. خلص معظم أقرانه إلى أن مسألة الأجسام الثلاثة صعبة وحسب. أما بوانكاريه فقد أدرك أن الأمر أعمق من ذلك بكثير.Matemático francês (1854–1912) cujo artigo premiado de 1890 sobre o problema dos três corpos continha, de passagem, a primeira descrição do que mais tarde seria chamado de dinâmica caótica. Ele conseguia enxergar o emaranhado homoclínico, mas não podia desenhá-lo; a geometria era intrincada demais para a tinta sobre o papel. A maioria de seus pares concluiu que o problema dos três corpos era simplesmente difícil. Poincaré compreendeu que se tratava de algo mais profundo.फ़्रांसीसी गणितज्ञ (1854–1912), जिनके त्रिकाय समस्या पर 1890 के पुरस्कार-विजेता शोधपत्र में, प्रसंगवश, उस परिघटना का पहला विवरण निहित था जिसे आगे चलकर अराजक गतिकी कहा जाएगा। वे होमोक्लिनिक उलझाव को देख तो सकते थे, पर उसे चित्रित नहीं कर सके; काग़ज़ पर स्याही से उतारने के लिए वह ज्यामिति अत्यधिक जटिल थी। उनके अधिकांश समकालीनों ने यही निष्कर्ष निकाला कि त्रिकाय समस्या केवल कठिन है। पोआँकारे समझ गए थे कि बात इससे कहीं अधिक गहरी है।Matematikawan Prancis (1854–1912) yang makalah pemenang hadiahnya pada 1890 tentang masalah tiga benda memuat, secara sepintas, deskripsi pertama tentang apa yang kelak disebut dinamika kaotik. Ia dapat melihat jalinan homoklinik itu, tetapi tidak mampu menggambarnya; geometrinya terlalu rumit untuk dituangkan dengan tinta di atas kertas. Sebagian besar rekan sezamannya menyimpulkan bahwa masalah tiga benda memang sekadar sulit. Poincaré memahami bahwa itu adalah sesuatu yang lebih dalam.Mathématicien français (1854-1912) dont le mémoire primé de 1890 sur le problème des trois corps contenait, au détour d'une page, la première description de ce qu'on appellerait plus tard la dynamique chaotique. Il discernait l'enchevêtrement homocline sans pouvoir le dessiner ; la géométrie était trop touffue pour l'encre sur papier. La plupart de ses pairs en conclurent que le problème des trois corps était tout simplement ardu. Poincaré, lui, comprit qu'il s'agissait de quelque chose de plus profond.フランスの数学者(1854–1912)。1890年の懸賞論文「三体問題」の中で、のちにカオス力学と呼ばれることになる現象を、副次的にではあるが初めて記述した。彼にはホモクリニック・タングルが見えていたが、それを描くことはできなかった。その幾何学的構造は、紙とインクで表すには複雑すぎたのである。同時代の研究者の多くは、三体問題は単に難しい問題だと結論づけた。ポアンカレはそれがより深い何かであることを理解していた。Французский математик (1854–1912), чья удостоенная премии работа 1890 года о задаче трёх тел содержала, между прочим, первое описание того, что впоследствии будет названо хаотической динамикой. Он видел гомоклинное сплетение, но не мог его изобразить: геометрия оказалась слишком сложной для пера и бумаги. Большинство его современников заключили, что задача трёх тел просто трудна. Пуанкаре понимал, что дело в чём-то более глубоком.Französischer Mathematiker (1854–1912), dessen 1890 mit einem Preis ausgezeichnete Arbeit zum Dreikörperproblem beiläufig die erste Beschreibung dessen enthielt, was später chaotische Dynamik genannt werden sollte. Er konnte das homokline Geflecht sehen, aber nicht zeichnen; die Geometrie war zu verwickelt für Tinte auf Papier. Die meisten seiner Zeitgenossen folgerten, das Dreikörperproblem sei schlicht schwer. Poincaré begriff, dass es um etwas Tieferes ging.프랑스의 수학자(1854–1912). 1890년 삼체문제(三體問題)를 다룬 수상 논문에서 훗날 카오스 동역학이라 불리게 될 현상을 지나는 길에 처음으로 기술하였다. 그는 호모클리닉 얽힘을 보았으나 그릴 수는 없었다. 그 기하는 종이 위의 잉크로 담기에는 너무 복잡했다. 동시대인 대부분은 삼체문제가 그저 어려운 문제라고 결론지었다. 푸앵카레는 그것이 더 깊은 무엇임을 알아차렸다., described his ideas as a "mathematical malady." Hilbert, however, saw the brilliance in the madness. He famously declared, "No one shall expel us from the paradise that Cantor has created."
What we still don't know
We do not know the truth of the Continuum HypothesisConceptContinuum HypothesisA conjecture regarding the possible sizes of infinite sets, suggesting there is no set with a cardinality strictly between the integers and the real numbers. First proposed by Georg Cantor, it became a central focus of twentieth-century logic. It was eventually shown to be independent of the standard axioms of set theory, meaning it can be neither proven nor disproven within that framework.一个关于无限集合可能大小的猜想,认为不存在一个集合的势严格介于整数和实数之间。该猜想最早由格奥尔格·康托尔提出,成为二十世纪逻辑学研究的核心焦点。最终人们证明它独立于集合论的标准公理体系,也就是说,在该体系内既不能被证明,也不能被证伪。Una conjetura acerca de los posibles tamaños de conjuntos infinitos, sugiriendo que no existe un conjunto cuya cardinalidad esté estrictamente entre la de los enteros y la de los números reales. Fue propuesta por primera vez por Georg Cantor, convirtiéndose en un enfoque central de la lógica del siglo veinte. Finalmente se demostró que es independiente de los axiomas estándar de la teoría de conjuntos, lo que significa que no puede ser ni probada ni refutada dentro de ese marco.فرضية تتعلق بمقاسات المجموعات اللانهائية المحتملة، وتشير إلى أنه لا توجد مجموعة ذات عدد عناصر يقع بشكل صارم بين عدد الأعداد الصحيحة وعدد الأعداد الحقيقية. اقترحها جورج كانتور لأول مرة، و أصبحت تركيزاً مهماً في منطق القرن العشرين. وقد أظهرت النتائج لاحقاً أنها مستقلة عن المبادئ الأساسية القياسية لنظرية المجموعات، مما يعني أنها لا يمكن إثباتها أو دحضها ضمن هذا الإطار.Uma conjectura sobre os possíveis tamanhos de conjuntos infinitos, sugerindo que não existe um conjunto com cardinalidade estritamente entre a dos inteiros e a dos números reais. Primeiramente proposta por Georg Cantor, tornou-se um foco central da lógica do século XX. Acabou demonstrando-se independente dos axiomas padrão da teoria dos conjuntos, significando que não pode ser nem provada nem refutada dentro desse quadro.अनंत समुच्चयों के संभावित आकारों के बारे में एक अनुमान, जो दावा करता है कि पूर्णांकों और वास्तविक संख्याओं के कार्डिनलता के बीच कड़ाई से कोई समुच्चय नहीं है। जॉर्ज कैंटर द्वारा पहली बार प्रस्तावित, यह बीसवीं शताब्दी के तर्क का केंद्रीय ध्यान बिंदु बन गया। अंततः यह दिखाया गया कि यह समुच्चय सिद्धांत के मानक अक्षरों से स्वतंत्र है, अर्थात इसे उस ढांचे के भीतर न तो सिद्ध किया जा सकता है और न ही अस्वीकृत किया जा सकता है।Hipotesis mengenai ukuran kemungkinan himpunan tak hingga, yang menyatakan bahwa tidak ada himpunan dengan kardinalitas yang secara ketat berada di antara bilangan bulat dan bilangan real. Pertama kali diajukan oleh Georg Cantor, hipotesis ini menjadi fokus utama logika abad ke-20. Pada akhirnya ditunjukkan bahwa hipotesis ini bersifat independen terhadap aksioma-aksioma standar teori himpunan, yang berarti hipotesis ini tidak dapat dibuktikan maupun dibantah dalam kerangka tersebut.Conjecture concernant les tailles possibles des ensembles infinis, suggérant qu'il n'existe aucun ensemble dont la cardinalité soit strictement intermédiaire entre celle des entiers et celle des nombres réels. Proposée pour la première fois par Georg Cantor, elle devint un point central de la logique du vingtième siècle. Il fut finalement démontré qu'elle était indépendante des axiomes standards de la théorie des ensembles, ce qui signifie qu'elle ne peut être ni prouvée ni réfutée dans ce cadre.無限集合の大きさに関する仮説で、整数の濃度と実数の濃度の間に厳密に挟まれた濃度を持つ集合は存在しないという主張を含む。この仮説はゲオルク・カントールによって最初に提唱され、20世紀の論理学の中心的な関心事となった。最終的にこれは集合論の標準的な公理からは独立していることが示され、その枠組み内では証明も反証もできないことが分かった。Гипотеза, касающаяся возможных размеров бесконечных множеств, утверждающая, что не существует множества, мощность которого строго лежит между мощностью целых чисел и мощностью действительных чисел. Впервые сформулирована Георгом Кантором, она стала центральной темой логики двадцатого века. В конечном итоге было доказано, что она независима от стандартных аксиом теории множеств, то есть не может быть ни доказана, ни опровергнута в рамках этой системы.Eine Vermutung über die möglichen Größen unendlicher Mengen, die besagt, dass es keine Menge mit einer Mächtigkeit gibt, die strikt zwischen der der ganzen Zahlen und der der reellen Zahlen liegt. Sie wurde erstmals von Georg Cantor aufgestellt und wurde zum zentralen Thema der Logik des zwanzigsten Jahrhunderts. Es zeigte sich schließlich, dass sie unabhängig von den Standardaxiomen der Mengenlehre ist, was bedeutet, dass sie innerhalb dieses Systems weder bewiesen noch widerlegt werden kann.무한 집합의 가능한 크기와 관련된 추측으로, 정수의 개수와 실수의 개수 사이에 엄격하게 그 사이 크기를 가진 집합이 존재하지 않는다는 내용이다. 이 추측은 게오르그 쾰르텐이 처음 제기했으며, 20세기 논리학의 주요 관심사가 되었다. 이후 이 추측이 집합론의 표준 공리들과 독립적임이 밝혀졌는데, 이는 해당 체계 내에서 증명하거나 반증할 수 없다는 의미이다.. Cantor died trying to prove that there is no level of infinity between the countable integers and the uncountable real numbers. In 1963, Paul CohenPersonPaul CohenAn American mathematician at Stanford University who achieved a major breakthrough in 1963 by proving the independence of the continuum hypothesis. Using a technique called forcing, he showed that the hypothesis could be either true or false without contradicting the basic rules of mathematics. For this work, he was awarded the Fields Medal, the only one ever given for a result in formal logic.斯坦福大学的一位美国数学家,于1963年通过证明连续统假设的独立性取得了重大突破。他使用一种称为“强迫法”的技术,表明这一假设既可以为真,也可以为假,而不会与数学的基本规则相矛盾。由于这项工作,他获得了菲尔兹奖,这是唯一一次因形式逻辑方面的成果而颁发的菲尔兹奖。Un matemático estadounidense de la Universidad de Stanford que logró un avance importante en 1963 al demostrar la independencia de la hipótesis del continuo. Utilizando una técnica llamada forzamiento, mostró que la hipótesis podía ser verdadera o falsa sin contradecir las reglas básicas de las matemáticas. Por este trabajo, fue galardonado con la Medalla Fields, la única que ha sido otorgada jamás por un resultado en lógica formal.عالم رياضيات أمريكي في جامعة ستانفورد حقق كسرًا جوهريًا في عام 1963 من خلال إثبات استقلالية فرضية الاستمرارية. واستخدم تقنية تُسمى "الإجبار" أظهر من خلالها أن الفرضية يمكن أن تكون صحيحة أو خاطئة دون أن تتعارض مع القواعد الأساسية للرياضيات. ولذلك، حصل على ميدالية فيلدز، وهي الميدالية الوحيدة التي تم منحها أبدًا لنتيجة في منطق رسمي.Um matemático norte-americano da Universidade de Stanford que alcançou uma conquista importante em 1963, provando a independência da hipótese do contínuo. Usando uma técnica chamada forçamento, ele demonstrou que a hipótese poderia ser tanto verdadeira quanto falsa sem contradizer as regras básicas da matemática. Por esse trabalho, recebeu a Medalha Fields, a única já concedida por um resultado na lógica formal.स्टैनफोर्ड विश्वविद्यालय के एक अमेरिकी गणितज्ञ जिन्होंने 1963 में सतत परिकल्पना की अस्वतंत्रता सिद्ध करके एक महत्वपूर्ण उपलब्धि हासिल की। एक तकनीक का उपयोग करके जिसे बलपूर्वक कहा जाता है, उन्होंने दिखाया कि परिकल्पना गणित के मूल नियमों के खंडन के बिना सच या झूठ दोनों हो सकती है। इस कार्य के लिए, उन्हें फील्ड्स पुरस्कार दिया गया, जो औपचारिक तर्क में परिणाम के लिए कभी भी दिया गया एकमात्र पुरस्कार है।Seorang matematikawan Amerika di Universitas Stanford yang mencapai terobosan besar pada tahun 1963 dengan membuktikan kemandirian hipotesis kontinum. Menggunakan teknik yang disebut pemaksaan (forcing), ia menunjukkan bahwa hipotesis tersebut dapat benar atau salah tanpa bertentangan dengan aturan dasar matematika. Karena karya ini, ia dianugerahi Medali Fields, satu-satunya yang pernah diberikan untuk hasil dalam logika formal.Un mathématicien américain de l'université Stanford qui a réalisé une percée majeure en 1963 en démontrant l'indépendance de l'hypothèse du continu. En utilisant une technique appelée forcing, il a montré que l'hypothèse pouvait être vraie ou fausse sans contredire les règles fondamentales des mathématiques. Pour ce travail, il a reçu la médaille Fields, la seule jamais décernée pour un résultat en logique formelle.スタンフォード大学のアメリカ人数学者で、1963年に連続体仮説の独立性を証明し、大きな突破を遂げた。強制法(forcing)と呼ばれる手法を用いて、仮説が数学の基本的なルールに矛盾することなく、真でも偽でもあることを示した。この業績により、形式論理学の結果に対して唯一授与されたフィールズ賞を受賞した。Американский математик из Стэнфордского университета, добившийся крупного прорыва в 1963 году, доказав независимость континуум-гипотезы. Используя технику, называемую форсингом, он показал, что гипотеза может быть как истинной, так и ложной, не противореча основным правилам математики. За эту работу он был удостоен медали Филдса, единственной, когда-либо присужденной за результат в области формальной логики.Ein amerikanischer Mathematiker an der Stanford University, der 1963 einen bedeutenden Durchbruch erzielte, indem er die Unabhängigkeit der Kontinuumshypothese bewies. Mit einer Technik, die Forcing genannt wird, zeigte er, dass die Hypothese wahr oder falsch sein kann, ohne die grundlegenden Regeln der Mathematik zu widersprechen. Für diese Arbeit erhielt er die Fields-Medaille, die einzige jemals für ein Ergebnis in der formalen Logik vergebene Auszeichnung.스탠퍼드 대학교의 미국 수학자로, 1963년 연속체 가설의 독립성을 증명함으로써 중대한 돌파구를 마련하였다. '강제법(forcing)'이라는 기법을 사용하여, 이 가설은 수학의 기본 규칙에 모순되지 않으면서도 참이거나 거짓일 수 있음을 보여주었다. 이 업적을 인정받아, 형식 논리학 분야에서 수상한 유일한 수상자로 필즈상을 수상하였다. proved that the hypothesis is independent—it can be neither proven nor disproven using the standard axioms of mathematics. We are left to choose which version of reality we prefer to inhabit.
We do not know if these "actual" infinities correspond to anything in the physical universe. While mathematics allows for infinite sets, physics often runs into singularities—points of infinite density where the math breaks down. Whether the universe is truly infinite in extent or infinitely divisible at the subatomic level remains an open question for cosmologists.
And we do not know if the human brain is truly capable of grasping the implications of Cantor’s paradise. Our language and evolution are built for the finite—for three items of fruit or ten fingers. When we speak of $\aleph_1$, we are using symbols to navigate a territory where our common sense is not merely useless, but actively misleading.
The Grand Hotel is a parable of abundance, but it is also a warning. It suggests that in a sufficiently vast system, the arrival of everything does not actually change the state of the whole. You can add the world to the world, and you are still left with the world.