Thảo luận:Hàm số Ackermann

Untitled

Thật tiếc, tôi không thể dùng các công cụ math của Wiki chưa thể biểu diễn mũ của mũ (ba lần)

Làng Đậu 18:22, 11 tháng 8 2005 (UTC)

Được chứ sao không: $2^{2^{2^{2^{2}}}}$. Dùng <math>2^{2^{2^{2^2}}}</math>. Đọc meta:Help:Formula Nguyễn Hữu Dụng 20:41, 11 tháng 8 2005 (UTC)

OOPs họ viết ngược với cách viết của Mime type trong Linux nên tôi hoài không ra trong khi bênn linux noó lại OK!

Của ai?

Bài en:Ackermann function nói về một hàm số tương tự (chắc là hàm số này, nhưng đảo ngược thứ tự variables) của nhà toán học Wilhelm_Ackermann (1896-1962). Nguyễn Hữu Dụng 20:59, 11 tháng 8 2005 (UTC)

Tôi dùng một từ điển Về các lý thuyết băng Anh ngữ. Dĩ nhiên người ta có thể phát biểu nhiều dạng khác nhau (thí dụ định lý Apolloni) tôi chỉ viết dạng ban đầu còn các dạng khác để cho mấy bạn nào thích viết thêm.

Nhưng hàm số lại mang tên của một người khác (cùng họ). Nguyễn Hữu Dụng 21:30, 11 tháng 8 2005 (UTC)

Hay nhỉ! Có thể ông ta có sống ở Anh hay Mỹ và có thêm tên ? Tôi đã xem lại cuốn từ điển không lẽ họ sai. Dể xem google xem

Tôi chưa verify được nhưng trước mắt là cả hai ông này đều có làm về logic. Winehlm Ackermann có lẽ hợp lý hơn. Tôi biết tiếng Đức để xem thêm thêm tiếng Đức xem!

Tạm để đó đi, tôi sẽ xem kỹ lại, rất có thể người làm từ điển bị sai (???) Cái hàm này có ứng đụng hiều trong tin học.

số ISBN 1578590450 "Dictionary of Theories" xuất bản năm 2002 (tương đối còn mới!)

Bạn Dụng thân mến, tôi đã tìm các dữ liệu và đây là kết luận:

1. Hiện tại chỉ có 1 tài liệu duy nhất nói rằng hàm Ackermen cuả ông John đó là cuốn từ điển nêu trên(nguyên văn):
   Ackermenn function Mathematics. Attribute to the American philoshopher and logician Robert John Ackermann (1933 - ).
   Trong trang 7. Sự sai lầm có thể xÀy ra ở đây bắt nguồn từ việc họ dùng lại tài liệu của A.V. Aho, J.E. Hopcroft và J.D. Ullman (mấy ông này viết về data structure chứ không chuyên về logic).
2. Trong Google, nếu dùng từ khóa: "Wilhelm Ackermann" AND "Ackermann function" thì có đến 272 tài liệu trong đó có nhiều bài (kể cả của WorldMath) xác nhận đây là của WilHelm.

Nếu tìm ra bài viết của WilHelm Ackermann về hàm này thì sẽ chắc chắn hơn: Grundzuege der Theoretischen Logik là nguồn mà ông ta đồng tác giả với nhà toán học Đức Hilbert. (Rất tiếc không dễ gì mà tìm ra cuốn này vì nó in từ năm 1928) (Xem [1])

Như vậy dựa trên dữ liệu, cho dù ông John cùng làm trong lãnh vực logic nhưng không có basàng chứng.

Dựa trên những điều tra trên tôi sẽ chỉnh tên lại thành wilhelm cho đến khi nào có bằng chứng xác nhận sự cần thay đổi khác đi.

Làng Đậu