Giải toán trực tuyến W | A




Vẽ đồ thị trong Oxyz plot3D(f(x,y),x=..,y=..)
Vẽ đồ thị trong Oxy plot(f(x),x=..,y=..)
Đạo hàm derivative(f(x))
Tích phân Integrate(f(x))


Giải toán trực tuyến W|A

MW

Thứ Năm, 8 tháng 3, 2012

Kurt Godel và định lý. bất toàn .

Định Lý Bất Toàn của Kurt Gödel 22-06-2010 thay-do.net .

Đây là bài viết trên thay-do.net
Xin phép tác giả được đăng tải lại trên Blog Toán - Cơ học ứng dụng  
Trân trọng cám ơn


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Nguyên văn Định Lý Gödel được trình bầy bằng ngôn ngữ logic hình thức, rất khó hiểu đối với những người không chuyên ngành. Nhưng may thay, nó đã được phiên dịch sang ngôn ngữ thông thường để bất cứ ai cũng có thể hiểu được. Gọi chung là Định Lý Bất Toàn nhưng thực ra có hai định lý. Cả hai đều chỉ ra rằng toán học về bản chất là bất toàn (không đầy đủ , vì nó luôn chứa đựng những mệnh đề không quyết định được (undecidable), tức những mệnh đề không thể chứng minh và cũng không thể bác bỏ.Định lý 1: Nếu một lý thuyết dựa trên một hệ tiên đề phi mâu thuẫn thì trong lý thuyết ấy luôn luôn tồn tại những mệnh đề không thể chứng minh cũng không thể bác bỏ.Định lý 2: Không tồn tại bất cứ một quy trình suy diễn nào cho phép chứng minh tính phi mâu thuẫn của một hệ tiên đề.Chẳng hạn, hãy xét mệnh đề được đóng khung sau đây:Mệnh đề này không có bất cứ một chứng minh nàoNếu mệnh đề trên sai, suy ra phủ định của nó đúng, tức là nó có thể chứng minh được, nhưng kết luận này trái với nội dung của chính nó. Vậy buộc nó phải đúng, tức là không thể chứng minh được.Phiên dịch ngược mệnh đề trên sang ngôn ngữ của logic toán, chúng ta sẽ có một mệnh đề toán học đúng nhưng không thể chứng minh được.Đặc trưng của loại mệnh đề này là ở chỗ nó nói về chính nó, vì thế chúng được gọi là “mệnh đề tự quy chiếu” (self-referential statements).

Nguồn : thay-do.net

Thứ Tư, 7 tháng 3, 2012

Kurt Godel - định lý không đầy đủ của hệ tiên đề toán học .

Kurt Gödel: Một trí tuệ vĩ đại của Lô Gich và toán học 22-06-2010    GS. Phan Đình Diệu

 Đây là bài viết của GS. Phan Đình Diệu trên © http://tiasang.com.vn/
Xin phép tác giả được đăng tải lại trên Blog Toán - Cơ học ứng dụng
Trân trọng cám ơn

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Theo 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.Như ta đã biết, nếu A.Turing được mệnh danh là “người cha của máy tính điện tử”, tác giả của “máy Turing”, mô hình toán học của các máy tính điện tử hiện đại, mở đầu cho một thời đại bùng nổ của khoa học tính toán và xử lý thông tin, của trí tuệ nhân tạo,…, góp phần làm thay đổi diện mạo của văn minh nhân loại từ giữa thế kỷ 20 đến nay; thì K.Gödel nổi tiếng với các định lý về tính không đầy đủ và không tự chứng minh được tính nhất quán của các hệ toán học hình thức hóa vào đầu thập niên 1930 đã làm xáo động nền tảng của toán học, lật nhào hy vọng của cả một thế hệ toán học về việc xây dựng một nền tảng vững chắc và vĩnh viễn cho toán học, đồng thời cũng mở ra một tư duy mới cho lô gích và toán học, gây ảnh hưởng to lớn đến sự phát triển tư duy triết học và khoa học trong suốt thế kỷ 20.

Thứ Hai, 5 tháng 3, 2012

Nghịch lý và tư duy mới trong toán học hiện đại . Phần 2 .

Nghịch lý và tư duy mới trong toán học hiện đại . Phần 2 .

Trần hồng Cơ
04/03/2012




2. Logic và vai trò của nó trong toán học và thực tiễn .
(i) Một số khái niệm và phân loại logic .
Trong triết học, Logic (từ tiếng Hy Lạp λογική logikē) chỉ về sự nghiên cứu hệ thống chính thức của các nguyên tắc suy luận hợp lệ và lý luận chính xác. Logic được sử dụng trong hầu hết các hoạt động trí tuệ, nhưng được nghiên cứu chủ yếu trong các lĩnh vực triết học, toán học, ngữ nghĩa, và khoa học máy tính. Logic khảo sát các hình thức chung nhất mà trong đó các đối số , các tham biến có thể không xuất hiện , mà thay vào đó là các dạng thức hợp lệ, kể cả đó là những nguỵ biện. Trong triết học , logic được áp dụng trong lĩnh vực chính: siêu hình học, bản thể luận, nhận thức luận và đạo đức học . Trong toán học, logic được xét như là suy luận hợp lệ trong một số hình thức tư duy dưới dạng mệnh đề chứa các ngôn ngữ ký tự . Bản thân logic cũng là đối tượng nghiên cứu trong lý thuyết lập luận. Logic đã được biết đến trong nhiều nền văn minh cổ đại, bao gồm Ấn Độ, Trung Quốc và Hy Lạp. Logic cũng được xem như là một ngành toán học theo tư tưởng của Aristotle, người đã có công đặt logic ở một vị trí cơ bản trong triết học.

Nghịch lý và tư duy mới trong toán học hiện đại . Phần 1 .

Trần hồng Cơ
08/02/2012

Nghịch lý và tư duy mới trong toán học hiện đại . Phần 1 .


Bài viết này sẽ trình bày những luận điểm mới về tư duy toán học xuất phát từ nhu cầu hoàn thiện hóa toán học vốn là một bộ môn khoa học cơ bản có lịch sử gắn liền với nền văn minh nhân loại , có liên quan đến các phát kiến quan trọng và ảnh hưởng đến tiến trình nghiên cứu của nhiều ngành khoa học khác . Tác giả sẽ cố gắng dùng những ví dụ đơn giản dễ hiểu để minh họa những khái niệm luận lý phức tạp , hy vọng rằng người đọc sẽ tìm thấy được nhiều điều bổ ích qua các bài viết này đồng thời cũng rất mong nhận được nhiều ý kiến xây dựng đóng góp .

Thứ Bảy, 1 tháng 8, 2009

Mozart Piano Concerto




Mozart Piano Concerto No.27 In B Flat, KV 595- 1 Allegro - Various Artists




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

Mozart Piano Concerto No.27 In B Flat, KV595- 2 Larghetto - Various Artists





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

Mozart Piano Concerto No.27 In B Flat, KV 595- 3 Allegro - Various Artists


*******

Blog Toán Cơ trích đăng các thông tin khoa học tự nhiên của tác giả và nhiều nguồn tham khảo trên Internet .
Blog cũng là nơi chia sẻ các suy nghĩ , ý tưởng về nhiều lĩnh vực khoa học khác nhau .


Chia xẻ

Bài viết được xem nhiều trong tuần

CÁC BÀI VIẾT MỚI VỀ CHỦ ĐỀ TOÁN HỌC

Danh sách Blog

Gặp Cơ tại Researchgate.net

Co Tran