Godel thì chắc chắn là idol của lòng mình r, vì các tiên đề của lão này dẫn thẳng vào vòng xoáy vô định của các "nghịch lí" trong toán học, Godel với Ramanujan ...
"Một tập hợp không thể bao chứa chính nó, vậy nên không tồn tại 'tập hợp' của mọi tập hợp"
"Toán học cũng như Jormungandr (một con rắn thế giới cuốn quanh đại dương và tự ngậm chính cái đuôi của mình), vậy nên không tồn tại khả năng 'toàn trí' trong toán học"
Ncl mớ lí thuyết logic cơ bản này lú não thật sự, phải tẩu hỏa nhập ma may ra mới đi sâu vào đc
Kanojo, Okarishimasu ấy bác. Cơ mà giờ mình nghĩ lại thì trách thằng K ngoo cũng không đúng lắm, đó như kiểu romcom kéo dài theo ý tác giả rồi, tùy người sẽ thấy hợp hay không.
Định lý bất toàn của Godel thuộc một nhánh toán học có một cái tên rất hay: "toán học kiến tạo" - contructive mathematic- nơi nghiên cứu cách biểu diễn các đối tượng toán học, tính chính xác của logic suy diễn (hệ tiên đề, mệnh đề logic,...)... Toán học kiến tạo được bình luận là nút giao giữa toán học và triết học.
Trước từng đọc một nhận xét rằng: "toán logic là toán học của toán học", sau khi lên qoura đọc cách khai triển hình thức của định lý Phythagorate bằng logic hình thức thì đúng là nổ não luôn.
Cảm ơn thầy Khải và anh Duy đồng nghiệp đã cho mình tài liệu liên quan để note thêm khi dịch truyện. Cảm ơn cả những bạn đã đọc và tiếp sức qua các bình luận. Thú thật thì khi bắt đầu chả mong nó vượt quá 20 người theo dõi. Đến được tầm này với một bộ thuần Toán khá là bất cmn ngờ.
Bộ này nếu so với Mathematics Golden thì không truyền cảm hứng Toán tốt bằng, tuy nhiên dám đả động đến một trong những chủ đề khó (khó vãi lều) của Toán nên cũng đáng hoan nghênh. Hoàn thành bộ thứ 2 rồi, hi vọng sẽ có thời gian để làm tiếp những bộ khác
Bộ ấy hợp gu vãi ra luôn ấy bác (romance + science), mỗi tội mình dạo này hơi bí thời gian với vào giai đoạn lười Ban đầu tính end bộ này trong tháng mà chắc giờ còn khất hẹn, nên thôi, không dám ôm đồm thêm. Chừng nào thật sự rảnh mình sẽ thử với bộ ấy. Chứ nhận xong lặn mất tăm riết cũng quê lắm
Godel thì chắc chắn là idol của lòng mình r, vì các tiên đề của lão này dẫn thẳng vào vòng xoáy vô định của các "nghịch lí" trong toán học, Godel với Ramanujan ...
"Một tập hợp không thể bao chứa chính nó, vậy nên không tồn tại 'tập hợp' của mọi tập hợp"
"Toán học cũng như Jormungandr (một con rắn thế giới cuốn quanh đại dương và tự ngậm chính cái đuôi của mình), vậy nên không tồn tại khả năng 'toàn trí' trong toán học"
Ncl mớ lí thuyết logic cơ bản này lú não thật sự, phải tẩu hỏa nhập ma may ra mới đi sâu vào đc
cho mình xin tên truyện "thằng k nào đấy 200 chap éo khôn lên miếng nào" đi thớt
Kanojo, Okarishimasu ấy bác. Cơ mà giờ mình nghĩ lại thì trách thằng K ngoo cũng không đúng lắm, đó như kiểu romcom kéo dài theo ý tác giả rồi, tùy người sẽ thấy hợp hay không.
Một trong những lần t thấy tự hào nhất về mình là tìm được song ánh để chứng minh được lực lượng tập R bằng lực lượng đoạn [0,1].
Định lý bất toàn của Godel thuộc một nhánh toán học có một cái tên rất hay: "toán học kiến tạo" - contructive mathematic- nơi nghiên cứu cách biểu diễn các đối tượng toán học, tính chính xác của logic suy diễn (hệ tiên đề, mệnh đề logic,...)... Toán học kiến tạo được bình luận là nút giao giữa toán học và triết học.
Phép quy nạp khai thác một trong những tính chất đẹp nhất của tập số tự nhiên: tính đếm được.
Nai xừ
Trước từng đọc một nhận xét rằng: "toán logic là toán học của toán học", sau khi lên qoura đọc cách khai triển hình thức của định lý Phythagorate bằng logic hình thức thì đúng là nổ não luôn.
à, giờ mới nhận ra chủ thớt toàn làm mấy bộ có tính hàn lâm vkl
đào
mà bác cá cho em hỏi type mấy cái ký tự toán học đấy kiểu gì thế
Cài MathType, gõ Word rồi chụp lại Chứ không biết Pts nó có gõ trực tiếp được không, chưa tìm hiểu
khóc
Cảm ơn thầy Khải và anh Duy đồng nghiệp đã cho mình tài liệu liên quan để note thêm khi dịch truyện. Cảm ơn cả những bạn đã đọc và tiếp sức qua các bình luận. Thú thật thì khi bắt đầu chả mong nó vượt quá 20 người theo dõi. Đến được tầm này với một bộ thuần Toán khá là bất cmn ngờ.
Bộ này nếu so với Mathematics Golden thì không truyền cảm hứng Toán tốt bằng, tuy nhiên dám đả động đến một trong những chủ đề khó (khó vãi lều) của Toán nên cũng đáng hoan nghênh. Hoàn thành bộ thứ 2 rồi, hi vọng sẽ có thời gian để làm tiếp những bộ khác
truyện rất hay và mình éo hiểu cái cm gì cả, chắc để sang năm đọc lại xem ntn
Chắc mỗi năm đào vào ngày Logic thế giới, đến cả đứa dịch còn méo hiểu nổi nó đang gõ clj mà
thớt không còn ra nữa ạ? mình tò mò diễn biến tiếp theo. thớt chỉ cần dịch truyện khỏi lí giải cũng được ạ
Tháng 7 mình quay lại. Nói chung làm xong r nhưng để ở máy khác, đang có project cty
mai thi học kì văn nhưng mình vẫn ngồi đây đọc 1 bộ manga toán đại học
chúc bác đạt kết quả tốt và vào ngôi trường mong muốn nhá
cảm ơn bác, nhưng trường mình mong ước thì chắc là không đâu, tại hồi lớp 10 nghiện game quá mà
Đây rồi, hồi coi bản eng tới đây thì cháy não nên bỏ nè Giờ bản Việt đọc lại cũng vẫn cháy não.
À mà không biết chủ thớt có thích bộ Rike Koi không cũng về STEM với định lý các thứ. Thấy bên Eng mới bắt đầu dịch tiếp bộ đó.
Bộ ấy hợp gu vãi ra luôn ấy bác (romance + science), mỗi tội mình dạo này hơi bí thời gian với vào giai đoạn lười Ban đầu tính end bộ này trong tháng mà chắc giờ còn khất hẹn, nên thôi, không dám ôm đồm thêm. Chừng nào thật sự rảnh mình sẽ thử với bộ ấy. Chứ nhận xong lặn mất tăm riết cũng quê lắm
chà, vụ này đến sớm quá
Giải ngố bên dưới. Đọc càng ngố hơn