Phép tính là quy tắc hoặc chuỗi thao tác toán học nhận một hoặc nhiều toán hạng đầu vào để xác định kết quả duy nhất. Về mặt đại số, phép tính được mô hình hóa như một ánh xạ từ tích Descartes của các tập hợp nguồn vào tập hợp kết quả đích.

Có bao nhiêu phép tính số học cơ bản?

Số học sơ cấp được xây dựng trên 4 phép tính cơ bản gồm phép cộng, phép trừ, phép nhân và phép chia. Trong đó phép cộng và phép nhân có tính giao hoán và kết hợp, còn phép chia đòi hỏi điều kiện số chia phải khác 0.

Phép tính hai ngôi là gì?

Phép tính hai ngôi trên một tập hợp là một ánh xạ nhận một cặp phần tử đầu vào và trả về một phần tử duy nhất thuộc tập hợp đó. Phép tính hai ngôi là cơ sở để định nghĩa các cấu trúc đại số trừu tượng như nửa nhóm, monoid, nhóm, vành và trường.

Giới hạn lý thuyết của phép tính là gì?

Năm 1937, Alan Turing đã chứng minh rằng thông qua mô hình máy Turing, tồn tại những bài toán toán học không thể giải quyết bằng bất kỳ phép tính cơ học hay thuật toán nào, tiêu biểu là bài toán dừng. Kết quả này xác lập giới hạn tuyệt đối của các hệ thống tính toán hình thức.

Phép tính là gì? Định nghĩa, phân loại và ứng dụng

Phép tính (mathematical operation hay calculation) là quy tắc hoặc chuỗi thao tác toán học nhận một hoặc nhiều toán hạng đầu vào để xác định một kết quả duy nhất dựa trên các tiên đề, quy ước và thuật toán đã được thiết lập. Khái niệm này là viên gạch nền tảng của toán học, khoa học máy tính và kỹ thuật, trải rộng từ các phép tính số học sơ cấp đến các cấu trúc đại số trừu tượng và các mô hình tính toán hình thức. Bài viết này trình bày chi tiết về định nghĩa toán học, phân loại các phép tính, cơ sở đại số, lịch sử phát triển của phép tính vi tích phân, giới hạn lý thuyết của tính toán và các ứng dụng trong công nghệ máy tính.

Bản chất toán học và định nghĩa hình thức

Trong toán học hiện đại, bản chất của một phép tính được mô hình hóa chặt chẽ thông qua khái niệm ánh xạ trong lý thuyết tập hợp. Xét một tập hợp khác rỗng $S$ , một phép tính nhận các phần tử từ tập hợp nguồn và trả về một phần tử xác định thuộc tập hợp đích. Theo chuyên khảo đại số của Lang (2002), một phép toán hai ngôi (luật hợp thành trong) trên tập hợp $S$ được định nghĩa hình thức là một ánh xạ từ tích Descartes $S \times S$ vào chính tập hợp $S$ :

*: S \times S \to S

với mỗi cặp phần tử đầu vào $(a, b)$ tương ứng với một phần tử kết quả duy nhất $a * b \in S$ . Ở cấp độ tổng quát hơn, một phép tính $n$ ngôi là một ánh xạ từ tích Descartes bậc $n$ của các tập hợp vào một tập hợp kết quả:

f: S_1 \times S_2 \times \cdots \times S_n \to Y

trong đó các phần tử đầu vào được gọi là toán hạng (operands), quy tắc biến đổi được gọi là toán tử (operator), và kết quả đầu ra là giá trị tính toán. Tính xác định đơn trị là yêu cầu bắt buộc: với cùng một bộ toán hạng và cùng một quy tắc, phép tính luôn cho ra cùng một kết quả duy nhất.

Phân loại các phép tính toán học

Hệ thống các phép tính trong toán học vô cùng đa dạng, được phân loại dựa trên số lượng toán hạng tham gia hoặc theo các phân ngành toán học chuyên biệt.

Phân loại theo số lượng toán hạng

Dựa trên số lượng ngôi (arity), các phép tính được chia thành các nhóm chính, như được hệ thống hóa trong Lang (2002):

Phép tính 1 ngôi (unary operation): Nhận đúng $1$ toán hạng đầu vào để cho ra $1$ kết quả. Ví dụ tiêu biểu bao gồm phép đổi dấu số học, phép nghịch đảo, hàm giá trị tuyệt đối hoặc phép lấy giai thừa.
Phép tính 2 ngôi (binary operation): Nhận đúng $2$ toán hạng đầu vào. Đây là dạng phép tính phổ biến nhất trong toán học, bao gồm các phép tính số học cơ bản như cộng, trừ, nhân, chia, phép hợp và giao trong lý thuyết tập hợp, phép nhân ma trận.
Phép tính 3 ngôi (ternary operation): Nhận đúng $3$ toán hạng đầu vào. Ví dụ kinh điển là tích hỗn tạp ba vector trong không gian hình học, hoặc phép toán nhân cộng tích lũy trong kiến trúc xử lý tín hiệu số.

Bốn phép tính số học cơ bản

Số học sơ cấp được xây dựng trên hệ thống gồm đúng $4$ phép tính cơ bản tác động trên các tập hợp số, bao gồm số tự nhiên, số nguyên, số hữu tỷ và số thực:

Phép cộng: Biểu diễn phép gộp các đại lượng rời rạc. Phép cộng có tính giao hoán, tính kết hợp và phần tử trung hòa là số $0$ .
Phép trừ: Là phép tính nghịch đảo của phép cộng, xác định khoảng cách hoặc độ chênh lệch giữa hai giá trị.
Phép nhân: Biểu diễn phép cộng lặp lại hoặc phép co giãn tỉ lệ. Phép nhân phân phối đối với phép cộng và có phần tử trung hòa là số $1$ .
Phép chia: Là phép tính nghịch đảo của phép nhân. Điều kiện toán học bắt buộc của phép chia là số chia phải khác $0$ ; phép chia cho số $0$ hoàn toàn không được xác định trong số học tiêu chuẩn.

Bảng dưới đây tổng hợp các đặc trưng đại số cơ bản của bốn phép tính số học trên tập số thực:

Tên phép tính	Ký hiệu quy ước	Tính giao hoán	Tính kết hợp	Phần tử trung hòa
Phép cộng	+	Có giao hoán	Có kết hợp	0
Phép trừ	-	Không giao hoán	Không kết hợp	Không có
Phép nhân	*	Có giao hoán	Có kết hợp	1
Phép chia	/	Không giao hoán	Không kết hợp	Không có

Cấu trúc đại số trừu tượng và các tính chất nền tảng

Trong đại số trừu tượng, các phép tính không chỉ giới hạn trên các con số mà tác động trên các đối tượng bất kỳ như vector, hàm số, ma trận, hoán vị và toán tử vi phân. Một cấu trúc đại số được hình thành khi trang bị cho một tập hợp một hoặc nhiều phép tính thỏa mãn các tiên đề nhất định.

Các tính chất đại số cốt lõi

Một phép tính hai ngôi $*$ trên tập hợp $S$ có thể thỏa mãn các tiên đề đại số sau (Lang, 2002):

Tính đóng (closure): Với mọi phần tử $a, b \in S$ , kết quả $a * b$ luôn thuộc $S$ .
Tính kết hợp (associativity): Với mọi $a, b, c \in S$ , đẳng thức sau luôn thỏa mãn:
$(a * b) * c = a * (b * c)$
Tính kết hợp cho phép bỏ qua dấu ngoặc khi thực hiện liên tiếp nhiều phép tính cùng loại.
Tính giao hoán (commutativity): Với mọi $a, b \in S$ , thứ tự của các toán hạng không làm thay đổi kết quả:
$a * b = b * a$
Phần tử trung hòa (identity element): Tồn tại phần tử $e \in S$ sao cho với mọi $a \in S$ :
$a * e = e * a = a$
Phần tử nghịch đảo (inverse element): Với mỗi phần tử $a \in S$ , tồn tại phần tử nghịch đảo sao cho tích của chúng tạo ra phần tử trung hòa.
Tính phân phối (distributivity): Mối liên hệ giữa hai phép tính khác nhau, chẳng hạn phép nhân phân phối đối với phép cộng:
$a * (b + c) = (a * b) + (a * c)$

Hệ thống các cấu trúc đại số

Dựa trên số lượng phép tính và các tiên đề được thỏa mãn, toán học trừu tượng phân cấp các cấu trúc:

Nửa nhóm (semigroup): Một tập hợp trang bị một phép tính có tính kết hợp.
Monoid: Một nửa nhóm có thêm phần tử trung hòa.
Nhóm (group): Một monoid trong đó mọi phần tử đều có phần tử nghịch đảo duy nhất. Nhóm là công cụ đại số tối quan trọng để nghiên cứu tính đối xứng trong hình học và vật lý lượng tử.
Vành và trường (ring and field): Các tập hợp được trang bị đồng thời hai phép tính hai ngôi tương thích (thường gọi là phép cộng và phép nhân), tạo tiền đề cho giải tích đại số và hình học vi phân.

Lịch sử phát triển: Từ số học đến phép tính vi tích phân

Sự tiến hóa của khái niệm phép tính phản ánh bước nhảy vọt trong tư duy toán học của nhân loại. Ở giai đoạn cổ đại, phép tính chỉ mang ý nghĩa đếm và đo lường số học rời rạc. Tuy nhiên, sự xuất hiện của các bài toán cơ học chuyển động và hình học đường cong trong thời kỳ khoa học khai sáng đã thúc đẩy việc phát minh ra các phép tính liên tục.

Nghiên cứu lịch sử toán học của Bos (1974) đã làm sáng tỏ quá trình hình thành phép tính vi phân và tích phân (infinitesimal calculus) do Gottfried Wilhelm Leibniz xây dựng. Leibniz đã đề xuất một hệ thống ký hiệu toán học mạnh mẽ với khái niệm vi phân và các quy tắc đạo hàm mang tính thuật toán cao. Khác với phương pháp hình học trực quan của Isaac Newton, phép tính của Leibniz biến các bài toán tiếp tuyến hình học phức tạp thành các chuỗi thao tác biến đổi ký hiệu đại số thuần túy:

d(u \cdot v) = u \cdot dv + v \cdot du

Nhờ tính chất thuật toán hóa này, phép tính vi tích phân đã nhanh chóng trở thành ngôn ngữ chung của cơ học cổ điển, vật lý toán và toàn bộ các ngành kỹ thuật hiện đại.

Giới hạn lý thuyết của phép tính và mô hình máy Turing

Một câu hỏi triết học và toán học cơ bản xuất hiện vào đầu thế kỷ trước: Liệu mọi bài toán toán học đều có thể giải quyết được thông qua một quy trình tính toán cơ học hữu hạn hay không? Vấn đề này được nhà toán học David Hilbert nêu ra dưới tên gọi bài toán quyết định (Entscheidungsproblem).

Trong công trình kinh điển đặt nền móng cho khoa học máy tính lý thuyết, Turing (1937) đã định nghĩa một mô hình toán học trừu tượng mang tên máy Turing. Máy Turing hình thức hóa khái niệm một thuật toán hay một phép tính cơ học thông qua một đầu đọc ghi di chuyển trên một dải băng vô hạn theo các trạng thái hữu hạn. Thông qua mô hình này, Turing đã chứng minh một kết quả chấn động: tồn tại những bài toán toán học hoàn toàn không thể giải được bằng bất kỳ thuật toán hay phép tính cơ học nào, tiêu biểu là bài toán dừng (halting problem). Định lý này xác lập giới hạn toán học tuyệt đối của khái niệm phép tính: không phải mọi chân lý toán học đều có thể suy biến thành kết quả của một phép tính hữu hạn.

Độ phức tạp tính toán và tối ưu hóa thuật toán tính toán

Trong kỷ nguyên máy tính số, việc thực hiện các phép tính không chỉ đòi hỏi tính đúng đắn mà còn phụ thuộc chặt chẽ vào tài nguyên thời gian và bộ nhớ cần thiết. Phân ngành lý thuyết độ phức tạp tính toán nghiên cứu số lượng thao tác cơ bản cần thiết để hoàn thành một phép tính khi kích thước dữ liệu đầu vào tăng dần.

Một ví dụ điển hình về bước đột phá trong tối ưu hóa phép tính là bài toán nhân hai số nguyên lớn. Phương pháp nhân đặt tính truyền thống cần số thao tác tỷ lệ thuận với bình phương kích thước số đầu vào. Giả thuyết kinh điển do Schönhage và Strassen đề xuất cho rằng phép nhân hai số nguyên $n$ bit có thể đạt giới hạn thời gian tối ưu. Mãi đến nửa thế kỷ sau, Harvey và van der Hoeven (2021) đã chứng minh thành công định lý này, xác lập rằng phép nhân hai số nguyên $n$ bit hoàn toàn có thể thực hiện với độ phức tạp thời gian đạt ngưỡng tối ưu:

O(n \log n)

Định lý này khẳng định giới hạn hiệu quả cao nhất của một trong những phép tính số học lâu đời nhất của loài người, có ảnh hưởng trực tiếp đến mật mã học khóa công khai và đại số máy tính.

Ứng dụng của phép tính trong kiến trúc máy tính và công nghệ số

Trong thực tiễn kỹ thuật, toàn bộ các hệ thống xử lý thông tin số đều vận hành dựa trên việc chuyển đổi các phép tính toán học thành các tín hiệu điện tử trong mạch tích hợp:

Đơn vị số học và logic (ALU): Là trái tim của bộ vi xử lý trung tâm (CPU), nơi trực tiếp thực thi các phép tính số học cơ bản (cộng, trừ) và các phép tính logic Boolean (AND, OR, NOT, XOR) trên các thanh ghi nhị phân.
Tính toán số học dấu phẩy động: Việc tính toán số thực trong khoa học kỹ thuật được chuẩn hóa quốc tế theo chuẩn IEEE 754 (2019). Chuẩn IEEE 754 quy định chính xác định dạng biểu diễn số nhị phân, quy tắc làm tròn số và cách thức xử lý ngoại lệ đối với các phép tính số học (như hiện tượng tràn số hoặc chia cho số 0), đảm bảo tính nhất quán tuyệt đối của kết quả tính toán trên mọi nền tảng phần cứng máy tính.
Tính toán hiệu năng cao và trí tuệ nhân tạo: Trong học sâu và xử lý đồ họa, phép tính nhân ma trận và phép nhân cộng tích lũy (Fused Multiply-Add) là thao tác cốt lõi chiếm tới phần lớn khối lượng công việc, thúc đẩy sự ra đời của các bộ vi xử lý đồ họa (GPU) và bộ xử lý tensor chuyên dụng.

Những vấn đề còn mở và xu hướng tương lai

Lý thuyết về phép tính tiếp tục phát triển mạnh mẽ nhằm vượt qua các rào cản công nghệ và toán học hiện đại:

Phép tính lượng tử (quantum computation): Khác với máy tính cổ điển dựa trên các bit nhị phân, tính toán lượng tử khai thác các trạng thái chồng chập và vướng víu lượng tử thông qua các cổng lượng tử đơn phân và nhị phân. Điều này cho phép thực hiện đồng thời nhiều phép tính song song, mang lại tiềm năng phá vỡ các hệ thống mật mã số học hiện hành.
Bài toán P so với NP: Câu hỏi liệu mọi bài toán có lời giải kiểm chứng được trong thời gian đa thức thì cũng có thể tìm được nghiệm bằng một phép tính đa thức hay không vẫn là bài toán thiên niên kỷ mở lớn nhất trong khoa học máy tính.
Tính toán xấp xỉ và chịu lỗi: Trong bối cảnh năng lượng tiêu thụ của các trung tâm dữ liệu tăng vọt, các mô hình phép tính xấp xỉ chấp nhận sai số nhỏ có kiểm soát để giảm thiểu chi phí năng lượng đang trở thành xu hướng nghiên cứu quan trọng trong kỹ thuật vi điện tử.