Mở trình đơn chính Sửa Xem trang này George Boole "Boole" chuyển hướng ở đây. Đối với các ứng dụng khác, xem Boole (định hướng). George Boole George Boole color.jpg George Boole Sinh ngày 2 tháng 11 năm 1815 Lincoln, Lincolnshire, Anh chết 08 Tháng mười hai 1864 (49 tuổi) Ballintemple, County Cork, Ireland Quốc tịch Anh Tôn Giáo Unitarian Era thế kỷ 19 Triết lý khu vực Tây Triết học Toán học cơ sở tính toán lợi ích chính Toán học, Logic, Triết học của toán học ý tưởng đáng chú ý đại số Boolean Ảnh hưởng của Aristotle, Spinoza, Newton Ảnh hưởng tới các nhà khoa học máy tính hiện đại, Jevons, De Morgan, Keynes, Russell, Peirce, Johnson, Shannon, Shestakov George Boole (/ bul /; ngày 02 tháng 11 1815 - 8 tháng 12 năm 1864) là một nhà toán học người Anh, nhà giáo dục, nhà triết học và logic học. Ông làm việc trong các lĩnh vực của phương trình vi phân đại số và logic, và được biết đến như là tác giả của The Laws Tư tưởng đó có Boolean algebra. Boole cho rằng: Không có phương pháp chung cho các giải pháp của các câu hỏi trong lý thuyết xác suất có thể được thiết lập mà không nhận ra một cách rõ ràng, không chỉ các căn cứ số đặc biệt về khoa học, nhưng cũng có những quy luật của tư tưởng đó là cơ sở của tất cả lý luận , và trong đó, bất cứ điều gì họ có thể làm cho bản chất của họ, ít nhất là toán học như hình thức của họ. [1] Nội dung đầu cuộc sống Giáo sư tại Cork Danh hiệu và giải thưởng Chết trình vi phân phương trình phân tích logic của Symbolic 1854 định nghĩa của vũ trụ ngôn Boole của điều trị Ngoài ra trong logic xác suất lý thuyết Legacy phát triển thế kỷ 19 phát triển từ thế kỷ 20 của thế kỷ 21 lễ kỷ niệm lần xem gia đình Xem thêm Tài liệu tham khảo Ghi chú Liên kết ngoài cuộc sống sớm Sửa Boole sinh ra ở Lincolnshire, Anh. Cha của ông, John Boole (1779-1848), là một thợ ở Lincoln [2] và cho ông bài học. Ông đã có một nền giáo dục tiểu học, nhưng ít giảng dạy chính thức và học tập hơn nữa. William Brooke, một hiệu sách ở Lincoln, có thể đã giúp anh ta với Latin, mà ông cũng có thể đã học tại trường của Thomas Bainbridge. Ông đã tự học ngôn ngữ hiện đại. [3] Ở tuổi 16 Boole đã trở thành trụ cột gia đình cho cha mẹ và ba anh chị em trẻ hơn, chiếm một vị trí giảng dạy cơ sở ở Doncaster tại Trường Heigham của. [4] Ông dạy một thời gian ngắn ở Liverpool. [5 ] Boole tham gia Mechanics địa phương Viện, Cơ học Lincoln 'Institution, được thành lập năm 1833. [3] [6] Edward Bromhead, người biết John Boole thông qua các tổ chức, giúp George Boole với sách toán học [7] và ông đưa ra các văn bản tích của Sylvestre François Lacroix bởi Mục sư George Stevens Dickson của Lincoln St swithin của. [8] Nếu không có một giáo viên, anh đã phải mất nhiều năm để làm chủ tích [5]. Lincoln House Boole của Nhà Boole và học tại 3 Pottergate trong Lincoln. Plaque từ các ngôi nhà ở Lincoln. Năm 19 tuổi, Boole thiết lập thành công trường của riêng mình tại Lincoln. Bốn năm sau đó, ông đã qua Học viện Hall tại Waddington, bên ngoài Lincoln, sau cái chết của Robert Hall. Năm 1840, ông chuyển về Lincoln, nơi ông điều hành một trường nội trú. [5] Boole đã trở thành một nhân vật tiếng ở địa phương, một người ngưỡng mộ John Kaye, các giám mục. [9] Ông đã tham gia vào các chiến dịch tại địa phương cho đóng cửa sớm. [3 ] Với ER Larken và những người khác, ông thành lập một xã hội xây dựng vào năm 1847. [10] Ông cũng liên quan đến việc người vận động Thomas Cooper, có vợ là một mối quan hệ. [11] Từ năm 1838 trở đi Boole đã được tiếp xúc với những nhà toán học học cảm tình của Anh và đọc rộng rãi hơn. Ông học đại số trong các hình thức của phương pháp tượng trưng, như những đã hiểu tại thời điểm, và bắt đầu xuất bản tài liệu nghiên cứu. [5] Giáo sư tại Cork Chỉnh sửa Ngôi nhà ở Cork trong đó Boole sống giữa năm 1849 và 1855. tình trạng Boole như toán học là công nhận việc bổ nhiệm ông vào năm 1849 như các giáo sư đầu tiên của toán học tại Queen College, Cork (nay là Đại học Cao đẳng Cork (UCC)) tại Ireland. Ông đã gặp người vợ tương lai của mình, Mary Everest, có vào năm 1850 khi mà cô thăm cô chú John Ryall là người giáo sư của Hy Lạp. Họ kết hôn một năm sau đó. [12] Ông duy trì mối quan hệ của mình với Lincoln, làm việc ở đó với ER Larken trong một chiến dịch để giảm tệ nạn mại dâm. [13] Danh hiệu và giải thưởng Sửa Boole đã được tặng thưởng Huân chương Keith của Hội Hoàng gia Edinburgh năm 1855 [ 14] và được bầu là Uỷ viên của Hội Royalki vào năm 1857. [8] Ông nhận bằng danh dự của LL.D. từ Đại học Dublin và Đại học Oxford. [15] Chết Sửa Năm 1864, Boole đi hai dặm trong mưa drenching và giảng dạy mặc quần áo ướt của mình. Ông đã sớm trở thành bệnh, phát triển một cơn sốt rét và cao nặng. Là vợ của ông tin rằng biện pháp khắc phục nên giống với nguyên nhân của họ, cô đặt chồng lên giường và đổ xô nước trên người - ướt đã mang về bệnh tật của mình. Điều kiện Boole trở nên tồi tệ và trên 08 Tháng Mười Hai 1864, ông qua đời vì sốt gây ra tràn dịch màng phổi. Ông được chôn cất tại nhà thờ của Ireland nghĩa trang St Michael, Church Road, Blackrock (một vùng ngoại ô của Cork City). Có một tấm kỷ niệm bên trong nhà thờ liền kề. [16] Boole của bia mộ, Cork, Ireland. Xem chi tiết của cửa sổ kính màu ở Nhà thờ Lincoln dành riêng cho George Boole. Plaque bên dưới cửa sổ Boole trong Nhà thờ Lincoln. Công trình Sửa bài báo công bố đầu tiên Boole là Nghiên cứu trong lý thuyết về biến đổi phân tích, với một ứng dụng đặc biệt để giảm của phương trình tổng quát của lệnh thứ hai, in trên Tạp chí Toán học Cambridge trong tháng 2 năm 1840 (Tập 2, không có. 8, pp. 64-73), và nó đã dẫn đến một tình bạn giữa Boole và Duncan Farquharson Gregory, biên tập viên của tạp chí. Tác phẩm của ông là trong khoảng 50 bài báo và một vài ấn phẩm riêng biệt. [17] Năm 1841 Boole xuất bản một bài báo có ảnh hưởng trong lý thuyết bất biến sớm. [8] Ông đã nhận được một huy chương của Hội Hoàng gia cho cuốn hồi ký của mình năm 1844, On A Phương pháp chung của phân tích. Đó là một đóng góp cho lý thuyết của phương trình vi phân tuyến tính, di chuyển từ trường hợp của hệ số hằng số mà trên đó ông đã xuất bản, để hệ số biến. [18] Những đổi mới trong phương thức hoạt động là phải thừa nhận rằng các hoạt động có thể không đi lại. [19] Năm 1847 Boole xuất bản The Mathematical Analysis của Logic, lần đầu tiên tác phẩm của ông trên logic biểu tượng. [20] phương trình vi phân Sửa Hai khảo luận có hệ thống về môn toán học đã được hoàn thành bởi Boole trong suốt cuộc đời của mình. Các chuyên luận về phương trình vi phân [21] xuất hiện vào năm 1859, và được tiếp nối, những năm tới, bởi một chuyên luận về Calculus những sự khác biệt hữu hạn, một phần tiếp theo của công việc trước đây. Phân tích Chỉnh sửa Năm 1857, Boole xuất bản chuyên luận Trên So sánh Transcendents, với một số ứng dụng để các học thuyết về tích phân xác định, [22], trong đó ông đã nghiên cứu tổng dư lượng của một chức năng hợp lý. Trong số các kết quả khác, ông đã chứng minh những gì bây giờ được gọi là bản sắc Boole của: mathrm {mes} trái {x in mathbb {R} , mid , Re frac {1} { pi} sum frac {a_k} {x - b_k} geq t right } = frac { sum a_k} { pi t} cho bất kỳ số thực ak> 0, bk, và t> 0. [23] Generalisations này sắc đóng một vai trò quan trọng trong lý thuyết của Hilbert biến đổi [23]. lôgic Symbolic Sửa bài viết chính: đại số Boolean Năm 1847 Boole xuất bản cuốn sách nhỏ Mathematical Analysis của Logic. Sau đó, ông coi nó như là một trình bày thiếu sót của hệ thống logic của mình, và muốn Một cuộc điều tra của các Luật Tư tưởng về nào được thành lập các lý thuyết toán học của Logic và Xác suất để được nhìn thấy như các tuyên bố của trưởng thành quan điểm của mình. Trái ngược với niềm tin phổ biến, Boole không bao giờ có ý định chỉ trích hay không đồng ý với các nguyên tắc chính của logic của Aristotle. Thay ông dự định để hệ thống hóa nó, để cung cấp cho nó một nền tảng, và mở rộng phạm vi của các ứng dụng. [24] tham gia ban đầu Boole của trong logic đã được thúc đẩy bởi một cuộc tranh luận hiện hành về định lượng, giữa Sir William Hamilton đã ủng hộ lý thuyết về "định lượng của vị ", và là người ủng Boole của Augustus De Morgan đã tiến một phiên bản của De Morgan tính hai mặt, như bây giờ được gọi. Cách tiếp cận Boole của cùng đã được nhiều hơn nữa đến hơn hai bên 'trong tranh cãi. [25] Nó được thành lập những gì lần đầu tiên được biết đến như là "đại số logic" truyền thống. [26] Trong số rất nhiều sáng kiến của mình là nguyên tắc của mình tham khảo wholistic, mà sau này , và có lẽ một cách độc lập, được thông qua bởi Gottlob Frege và luận lý học người đăng ký với tiêu chuẩn logic của lệnh đầu tiên. Một bài báo năm 2003 [27] cung cấp một so sánh có hệ thống và đánh giá quan trọng của logic Aristotle và Boolean logic; nó cũng cho thấy tính trung tâm của tài liệu tham khảo wholistic trong triết lý của logic Boole của. 1854 định nghĩa của vũ trụ ngôn Sửa Boole của Trong mỗi bài giảng, cho dù của tâm trò chuyện với những suy nghĩ riêng của mình, hoặc của cá nhân trong quan hệ của mình với những người khác, có một giả định hoặc thể hiện giới hạn trong phạm vi mà các đối tượng hoạt động của nó bị giới hạn. Các ngôn không bị trói buộc nhất là trong đó các từ chúng ta sử dụng được hiểu trong ứng dụng rộng nhất có thể, và cho họ những giới hạn của ngôn là đồng rộng lớn với những người của vũ trụ. Nhưng thường là nhiều hơn chúng ta giới hạn mình vào một lĩnh vực ít rộng rãi. Đôi khi, trong diễn thuyết của những người đàn ông chúng tôi ngụ ý (mà không thể hiện giới hạn) mà nó là của người đàn ông chỉ trong một số hoàn cảnh và điều kiện mà chúng tôi nói chuyện, như những người đàn ông văn minh, hoặc của người đàn ông trong sức sống của cuộc sống, hoặc những người đàn ông theo một số điều kiện khác hoặc liên quan. Bây giờ, bất cứ điều gì có thể là mức độ của các lĩnh vực mà trong đó tất cả các đối tượng của diễn ngôn của chúng tôi được tìm thấy, lĩnh vực mà có thể đúng được gọi là vũ trụ của diễn ngôn. Hơn nữa, vũ trụ này của diễn ngôn là theo nghĩa chặt chẽ các đối tượng cuối cùng của bài giảng. [28] Điều trị bổ sung trong logic Sửa Boole thụ thai của "biểu tượng chọn lọc" của loại hình của mình như là một cấu trúc đại số. Nhưng khái niệm chung này không có sẵn cho ông. Ông không có tiêu chuẩn phân biệt chủng tộc trong đại số trừu tượng của mặc nhiên công nhận (tiên đề) thuộc tính của các hoạt động, và các đặc tính suy luận [29] Tác phẩm của ông là một khởi đầu cho các đại số của các bộ, một lần nữa n
đang được dịch, vui lòng đợi..
