By design, the system is in a state of continuous automated machine learning, constantly adjusting and updating its internal models and improving accuracy. Theo thiết kế, hệ thống ở trạng thái học máy tự động liên tục, liên tục điều chỉnh và cập nhật các mô hình bên trong để cải thiện độ chính xác.
At the recent Harvard meeting, researchers from both camps presented new work on inner models and forcing axioms and discussed their relative merits. Trong cuộc họp gần đây của Harvard, các nhà nghiên cứu từ cả hai phe đã trình bày công việc mới về các mô hình bên trong và buộc các tiên đề và thảo luận về giá trị tương đối của chúng.
During a recent meeting at Harvard organized by Koellner, scholars largely agreed upon two main contenders for additions to ZFC: forcing axioms and the inner-model axiom “V=ultimate L.” Trong một cuộc họp gần đây tại Harvard do Koellner tổ chức, các học giả đã đồng ý phần lớn hai đối thủ chính để bổ sung vào ZFC: buộc các tiên đề và tiên đề mô hình bên trong V = Ultimate L ..
“Since the large cardinal hierarchy just goes on and on forever, it looked like we had to go on and on forever too, building as many new inner models as there are transition points in the large cardinal hierarchy. Vì hệ thống phân cấp hồng y lớn cứ kéo dài mãi mãi, có vẻ như chúng ta phải tiếp tục và mãi mãi, xây dựng nhiều mô hình bên trong mới khi có các điểm chuyển tiếp trong hệ thống phân cấp hồng y lớn.
To keep this symphony of infinities, set theorists have striven for decades to find an inner model that is as pristine and analyzable as L but incorporates large cardinals. Để giữ bản giao hưởng vô tận này, các nhà lý thuyết tập hợp đã nỗ lực trong nhiều thập kỷ để tìm ra một mô hình bên trong nguyên sơ và có thể phân tích được như L nhưng kết hợp các hồng y lớn.
When we look more closely at each of the opposite ends of the spectrum, and see the internal pattern of thought and emotion associated with them, this can guide us in the direction that we want to go. Khi chúng ta nhìn kỹ hơn vào từng đầu đối diện của quang phổ và thấy mô hình bên trong của suy nghĩ và cảm xúc liên quan đến chúng, điều này có thể hướng dẫn chúng ta đi theo hướng mà chúng ta muốn đi.
“Woodin showed that if you can just reach the level of the supercompacts, then there’s an overflow and your inner model picks up all the bigger large cardinals as well,” Koellner explained. Cóc Woodin đã chỉ ra rằng nếu bạn có thể đạt đến cấp độ của các siêu máy tính, thì có một dòng chảy tràn và mô hình bên trong của bạn cũng nhặt được tất cả các hồng y lớn hơn lớn, chanh Koellner giải thích.
