Tiểu sử và đóng góp của Thomas Bayes



Thomas Bayes (1702-1761) là một nhà thần học và toán học người Anh, được coi là người đầu tiên sử dụng xác suất quy nạp. Ngoài ra, ông đã phát triển một định lý mang tên mình: Định lý Bayes.

Ông là người đầu tiên thiết lập một cơ sở toán học cho suy luận xác suất: một phương pháp tính tần suất xảy ra sự kiện trước đó và xác suất xảy ra trong các thử nghiệm trong tương lai.

Bạn có ít kiến ​​thức về sự khởi đầu và phát triển của cuộc đời bạn; tuy nhiên, người ta biết rằng ông là thành viên của Hiệp hội Hoàng gia Luân Đôn, một xã hội khoa học có uy tín của Vương quốc Anh.

Mặt khác, nhà toán học người Anh đã không công bố tất cả các tác phẩm của mình trong cuộc sống; Trên thực tế, ông chỉ xuất bản hai tác phẩm có kích thước nhỏ trong đó chỉ có một tác phẩm liên quan đến lĩnh vực khoa học và ẩn danh.

Sau khi ông qua đời, các tác phẩm và ghi chú của ông đã được nhà triết học người Anh Richard Price biên tập và xuất bản. Nhờ vậy, ngày nay các tác phẩm được sử dụng như một sản phẩm của những nỗ lực của họ.

Chỉ số

  • 1 Tiểu sử
    • 1.1 Năm đầu tiên và việc làm
    • 1.2 Lòng nhân từ
    • 1.3 Công bố khoa học đầu tiên
    • 1.4 Động lực cho toán học
    • 1.5 Cái chết và di sản
  • 2 Đóng góp
    • Định lý 2.1 Bayes
    • 2.2 Bayes
    • Suy luận 2.3 Bayes
  • 3 tài liệu tham khảo

Tiểu sử

Năm đầu tiên và công việc

Thomas Bayes sinh năm 1701 hoặc 1702; ngày sinh chính xác của anh ta không được biết. Người ta nói rằng ông được sinh ra ở London hoặc ở quận Hertfordshire, Anh. Ông là con trai cả trong bảy người con trai của Joshua Bayes, một bộ trưởng Presbyterian ở London. Mẹ anh là Anne Carpenter.

Bayes xuất thân từ một gia đình Tin lành nổi tiếng, những người không tuân thủ các quy tắc của Giáo hội Anh, được gọi là những người không tuân thủ. Họ được thành lập tại thành phố Sheffield của Anh.

Vì lý do đó, anh đã học với các gia sư riêng và được cho là đã nhận được các lớp học từ Abraham de Moivre, một nhà toán học người Pháp nổi tiếng với những đóng góp của ông cho lý thuyết xác suất, có ảnh hưởng lớn đến các dự án của ông.

Do niềm tin tôn giáo cực đoan của mình, anh không thể đăng ký vào các trường đại học như Oxford hay Cambridge, vì vậy anh đã theo học tại các trường Scotland như Đại học Edinburgh. Ở đó, ông học logic và thần học.

Năm 1722, ông trở về nhà và giúp cha mình trong nhà nguyện trước khi chuyển đến Tunbridge Wells vào khoảng năm 1734. Ông vẫn ở đó, nơi ông là mục sư của nhà nguyện Núi Sion, cho đến năm 1752.

Lòng nhân từ

Lòng nhân từ thiêng liêng, hay mãnh liệt để chứng minh rằng mục đích chính của Quan phòng thiêng liêng và Chính phủ là hạnh phúc của cristura, Đó là một trong những tác phẩm được xuất bản đầu tiên của Thomas Bayes, vào năm 1731.

Được biết, Bayes chỉ xuất bản hai tác phẩm quy mô ngắn; một liên quan đến thần học và siêu hình học và công trình thứ hai, liên quan đến lĩnh vực khoa học hướng nhiều hơn đến những đóng góp của họ.

Người ta nói rằng tác phẩm thần học siêu hình được viết để đáp lại ký ức của triết gia và mục sư Anh giáo, John Balguy.

Trong những năm trước, Balguy đã xuất bản một bài tiểu luận về Sáng tạo và Quan phòng, trong đó ông giải thích rằng nguyên tắc đạo đức nên định hướng cuộc sống của con người có thể là con đường của Thiên Chúa; đó là, sự tốt lành trong một vị thần không phải là một ý định đơn thuần cho lòng nhân từ, mà là một trật tự và hài hòa.

Từ tác phẩm đó, Bayes đã trả lời với ấn phẩm của mình và cuộc tranh cãi về "nếu Thiên Chúa không bắt buộc phải tạo ra vũ trụ, tại sao anh ta?"

Công bố khoa học đầu tiên

Năm 1736, một trong những ấn phẩm khoa học đầu tiên của ông đã được xuất bản (ẩn danh), mang tên Giới thiệu về học thuyết của Fluxiones, và bảo vệ các nhà toán học chống lại sự phản đối của tác giả của Nhà phân tích.

Công trình bao gồm một sự bảo vệ cho phép tính vi phân của Isaac Newton để đáp lại cuộc tấn công của Đức cha Berleley về lý thuyết từ thông và chuỗi vô hạn của Newton trong tác phẩm Nhà phân tích, 1730.

Công trình của Bayes về cơ bản là bảo vệ các phương pháp đại số của Newton, trong đó ông cho phép xác định các mức tối đa và tối thiểu của các mối quan hệ, các tiếp tuyến, độ cong, diện tích và độ dài.

Ấn phẩm này là tác phẩm đã mở ra cánh cửa để Thomas Bayes trở thành thành viên của Hiệp hội Hoàng gia Luân Đôn vào năm 1742, mặc dù chưa có các tác phẩm được xuất bản liên quan đến toán học. Mặc dù vậy, công việc của ông, vốn ban đầu là ẩn danh, đã được phát hiện. Điều này khiến anh được mời đến Hội Hoàng gia.

Động lực cho toán học

Trong những năm cuối đời, ông bắt đầu quan tâm đến các lý thuyết xác suất. Nhà sử học về khoa học thống kê của Chicago, Stephen Stigler, cho rằng Bayes quan tâm đến chủ đề này sau khi xem xét một trong những tác phẩm của nhà toán học người Anh Thomas Simpson.

Tuy nhiên, nhà thống kê người Anh George Alfred Barnard tin rằng ông đã học và được thúc đẩy bởi toán học sau khi đọc một cuốn sách của giáo viên của mình, ông Abraham Moivre.

Một số nhà sử học suy đoán rằng Bayes được thúc đẩy để bác bỏ lập luận của nhà kinh nghiệm người Scotland David Hume thể hiện trong tác phẩm của mình Nghiên cứu về sự hiểu biết của con người, trong đó ông đã chống lại niềm tin kỳ diệu.

Ngoài hai chuyên luận đã được công bố, ông đã thực hiện một số bài viết về toán học. Một trong số này được bao gồm trong một bức thư gửi cho John Canton, thư ký của Hiệp hội Hoàng gia Luân Đôn. Bài báo được xuất bản năm 1763 và xử lý các loạt khác nhau và đặc biệt là với các định lý của Moivre Stirling.

Mặc dù vậy, bài báo không được bình luận trong sự tương ứng của bất kỳ nhà toán học nào thời đó, lý do tại sao rõ ràng nó không có siêu việt lớn.

Cái chết và di sản

Mặc dù không có bằng chứng để xác nhận các hoạt động của Bayes trong những năm cuối đời, nhưng người ta biết rằng ông không bao giờ từ bỏ việc học toán; mặt khác, anh ta đã đi sâu hơn vào xác suất. Mặt khác, Bayes không bao giờ kết hôn, vì vậy anh ta đã chết một mình ở Tunbridge Wells vào năm 1761.

Năm 1763, Richard Price được yêu cầu trở thành "nhà thực thi văn học" cho các tác phẩm của Thomas Bayes; Sau đó, ông chỉnh sửa tác phẩm mang tên Một bài luận để giải quyết một vấn đề trong học thuyết về các khả năng. Trong công trình này, định lý Bayes được chứa, một trong những kết quả thành công của lý thuyết xác suất.

Sau đó, các tác phẩm của Bayes vẫn bị bỏ qua trong Hội Hoàng gia Luân Đôn và trên thực tế, ít có ảnh hưởng đến các nhà toán học thời đó..

Tuy nhiên, Hầu tước Condorcet, Jean Antoine Nicolás Caritat, đã khám phá lại các tác phẩm của Thomas Bayes. Sau đó, nhà toán học người Pháp Pierre Simon Laplace đã đưa họ vào xem xét trong công việc của mình Lý thuyết xác suất phân tích, vào năm 1812. Ngày nay, di sản của ông vẫn còn hiệu lực trong một số lĩnh vực toán học.

Đóng góp

Định lý Bayes

Giải pháp của Bayes cho vấn đề xác suất nghịch đảo (một thuật ngữ lỗi thời cho xác suất của một biến không quan sát được) đã được trình bày trong công trình của ông Một bài luận để giải quyết một vấn đề trong học thuyết về các khả năng, thông qua định lý của mình. Tác phẩm được Hội Hoàng gia Luân Đôn đọc vào năm 1763, sau khi ông qua đời.

Định lý biểu thị xác suất xảy ra sự kiện "A", biết rằng có sự kiện "B"; nghĩa là, nó liên kết xác suất của "A" cho "B" và "B" cho "A".

Ví dụ, khả năng bạn bị đau cơ vì bạn bị cúm, bạn có thể biết xác suất bị cúm nếu bạn bị đau cơ.

Hiện tại, định lý của Bayes được áp dụng trong lý thuyết xác suất; tuy nhiên, thống kê ngày nay chỉ cho phép xác suất dựa trên kinh nghiệm và định lý này chỉ đưa ra xác suất chủ quan.

Mặc dù vậy, định lý cho phép giải thích làm thế nào tất cả những xác suất chủ quan có thể được sửa đổi. Mặt khác, nó có thể được áp dụng cho các trường hợp khác, chẳng hạn như: xác suất một tiên nghiệm hoặc một posteriori, trong chẩn đoán ung thư, v.v..

Bayes

Thuật ngữ "Bayes" đã được sử dụng từ năm 1950 nhờ những tiến bộ trong công nghệ máy tính cho phép các nhà khoa học kết hợp thống kê Bayes truyền thống với các kỹ thuật "ngẫu nhiên"; việc sử dụng định lý đã được mở rộng trong khoa học và trong các lĩnh vực khác.

Xác suất Bayes là một cách giải thích khái niệm xác suất, cho phép suy luận với những giả thuyết nhất định; đó là, các mệnh đề có thể đúng hoặc sai và kết quả sẽ hoàn toàn không chắc chắn.

Thật khó để đánh giá quan điểm triết học của Bayes về xác suất, vì bài tiểu luận của ông không đi vào câu hỏi giải thích. Tuy nhiên, Bayes định nghĩa "xác suất" theo cách chủ quan. Theo Stephen Stigler, Bayes tuyên bố kết quả của mình theo cách hạn chế hơn so với người Bayes hiện đại.

Mặc dù vậy, các lý thuyết của Bayes có liên quan để phát triển, từ đó, các lý thuyết và quy tắc hiện hành khác.

Suy luận Bayes

Thomas Bayes đã đưa ra định lý khác của mình giải thích các sự kiện được công nhận khác. Hiện nay, suy luận Bayes được áp dụng cho lý thuyết quyết định, cho tầm nhìn nhân tạo (phương pháp hiểu hình ảnh thực tế để tạo ra thông tin bằng số), v.v..

Suy luận Bayes là một cách dự đoán chính xác hơn về dữ liệu bạn có tại thời điểm này; đó là một phương pháp thuận lợi khi bạn không có đủ tài liệu tham khảo và bạn muốn đạt được kết quả trung thực.

Chẳng hạn, có khả năng khá cao là mặt trời sẽ mọc lại vào ngày hôm sau; tuy nhiên, có khả năng thấp là mặt trời không ló ra.

Sự can thiệp của Bayes sử dụng một công cụ kích thích số để xác nhận mức độ tin tưởng vào giả thuyết đó trước khi quan sát bằng chứng, đồng thời, tính toán mức độ của niềm tin trong giả thuyết sau khi quan sát. Sự can thiệp của Bayes dựa trên mức độ của niềm tin hoặc xác suất chủ quan.

Tài liệu tham khảo

  1. Thomas Bayes, biên tập viên của bách khoa toàn thư Britannica, (n.d.). Lấy từ britannica.com
  2. Thomas Bayes. Một sự tôn kính, một định lý và nhiều ứng dụng, Fernando Cuartero, (n.d.). Lấy từ habladeciencia.com
  3. Lòng tin thiêng liêng, Thomas Bayes, (2015). Lấy từ Books.google.com
  4. Thomas Bayes, Wikipedia en Español, (n.d.). Lấy từ Wikipedia.org
  5. Triết lý của khoa học: Bayisian Confirmation, Phillip Kitcher, (n.d.). Lấy từ britannica.com