Hệ quả bất ngờ của một định lý toán học

10:36 CH @ Thứ Sáu - 22 Tháng Tám, 2014

Trong khoảng chưa đầy 30 năm đầu của thế kỷ 20, Khoa học đã được chứng kiến ba chấn động lớn : Vào năm 1905 và 1915 Einstein công bố Thuyết tương đối. Năm 1926, những công trình hoàn chỉnh đầu tiên của Cơ học lượng tử ra đời, với một số nguyên lý cơ bản, được coi mở ra một con đường mới, làm biến đổi hình ảnh về Vũ trụ vốn có ở con người, một cuộc biến đổi còn triệt để hơn cả sự biến đổi mà cuộc cách mạng Copernic đã tạo ra. đặc biệt vang dội là Nguyên lý bất định do nhà vật lý người Đức W. Heisenberg trình bày trong năm 1927, cùng dịp với Đại hội Copenhague, đánh dấu sự thành lập chính thức Lý thuyết Lượng tử. Bốn năm sau, năm 1931, Nhà toán học người Áo Kurt Göđel công bố một định lý làm chấn động Thế giới Toán học, được đánh giá là kỳ lạ nhất và cũng là bí hiểm nhất trong Toán học. Định lý có nội dung như sau : Đối với các hệ thống Toán học hình thức hóa với một hệ tiên đề đủ mạnh, thì, một là, hệ thống đó không thể vừa là nhất quán, vừa là đầy đủ. Hai là, tính nhất quán của hệ tiên đề không thể được chứng minh bên trong hệ thống đó.

Khác với hai lý thuyết Vật lý vừa nêu, định lý Toán học mang tên Kurt Gödel (hay còn gọi là định lý Bất toàn) không gây ra một không khí xôn xao sâu rộng như hai thuyết Vật lý cùng thời, và do đó rất ít người biết đến. Vì sao như vậy? Theo lý giải của nhiều học giả thì trước hết là người ta cho rằng, định lý Toán học chỉ có giá trị lý thuyết nhiều hơn. Nhưng có lẽ có một lý do khác mà không ít Nhà toán học không muốn đề cao tầm quan trọng của định lý, bỡi vì nhưng hệ quả Triết học của nó làm tiêu tan niềm xác tín đầy cao ngạo của họ đối với vai trò độc tôn của Toán học nói riêng và của Khoa học nói chung.

Với định lý Bất toàn, thì dù Toán học, xưa nay, vẫn tự hào là một hệ thống lôgic nghiêm ngặt với một nền tảng vững chắc nhất, cũng phải chịu một qui luật “Có thể sai” như các Khoa học khác !

Những biến đổi cách mạng tư duy trong Vật lý học hiện đại xuất phát từ sự thật rằng, không thể hy vọng đứng bên trong Thế giới duy lý mà biết hết mọi thứ. Thế giới Tự nhiên quả thực có nhiều thứ lạ lùng hơn mọi điều mà trí tuệ duy lý của chúng ta có thể nắm bắt được.

Suy rộng định lý Gödel, ta có thể hiểu là : Bất cứ một lý thuyết nào mà con người xây dựng nên, đều chỉ phản ảnh một tình huống nhất định của nhận thức. Từ bên trong một tình huống, không thể hiểu hết mọi chuyện trong tình huống đó, chỉ khi đứng ngoài tình huống đó thì may ra mới đạt tới một bức tranh sâu rộng hơn để có thể nhận ra toàn bộ mối quan hệ tạo nên cấu trúc bên trong của nó.

Trong cuộc sống đời thường, ta thường nghe câu triết lý : “ người trong cuộc không sáng suốt bằng kẻ đứng ngoài cuộc”. Đó là một trải nghiệm xuyên thời gian của Thế thái nhân tình, nhưng lại có nguồn gốc từ bản thể của Tự nhiên như một hệ quả Triết học của định lý bất toàn.

Hoặc nói cách khác, rằng : “Anh nói cho tôi biết người bạn thân thiết nhất của anh là người như thế nào, tôi sẽ nói cho anh biết, anh là người như thế nào”. Điều đó có nghĩa là, ta không bao giờ biết đầy đủ chính ta, nếu không đặt mình từ bên ngoài để nhìn lại mình.

Nếu tham vọng của Nhà toán học vĩ đại Hilbert muốn xây dựng một nền tảng Toán học nhất quán và phi mâu thuẫn, bị Định lý Gödel làm cho sụp đổ, thì trong công cuộc phát triển Kinh tế Xã hội, ở thời điểm hiện tại, nếu chưa xác định một cách nhất quán mô hình của nền kinh tế đất nước, thì việc hoạch định những dự án, dựa trên cơ sở “tư duy duy lý”, với một tầm nhìn hàng nửa thế kỷ, là một sự lựa chọn tiềm ẩn nhiều nguy cơ mất bền vững.

Những bài học phải trả giá đắt do dự báo sai về tầm nhìn phát triển, mà nhiều Quốc gia đã nếm trải, là một thực tế không thể không ghi nhớ.

Nhiều Nhà khoa học, kể cả các Nhà vật lý, đã nhận rõ là cần vượt ra ngoài biên giới của mọi qui giản về tư duy duy lý để có thể nhận thức đầy đủ hơn về Thế giới, mà Trí tuệ không bao giờ có thể thấu hiểu hòan toàn.

Trong một bài giảng của mình vào năm 1933, Einstein nói : “Nếu anh muốn biết phương pháp mà Nhà vật lý lý thuyết đã dùng, thi tôi cho anh một lời khuyên :Đừng nghe họ nói mà hãy xét những thành tựu của họ , Bởi vì đối với một Nhà phát minh, kiến trúc của trí tưởng tượng xuất hiện một cách tự nhiên như nó phải thế, chứ không phải là sáng tạo của tư duy”. Cùng mạch suy nghĩ này, trong một bài báo Khoa học Giáo sư Toán học Phan Đình Diệu viết : “Để cho Khoa học cung cấp cho con người nhiều hiểu biết hơn về Thiên nhiên, về Vũ trụ, về cuộc sống. đã đến lúc mà Tư duy cơ giới với Tất định luận, chỉ với những phương pháp phân tích, suy luận duy lý và qui giản… không còn phù hợp nữa, mà cần được bổ sung những quan điểm tư duy mới, sử dụng những công cụ và phương pháp mới, vận dụng thêm những năng lực cảm thụ khác vốn có, trên cơ sở các quan điểm và phương pháp mới đó để cảm nhận và tìm hiểu các đối tượng nhận thức của mình. Mà đối tượng nhận thức của con người thì trước hết phải là những vấn đề của đời sống bình thường, thuộc kích cỡ con người”.

Điều thú vị là định lý Gödel, ngoài động lực thúc đẩy một cuộc cách mạng tư duy về phương pháp luận khoa học, nó còn làm nảy sinh một nghịch lý về khái niệm “Mê tín” mới : Nhiều thế hệ các nhà khoa học mải mê trên con đường đi sâu mãi vào lòng vật chất của Thế giới , bằng tư duy qui giản, cắt vụn hiện thực, rồi xem cái mẩu được cắt ra đó là chính hiện thực, bằng những lời “đại ngôn”, làm không ít các Nhà khoa học và Triết học có lương tri phải lên tiếng, coi đó là sự “kiêu căng thái quá”. Và chính nó đã gây ra một ảo tưởng. rằng ngày nay mọi vấn đề của khoa học đời thường đều đã được giải quyết. Ảo tưởng đó đã trở thành niềm xác tín mang tính thần lực, mà người đời cũng xem nó là một thứ bệnh “Mê tín”. Hóa ra nhận thức cũng có sự đối xứng : “Mê tín Thần thánh” và “Mê tín Khoa học”. Mà mê tín nào thì cũng đã từng gây ra không ít đổ vỡ và bi kịch trần gian,

Trong lúc cuộc cách mạng tư duy cuốn hút trí tuệ thời đại trên con đường tiếp cận chân lý của hiện thực bằng Chiến lược Hệ thống, thì Triết lý Giáo dục lại đi theo một tiến trình ngược lại : Sự chia nhỏ manh mún gọi là “chuyên sâu”, sự phân Ban, lao sâu vào những cuộc thử nghiệm chuyên biệt…, ngay tại cấp học gọi là Phổ thông, với ý tưởng đi tìm đỉnh cao Tri thức. Ở đây, đối tượng của giáo dục là Con người để Làm người, như một tổng thể của hiện thực, đã bị xóa mất.

Edgar Morin Nhà triết học Giáo dục đã đặt Giáo dục trước những vấn đề thách thức trong một Thế giới toàn cầu hóa, mà sự hội nhập của các Quốc gia Dân tộc, là một tất yếu, trong đó, Ông nhắc lại câu nói của Nhà văn Mỹ Eliot, như một tiếng kêu : “Minh triết đâu rồi, chỉ còn lại Tri thức ! Tri thức đâu rồi, chỉ còn lại Thông tin !“. Hình như nền Giáo dục của chúng ta đang cò ít hơn thế nữa. Nó kiến tạo những Trí thức và Thông tin bị băm vụn, dần trở thành những giáo điều ngấm vào nhận thức của hôm nay. Cuối cùng , cũng không thể không nhớ đến câu nói nổi tiếng của Nhà Giáo dục vĩ đại J. Rousseau : “Việc học tập đích thực của chúng ta là học tập về thân phận của Con người”.

Edgar Morin, đang nói đến việc học tập thân phận Con người trong một Thế giới biến đổi chưa từng có như ngày hôm nay.

Định lý Gödel ra đời, đến nửa thế kỷ sau, người ta mới thấy ý nghĩa to lớn của nó đối với Khoa học và Triết học. Từ sự hạn chế của các hệ lôgic của chính bản thân Toán học, người ta vỡ lẽ ra lý do khiếm khuyết và hạn chế trong các cấu trúc lôgic nhân tạo.

Trong công nghệ tính toán, Computer với tư cách là một hệ lôgic cả phân cứng lẫn phần mềm, nó cũng chấp nhận sống chung với sự “bất toàn” như một phần cơ thể của chính nó : Đó là sự cố Treo máy, sự cố Virus, Chương trình tối ưu, mà bất kỳ ai sử dụng computer đều được nếm trải.

Alan Turing, cha đẻ của máy tính điện tử hiện đại, với mô hình Toán học Máy Turing, từ những năm 1950, ông đã tiên đoán “Sự cố Treo máy" như một bài toán nổi tiếng mãi về sau này. Đồng thời cũng cho biết rằng, không thể khắc phục tuyệt đối bằng việc viết ra một chương trình có khả năng loại bỏ bất kỳ chủng virus nào. Gần đây nhất, G. Chaitin, Nhà Toán học thuộc IBM, đã chứng minh một hạn chế nữa, rằng không thể viết một chương trình tối ưu cho một mục tiêu định trước. Chỉ có thể viết một chương trình tốt hơn một chương trình đã có. Tất cả những hạn chế này đều có cơ sở lôgic là Định lý bất toàn Gödel.

Một vấn đề cũng có sức thu hút trí tuệ trong Thế kỷ hai mươi mốt, đó là “Trí thông minh nhân tạo”, với câu hỏi nóng bỏng nhất : “Trong tương lai, chúng ta có thể chế tạo những Robot thông minh như con người hay không ?”. John Arrow, giáo sư Đại học Sussex (London), đã lấy tư tưởng của Định lý bất toàn viết nên tác phẩm, có tiêu đề Imposibihty (Bất khả), nêu lên luận đề Giới hạn của Khoa học và Khoa học về các Giới hạn, cũng đã lấy Định lý bất toàn Gödel làm cơ sở để trả lời câu hỏi nóng bỏng trên : Bộ não con người, với tư cách là một hệ lôgic, không bao giờ hiểu biết hết chính mình, thì cũng sẽ chẳng bao giờ chế tạo được “Bộ não” thông minh giống mình. Robot được trang bị “Bộ não nhân tạo”, dù thông minh đến đâu, thì cũng chỉ có thể “suy nghĩ” dựa trên một tập hợp hữu hạn các tiên đề (chương trình). Trong khi đó não con người có thể có nhưng phát kiến bất chợt : Những cảm nhận Trực giác xuất thần không dựa theo bất kỳ một hệ thống lý thuyết nào.

“Khoa học về Giới hạn” mà Barrow nêu lên, không hạ thấp vai trò Khoa học, mà chính là để định hướng đi cho Khoa học, phát triển mà không xa rời bản chất của hiện thực. Như Nhà Vật lý Vũ trụ Stephen Hawking đã từng nói : “Khoa học Vật lý có thể hoàn thành sứ mệnh của mình mà không có câu trả lời cho một vài câu hỏi cơ bản nhất của Tự nhiên”, cũng là vì lý do hạn chế đó.

Định lý Bất toàn Gödel là một trong những Định lý vĩ đại nhất được chứng minh trong Thế kỷ XX. Nhà Toán học người Mỹ William Denton tuyên bố: “Định lý Bất toàn Gödel xếp ngang hàng với thuyết Tương đối của Einstein và nguyên lý Bất định của Heisenberg !

FacebookTwitterLinkedInPinterestCập nhật lúc:

Nội dung liên quan

  • Hợp trội luận và Quy giản luận: đối lập và song hành

    24/10/2018Đỗ Kiên CườngLà quan niệm trung tâm của lý thuyết các hệ thống phức tạp, emergence đang được ca ngợi một cách toàn diện (và đúng đắn). Phải chăng reductionism đã mất hết khả năng nhận thức, như một số nhà tư tưởng nghi ngờ?
  • Lạm bàn về vấn đề “Hoàng hôn của khoa học”

    22/11/2016Lê Văn GiạngCó "buổi hoàng hôn của khoa học" không? Đó là câu hỏi rất lớn, đồng thời rất khó có câu trả lời thuyết phục được mọi người. Nếu câu trả lời là "có” thì sẽ là một thách thức rất nghiêm trọng mà nhân loại phải đối mặt...
  • Khoa học thế kỷ XXI: Vượt ra ngoài quy giản luận

    16/03/2015Đặng Mộng LânChúng ta đã bước vào thế kỷ XXI, thế kỷ được chờ đợi sẽ xuất hiện cuộc cách mạng khoa học mới. Cuộc cách mạng khoa học lần thứ ba này sẽ là như thế nào?
  • Giới hạn của nhận thức

    23/09/2014Đỗ Kiên Cường“Tự nhiên như người đàn bà ưu làm đỏm, khi thì phơi bày phần này, khi thì phơi bày phần khác trên cơ thể của mình. Và người chiêm ngưỡng kiên nhẫn đến một lúc nào đó sẽ nhìn thấy tất cả”. Đầu thế kỷ XIX, nhằm ca ngợi khả năng vô hạn của nhận thức, nhà khoa học Pháp lừng danh, hầu tước Laplace (1749-1827), được người đương thời xem là có đóng góp khoa học chỉ sau Newton, đã thốt lên nhận định bất hủ như vậy. Hỏi còn gì ve vuốt trí tuệ loài người hơn?
  • Một số vấn đề triết lý của vật lý hiện đại

    26/05/2009Đỗ Kiên CườngVới tư cách là triết học tự nhiên, vật lý có vai trò quan trọng trong bản thể luận và nhận thức luận. Cơ học Newton hay quyết định luận Laplace từng chi phối nhận thức và hành động của toàn nhân loại. Vật lý hiện đại cũng không nằm ngoài xu hướng đó. Dưới đây là một số nhận thức cá nhân về các vấn đề triết lý, cũng như mối quan hệ giữa vật lý hiện đại với các lĩnh vực khoa học khác.
  • Bí ẩn bộ não và tâm trí

    22/05/2009Đỗ Kiên CườngBa vấn đề phức tạp nhất của khoa học là gì? Đó là cái rất lớn (vũ trụ), cái rất nhỏ (thế giới vi mô) và cái rất phức tạp (bộ não và tâm trí). Thật đáng ngạc nhiên là con người khám phá tự nhiên nhờ bộ não và tâm trí, nhưng lại chưa hiểu chúng được bao nhiêu. Và câu hỏi bộ não sinh ra tâm trí như thế nào có lẽ là một thách thức còn rất lâu dài đối với khoa học...
  • Tư duy và thực tại

    12/11/2007SorosTôi bắt đầu với quan hệ giữa tư duy và thực tại, đặc biệt khi nó liên quan đến những chuyện xã hội. Tôi cần chứng tỏ cái gì là cái làm cho sự hiểu biết của chúng ta không hoàn hảo một cách cố hữu. Tri thức không vượt quá tầm hiểu biết của chúng ta, nhưng khi đến các tình thế trong đó chúng ta là những người tham gia tích cực chúng ta không thể đặt cơ sở cho quyết định của mình chỉ riêng trên tri thức...
  • Những thách đố của tính phức hợp

    09/11/2006Edgar Morin (Chu Tiến Ánh - Vương Toàn dịch)Tính phức hợp là một vấn đề, một bài toán, đó là một thách đố chứ không phải là lời giải đáp. Thế nhưng tính phức hợp là gì?
  • Dao sắc không gọt được chuôi?

    08/09/2006Godel lại chứng minh một cách thành công rằng bất kỳ một hệ logic hình thức nào cũng không đủ mạnh để tự chúng minh nó đúng. Muốn chứng minh A đúng thì phải đi ra ngoài A. Tư tưởng của Godel đã được chính lịch sử toán học chứng minh. Thật vậy, Hilbert đã xây dựng thành công hệ tiên đề cho hình học Euclid, gồm 20 tiên đề..
  • 100 năm ngày sinh Kurt Gödel: Một trí tuệ vĩ đại của Lô Gich và toán học

    09/06/2006GS. Phan Đình DiệuTheo kết quả bình chọn của tờ báo danh tiếng TIMES vào cuối thế kỷ trước, thì trong số 20 nhà khoa học được bình chọn vào số những bộ óc vĩ đại có những phát minh nhiều ảnh hưởng nhất trong thế kỷ 20 có hai nhà toán học là Alan Turing và Kurt Gödel...
  • Chứng minh và chân lý trong toán học

    31/03/2006Trích từ cuốn Khoa học và các khoa học của Gilles – Gaston Granger, NXB Thế giớiCông việc của nhà toán học hoàn toàn không qui về chỗ chứng minh. Các bài toán mà anh ta gặp hoặc tự đề ra cho mình chắc hẳn có thể thuộc kiểu: mệnh đề này mà tôi phỏng đoán là chân lý, tôi có thể chứng minh được không?
  • Logic toán và cơ sở toán học

    10/02/2006GS. Phan Đình DiệuBước sang đầu thế kỉ 20, lý thuyết tập hợp đã cung cấp một cơ cở tuyệt vời, làm nền tảng thống nhất cho việc xây dựng và phát triển hầu như toàn bộ các ngành toán học khác...
  • Godel và bản tính của chân lý toán học

    28/12/2005Nguyễn Tiến Văn dịch và giới thiệuĐây là cuộc trò chuyện giữa bà và tạp chí Edge ngày 6.8.2005 về việc đi tìm căn gốc của Định lí bất toàn trong toán học của Godel. Lí luận chân lí số học đúng nhưng không thể chứng minh hiện hữu trong lí luận thời cổ Hy Lạp của Epimenides. Định lí của Godel còn xuất phát từ sự chạm trán giữa các nhà lý luận thực chứng học ở Vienna (trong đó có Wittgenstein) với Gode trên lập trường triết học Platon...
  • Giới hạn của khoa học và khoa học về giới hạn

    17/12/2005Phạm Việt HưngTrong khi các nhà khoa học có xu hướng chứng minh rằng những cái tưởng là bất khả thực ra là khả, thì ngược lại các nhà triết học có cái nhìn sâu xa hơn rằng nhiều cái tưởng là khả hóa ra lại là bất khả. Từ đó Barrow làm một cuộc tổng kiểm kê các thành tựu nhận thức của nhân loại trong thế kỷ 20 để chỉ ra hàng loạt bài toán bất khả mà loài người đã từng phải trả giá cho thấy thực ra hiện tượng bất khả xuất hiện trên mọi lĩnh vực nhận thức, từ hội họa, nghệ thuật, đến kinh tế, khoa học, chính trị…
  • Einstein và các cuộc cách mạng tư duy khoa học trong thế kỷ 20

    15/08/2005Phan Đình DiệuNhững biến đổi cách mạng về tư duy trong vật lý học hiện đại, đánh dấu bởi việc ra đời thuyết tương đối, vật lý lượng tử, và gần đây hơn là hiện tượng “hỗn độn tất định” cùng với sự xuất hiện của khoa học của thế kỷ 20 nói chung một khung mẫu tư duy hoàn toàn mới, hứa hẹn đưa đến những bước tiến mới cho nhận thức của con người về vũ trụ, tự nhiên, xã hội, và cả về chính mình...
  • xem toàn bộ