Bài viết là phần tiếp theo của chuỗi blog về số ordinal vô hạn thông qua việc mô phỏng trò chơi Nim vô hạn dưới dạng các dãy số. Nó giải thích cách thứ tự shortlex – so sánh độ dài dãy trước, sau đó so sánh từ đeli từ thành phần phải nhất (most significant) – tự động tạo ra cấu trúc của các ordinal tới ω^ω. Bằng cách áp dụng thứ tự này, mỗi trạng thái của Nim vô hạn tương ứng duy nhất với một ordinal nhỏ hơn ω^ω, cho phép tính toán các bước chơi bằng so sánh ordinal. Điều này cho thấy lợi thế của việc biểu diễn trạng thái trò chơi như dãy số và sử dụng shortlex để xử lý các giá trị transfinite mà không cần định nghĩa phức tạp. Bài cũng cho thấy rằng trong phần tiếp theo sẽ mở rộng đến ε₀, cho độc lập một con đường tiếp cận các ordinal lớn hơn bằng cùng phương pháp.
Vì sao nên đọc: Bài viết này giúp lập trình viên hiểu rõ cách shortlex order sắp xếp chuỗi số và ứng dụng của nó trong lý thuyết tập hợpOrdinal hữu hạn.
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://blog.plover.com/math/ordinals/06-nim-shortlex.html. 8 Sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Đang tải bình luận…
Stephen Wolfram tưởng nhớ người vợ tài năng và yêu quý Elise Cawley, chia sẻ kỷ niệm gia đình cùng những đóng góp quan trọng của bà trong lĩnh vực toán học suốt 36 năm chung sống.
Đọc bài này để hiểu cách một nhà khoa học và lập trình viên như Stephen Wolfram thể hiện sự tôn trọng và cảm động qua những nỗ lực truyền cảm hứng về sự nghiệp của Elise Cawley—nhân vật có đóng góp sâu sắc trong toán học mà nhiều người không biết đến.
Bài báo arXiv 2607.11938 giới thiệu phần tóm tắt về lĩnh vực "Toán học của Khoa học Dữ liệu", đề cập đến các nền tảng toán học ứng dụng trong phân tích dữ liệu.
Những kỹ thuật toán và lý thuyết toán học trong bài viết này sẽ giúp bạn hiểu sâu hơn về cách xây dựng mô hình học máy hiệu quả hơn, từ đó tối ưu hóa thời gian và chất lượng dự án của mình.
Bối cảnh của bài viết làm rõ toán học đằng sau Anthropic's J-Space, một workspace biểu diễn quan trọng trong model của họ. Nguyên nhân kỹ thuật chính là cách J-Space sử dụng cơ chế attention mechanism kết hợp với linear algebra để tạo ra các vector space đặc hiệu cho token. Hệ quả là cách tiếp cận này cho phép model xử lý ngữ cảnh hiệu quả hơn với O(n log n) độ phức tạp thay vì O(n^2) như attention thông thường. Điều đáng học là cách Anthropic sử dụng toán học cao cấp để giải quyết vấn đề scaling trong transformer architecture, giúp giảm đáng kể tài nguyên tính toán khi xử lý sequence dài.
Bài này giúp lập trình viên hiểu rõ nền t toán đằng sau Anthropic's J-Space để tối ưu hóa việc triển khai AI.
Bài viết trình bày chi tiết toán học chuỗi Fourier thời gian rời rạc (DTFS) và biến đổi Fourier thời gian rời rạc (DTFT), bắt đầu từ các hàm mũ phức rời rạc để suy ra công thức hệ số DTFS, minh họa bằng ví dụ cụ thể với hàm tam giác lấy mẫu. Tác giả đưa ra DTFT như một trường hợp giới hạn của DTFS cho tín hiệu không tuần hữu hạn, thiết lập cặp tích phân DTFT/DTFT ngược, và kết thúc với ba phụ chứng minh các bổ đề hỗ trợ (tính tuần hoàn của hàm mũ phức rời rạc, tổng các hàm mũ phức liên tiếp, và phân tích chuỗi sine). Bài viết được xây dựng như nền tảng lý thuyết cho bài viết sắp tới về DFT (Biến đổi Fourier rời rạc) trong xử lý tín hiệu số.
Bài viết cung cấp nền tảng toán học vững chắc về chuỗi và biến đổi Fourier thời gian rời rạc, cần thiết cho xử lý tín hiệu số.
Bối cảnh của bài viết là bài toán Erdős unit distance - một giả thuyết tồn tại hơn 80 năm về số lượng cặp điểm cách nhau đơn vị trong mặt phẳng. Nguyên nhân kỹ thuật là việc áp dụng AI model, kết hợp với kỹ thuật grid partitioning và truy vấn SQL Server để tối ưu hóa phép tính. Hệ quả là AI đã tìm thấy lời giải phá vỡ giả thuyết này vào năm 2026 với kết quả cụ thể trên các grid khác nhau. Điều đáng học là cách tiếp cận kết hợp toán học học máy với cơ sở dữ liệu quan hệ (SQL Server) để giải quyết bài toán phức tạp, vượt qua giới hạn tính toán của phương pháp truyền thống.
Bài viết này giải thích cách một mô hình AI đã giải quyết được bài toán toán học 80 năm tuổi của Erdős, mang lại kiến thức quý giá về khoa học máy tính và toán học ứng dụng.
AI in mathematics drives rapid automated proofs, sparking controversy over OpenAI’s conduct and fears of coercive dependence in academia.
MathWorks announces the MATLAB and Simulink Release 2026b, introducing new products and enhancements for developing complex systems that combine software, electronics, and AI.
Đọc tin ở đây, luyện code, học theo lộ trình và luyện IELTS trên các sản phẩm anh em — tất cả kết nối với nhau trong hệ sinh thái 8 Sync.
Cổng chính của hệ sinh thái: giới thiệu sản phẩm, blog và bảng giá trọn bộ.
Khám pháHọc theo lộ trình rõ từng chặng: video, quiz chấm tự động, certificate và mentor đang làm nghề.
Xem lộ trình1.000+ bài DSA, đề tiếng Việt, chấm tự động 7 ngôn ngữ — nhiều bài FREE, chạy ngay trên trình duyệt.
Luyện miễn phíChấm bốn kỹ năng IELTS bằng AI, phản hồi chi tiết theo rubric.
Dùng thử miễn phíAI IDE 22 MB cho dev Việt.
Tải miễn phíBộ nhớ tổ chức cho AI agent.
Khám pháAI trực Fanpage, tự sàng lọc lead.
Dùng thử