Mathematical Girls: Các định lý bất toàn của Gödel

Mathematical Girls: Các định lý bất toàn của Gödel

Tôi cùng 3 cô gái dễ thương nhất quả đất khám phá thế giới vô tận của Toán học. 

Câu chuyện đồng thời vinh danh nhà Toán học kiệt xuất của nhân loại, Kurt Gödel.

Hủy Trả lời comment của
Hãy đăng nhập để đăng lời bình

132 Bình luận

  • 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 emo

  • 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 emo

    mà bác cá cho em hỏi type mấy cái ký tự toán học đấy kiểu gì thế emo

    • Cài MathType, gõ Word rồi chụp lại emo Chứ không biết Pts nó có gõ trực tiếp được không, chưa tìm hiểu

  • Mong bác dịch thêm mấy bộ như này để mở mang thêm kiến thức
  • khóc

  • đọc một chương tốn calo của một ngày.
  • 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 emo

  • 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 emo

    • 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

  • bác cho em biết bộ này bao nhiêu chap để em tích ạ
  • 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 emo

    • chúc bác đạt kết quả tốt và vào ngôi trường mong muốn nhá emo

    • 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à emo

  • Đây rồi, hồi coi bản eng tới đây thì cháy não nên bỏ nè emo 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 emo 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 emo 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 emo

  • chà, vụ này đến sớm quá

  • emo

  • Giải ngố bên dưới. Đọc càng ngố hơn emo