- Bài viết về khái niệm tính hoàn chỉnh hàm trong bối cảnh phép trừ số thực dấu phẩy động IEEE-754
- Giải thích rằng mọi mạch nhị phân đều có thể được xây dựng chỉ bằng phép trừ dấu phẩy động
- Giải thích chi tiết về tiêu chuẩn IEEE 754-2019, mục 6.3, cùng bit dấu và các quy tắc áp dụng khi toán hạng hoặc kết quả là 0 hoặc vô cực
- Tác giả cho thấy cách phép trừ có thể được xem là phép cộng và cách số 0 có thể mang dấu, trong đó
-0 và +0 là hai thực thể riêng biệt
- Đưa ra bảng chân trị cho kết quả của việc trừ khỏi 0, đề xuất rằng
-0 là sai và +0 là đúng
- Bảng chân trị kết quả tương đương với A∨¬B hoặc B→A (còn được gọi là cổng IMPLY), vốn là một hàm hoàn chỉnh
- Tác giả giải thích rằng NAND và NOR tự thân đã hoàn chỉnh về mặt hàm mà không cần truy cập tới các giá trị hằng cụ thể
- Bao gồm bản demo Python xây dựng cổng NOT và cổng OR bằng phép trừ dấu phẩy động
- Tác giả cũng cho thấy cách xây dựng các cổng khác như AND và XOR từ OR và NOT
- Bài viết kết thúc bằng một bản cài đặt Rust biểu diễn số nguyên chỉ bằng các phép toán dấu phẩy động, cho thấy cách cộng hai số nguyên 8-bit bằng các lệnh dấu phẩy động
1 bình luận
Tiêu đề có lỗi rồi. Ý ở đây không phải là phép trừ đã hoàn thiện, mà là phép trừ được diễn đạt là hoàn chỉnh về mặt chức năng theo nghĩa có thể biểu diễn mọi chức năng bằng phép trừ.