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.
Why read it: 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.
Answer 3 short questions to earn reward points for this article. Only do it if you want the points.
3 questions · under a minute · optional
Source: https://blog.plover.com/math/ordinals/06-nim-shortlex.html. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Đ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.
Read the news here, practice coding, follow structured courses and train for IELTS on our sibling products — all connected through one 8 Sync account.
The ecosystem home: product overviews, blog and full pricing.
ExploreLearn along a clear roadmap: videos, auto-graded quizzes, certificates and mentors who ship for a living.
View the roadmap1,000+ DSA problems in Vietnamese, auto-graded across 7 languages — many FREE, right in your browser.
Practice for freeAI grading for all four IELTS skills with detailed rubric feedback.
Try it freeA 22 MB AI IDE for Vietnamese devs.
Download freeOrganizational memory for AI agents.
ExploreAI that staffs your Fanpage and qualifies leads for you.
Try it