Nxb

Ngay cả khi nghiên cứu khoa học thì em vẫn phải tính nên chuyện tính toán không thể bỏ qua được. Nói riêng thì ma trận là đối tượng rất cơ bản và sẽ còn gặp lại nhiều. Anh thấy khó có lời khuyên chính xác cho em vì thực ra đại số tuyến tính cũng chỉ học có 2 kỳ và nó cũng trôi qua rất nhanh. Có lẽ khi em nghĩ xem làm thế nào để học tốt thì cũng đã học xong rồi. Ngay cả khi em bị điểm thấp thì cũng nên không nên buồn. Điều quan trọng là sau này bỗng nhiên em cần những tính toán đó thì em chỉ mất một thời gian ngắn để nhớ lại và sử dụng chúng.

@Nesbit Anh ơi em thấy cụ Sính vẫn sống nên mình tránh dùng “kỷ niệm ngày sinh” anh ạ.

Vậy @Konstante cứ dịch đi. Có từ nào không rõ thì mình có thể thảo luận.

John Baez viết bài kỷ niệm nhân dịp sinh nhật lần thứ 90 của cụ Sính https://math.ucr.edu...e/baez/sinh.pdf. Nếu bài này được dịch và đăng trên diễn đàn thì quá tuyệt.

Mọi người có thể tham khảo thêm cuốn sách này của Milne https://www.jmilne.o...mese.pdf#page29

Có lẽ @maguish cần đặt ra một định nghĩa và một mệnh đề để người đọc dễ theo dõi. Chẳng hạn như đặt hẳn ra một định nghĩa thế nào là số dựng được và một mệnh đề chứng minh rằng một điểm là dựng được nếu và chỉ nếu các toạ độ của chúng là số dựng được.

@manguish Về bài viết, mình hoàn toàn ủng hộ việc giải thích cặn kẽ vì như vậy nó càng tiếp cận được nhiều người đọc. Mình không nghĩ là vấn đề nằm ở chỗ bạn giải thích chi tiết. Nếu bạn cảm thấy như vậy thì có thể cách giải thích đó chưa tốt hoặc chỗ bạn nhắm vào giải thích hoá ra lại vô duyên. Về vấn đề chi tiết thì chẳng hạn như ánh xạ là gì ? Mình nhớ đến lớp 10 mình mới biết về khái niệm này. Và nếu không học chuyên thì chắc cũng rất khó có cơ hội đọc về khái niệm ánh xạ, nên nếu xác định rằng bài viết này cho học sinh phổ thông có thể hiểu được thì không hẳn. Vì vậy nếu nói về giải thích cặn kẽ thì có rất nhiều chỗ bạn cần làm thêm chứ không có giải thích thái quá, và cần quỹ thời gian lớn mới làm được như vậy.

@manguish Mình lại thấy bạn không có gì phải buồn cả vì nếu bạn thấy cách diễn đạt nào đó có ích cho bạn thì sẽ có những người đọc cũng cảm thấy có ích, và không ai có thể viết tốt mà không có quá trình học hỏi được. Còn về việc học tập thì chuyện viết bài này không liên quan lắm vì việc đó được đánh giá thông qua điểm số, còn nếu bạn muốn tự đánh giá thì có thể thông qua việc làm bài tập. Ở mức độ toán như sở thích, bạn không cần suy nghĩ quá nhiều. Tuy nhiên mình thấy bạn có nhiều chấp niệm với toán quá mà lại còn có vẻ đang muốn tự học đại số! Mình cảm thấy một người có thể tự học được lý thuyết trường thì nhiều khả năng có thể học tốt ở đại học. Nếu bạn có vấn đề gì đó ngăn cản việc học nghiêm túc, mình nghĩ bạn có thể đi nghe giảng ở các lớp học của trường Tự nhiên chẳng hạn chứ không cần đăng ký học thực sự.  

Mình đọc qua thì thấy bài viết có quá nhiều chỗ khá nghiệp dư nên mình không tiện bình luận một cách chi tiết, hi vọng tác giả tự kiểm tra lại và chau chuốt hơn. Mình tin hoàn toàn có thể dành thêm 1-2 ngày để sửa mà bài viết vẫn có chỗ để cải thiện. Một số lời khuyên: không nên trộn quan điểm cá nhân/góc nhìn chủ quan vào những chỗ có nội dung toán học vì nó khiến người đọc rất mất tập trung. Bắt đầu vào chứng minh mình vừa đọc vừa thấy ức chế vì mình muốn xem nội dung của chứng minh của Landau chứ không phải muốn biết bạn nghĩ gì, hoặc nếu muốn đưa chúng vào thì hãy diễn đạt sao cho chúng trông khách quan; không viết hoa viết tuỳ tiện, có thể in đậm hoặc viết nghiêng nếu muốn nhấn mạnh; không xuống dòng tuỳ tiện. Bạn có thể đọc thử một cuốn sách như đại số tuyến tính của Nguyễn Hữu Việt Hưng để tham khảo cách trình bày.

Chứng mình trên dường như tránh được sử dụng bậc của mở rộng trường và có thể là một bài tập khá tốt cho sinh viên toán năm 3 đang học lý thuyết Galois vì dù sao bậc của mở rộng trường chỉ là một phần nhỏ thông tin của mở rộng, tuy nhiên mình không thấy được trong bài toán dựng hình cụ thể nào mà điều này có ích. Nhiều khả năng một ví dụ như vậy sẽ có phần nhân tạo, nhưng sẽ rất hay nếu được thấy một ví dụ.

Tại một điểm trong chứng minh này vẫn cần sử dụng cơ sở của không gian véc tơ (Mệnh đề 2). Mình tin bạn có thể viết một chứng minh khác sử dụng bậc của mở rộng trường. Thực ra chỗ màu nhiệm là ở việc diễn đạt bài toán dựng hình sang một bài toán trong lý thuyết trường nên có thể công việc này khá buồn chán. Tuy nhiên quá trình tự khám phá của bạn nhiều khả năng sẽ cho ra một bài viết có ích cho học sinh phổ thông. Mình tin đó sẽ là một đóng góp lớn cho diễn đàn.

Give a counter example to the following statement: If $f:X\to Y$ is flat, of finite type with $Y$ locally Noetherian then $f$ is smooth if and only if the fibers $X_y\to \mathrm{Spec}(k(y))$ is smooth for every $y$ ‘’closed’’ in $Y$.

Remark: the above statement is true if $X,Y$ are schemes over a field $k$.

Bài toán(dành cho HS lớp 6, 7):

Viết 2 số $5^{2023}$ và $2^{2023}$ cạnh nhau thì sẽ tạo thành số có bao nhiêu chữ số?

------------------------------------------

Tối mới có thời gian lọ mọ 

Mình nhờ hồi lớp 7-8, tức là vào 2007-2008, sau khi học xong luỹ thừa số hữu tỷ thì cô giáo giải thích cho bọn mình về luỹ thừa số thực và logarit. Lúc đó không có cơ sở toán học chắc chắn, nhưng mà nếu giáo viên hiểu bản chất thì vẫn có thể giải thích được cho bọn mình hiểu. 

Sắp tới một hội nghị về ngôn ngữ lập trình Lean (một loại hỗ trợ chứng minh) sẽ diễn ra ở Đức. Hội nghị bao gồm hướng dẫn làm quen với Lean cũng như giới thiệu về các tiến bộ gần đây trong chứng minh định lý với sự hỗ trợ của máy tính và vai trò của nó đối với toán học trong tương lai. Chi tiết xem tại đây https://lftcm2023.github.io/

Liên quan đến Lean thì từ năm ngoái, Meta thông báo rằng họ đã đạt được một số tiến bộ trong giải quyết các bài toán ở cấp độ IMO https://ai.facebook....heorem-proving/ 

Mặt khác, theo như ở đây https://www.icms.org...Events/talk.pdf, Kevin Buzzard cho rằng ứng dụng của AI vào toán học sẽ dừng lại ở mức độ toán phổ thông hoặc những năm đầu đại học, tức là nó có khả năng giải quyết những bài toán mà con người biết chắc có lời giải. Không có bằng chứng nào hiện tại cho thấy AI có thể đóng góp những ý tưởng quan trọng vào toán học, chẳng hạn một lời giải cho giả thuyết BSD bằng AI là “hoàn toàn khoa học viễn tưởng”.

@Nesbit Có ảnh này nét hơn anh

 IMG_0656.jpeg   189.23K   91 Số lần tải

@Nesbit Regularity từ lâu được dịch là chính quy anh ơi.

Cảm ơn Nxb nhiều đã cất công trả lời anh rất rõ ràng.

 

 

Đoạn này thì em nói quá lời rồi. Tất nhiên là anh hoàn toàn không nghi ngờ gì những điều tụi em nói, mà chỉ là muốn hỏi cho rõ thêm những thứ mà anh đọc được qua loa trên mạng và thấy lăn tăn. (Nói rõ thêm cho những bạn khác đang đọc, trong topic này Nesbit không phải tranh luận với Nxb và bangbang nhé, phải nói là đang nhờ chỉ giáo thêm mấy chỗ chưa hiểu; giữa một người không biết gì về phạm trù như Nesbit và những người làm nghiên cứu về phạm trù như Nxb và bangbang thì không có chuyện tranh luận về phạm trù nhé, đẳng cấp nó khác xa lắm )

 

Thực ra là nhân topic này mới tìm đọc nhanh và thảo luận thêm vậy thôi chứ anh cũng không định là học hay hiểu phạm trù theo kiểu đọc trên mạng như vậy (dù là từ bài của các em). Nếu học thì anh sẽ học textbook và làm bài tập đàng hoàng, đó có lẽ là cách tốt nhất.

 

Nhân tiện nhắc tới textbook, Nxb và bangbang đánh giá cuốn Category Theory in Context của Riehl thế nào? Năm ngoái anh đọc một loạt review trên mạng thì cuối cùng chốt được cuốn này. Anh đã lên kế hoạch học bổ túc dần nhiều thứ trước khi học phạm trù, chắc sớm nhất cũng phải hai năm nữa mới sờ tới được vì thời gian không có nhiều, nhưng nhân topic này hỏi luôn biết đâu có ích cho những bạn khác cần học sớm hơn. Có thể textbook kiểu này cũng chẳng cần thiết, vì như các em nói thì không cần nhắm tới phạm trù làm gì, cứ học tới topo đại số hoặc hình học đại số là xong.

Có lần em tìm đọc monad thì tìm thấy cuốn sách của Riehl viết khá dễ hiểu. Nhưng em không rõ ứng dụng của phạm trù vào máy tính như thế nào. Rất có thể đây là một cuốn sách tốt vì dường như Riehl có quan tâm áp dụng phạm trù vào trong thực tế.

Gần đây cũng có một cuốn sách viết theo kiểu áp dụng toán https://golem.ph.ute...ction.html#more