tailieunhanh - Toán học thời 4.0

Bài viết giới thiệu với bạn đọc một số vấn đề xuất hiện khi sử dụng máy tính trong chứng minh Toán học và hơn nữa, trong việc thay thế dần lao động của nhà Toán học. | Toán học thời diễn đàn khoa học - công nghệ Diễn đàn Khoa học - Công nghệ Toán học thời GS Hà Huy Khoái Trường Đại học Thăng Long “Nghề làm toán trong thời đại ” có thể sẽ rất khác với những gì vẫn được hiểu hàng ngàn năm nay. Cuộc cách mạng công nghiệp lần thứ 4 không chỉ tạo ra làn gió mới, mà thậm chí là “cơn bão” trong toán học, kéo theo nó, không chỉ là hứng khởi, hân hoan, mà còn cả sự nghi ngờ, tranh cãi. Những vấn đề cốt lõi lại một lần nữa được đặt ra: thế nào là “chân lý toán học”, thế nào là một “chứng minh”? Bài viết giới thiệu với bạn đọc một số vấn đề xuất hiện khi sử dụng máy tính trong chứng minh toán học, và hơn nữa, trong việc thay thế dần lao động của nhà toán học. Chứng minh toán học vào trực giác. đưa ra một số ví dụ về sai lầm của các nhà toán học. Vào thế kỷ VI và VII TCN, các học Bỏ qua nhiều lập luận logic trung giả Hy Lạp đã đưa ra cái mà về sau gian nghĩa là trong các lập luận, nhà Với những định lý mà chứng minh gọi là suy luận logic: đó là chuỗi các toán học luôn dừng lại ở mức mà tương đối ngắn, người ta có thể kiểm suy luận - các phép tam đoạn luận người đọc “hiểu được”. Chính vì thế tra từng dòng chứng minh để bảo - chúng buộc người đối thoại chấp mà trong công việc của thầy giáo đảm những lập luận trung gian đã nhận khẳng định Q một khi đã đồng toán, một phần lớn là làm cho học bị bỏ qua thực sự là đúng đắn. Tuy ý một khẳng định P trước đó. Ta biết sinh hiểu được những lập luận logic nhiên điều này không dễ khi chứng rằng, từ thế kỷ thứ V TCN, các nhà trung gian đã bị bỏ qua trong chứng minh dài khoảng 100 trang, hay hơn tư tưởng Hy Lạp đã là những bậc minh. Mặt khác, các yếu tố trực giác nữa. Đặc biệt, với những chứng minh thầy về nghệ thuật sắp xếp lý luận thường được sử dụng, nhất là trong có sự trợ giúp của máy tính thì tính thành một chuỗi liên tiếp các kết luận các chứng minh hình học, và cả trong đúng đắn của nó là điều không dễ logic, điều này được thấy rõ trong các