Chủ đề này có 8 trả lời

[cuong to ACBK]

mọi người ơi tìm file pdf về định lí bất toàn của Kurt Godel thì kiếm ở đâu , yêu cầu là trình bày có hệ thống sáng sủa v à dễ hiểu , tìm Google hoài mà toàn ra thứ linh tinh :cry

[Doraemon]

Bạn nên tham khảo quyển logic toán của bac Phan Đình Diệu hoặc liên lạc với bác ấy, bác ấy có bài giảng tiếng Việt về chứng minh định lí ấy!

[cuong to ACBK]

Cám ơn Mon , nhưng mà bác Phan Đình Diệu là ai thế , quyển lôgic hay ho đó mình nên tìm thế nào đây , Mon nói rõ được ko ?

[toanhoc]

Tôi thấy Wikipedia có bài khá tốt về 2 incompleteness theorems. Tôi nghĩ nếu bạn muốn đi sâu hơn thì cần học first order logics. Phải chăng logics là chuyên ngành của bạn ?

[cuong to ACBK]

Fol xong rồi , cái này đơn giản , trong wikipedia người ta viết có vẻ ko thật rõ ràng cho lắm , tốt 1 là tìm 1 giáo trình hẳn hoi , xem cho khoái và nếu là người Việt viết thì càng tốt hơn nhìn đỡ đau mắt . Chuyên ngành thì ko dám , đang học mừ

[hungnd]

Bạn nên tham khảo quyển logic toán của bac Phan Đình Diệu hoặc liên lạc với bác ấy, bác ấy có bài giảng tiếng Việt về chứng minh định lí ấy!

Anh chỉ rõ hơn được không; ví dụ như cuốn này có bán ở đâu (tại HN)

[QHHH]

Hey mình biết cuốn này khá được nhưng cậu dich ra TV là đ/l bất toàn nghe nó hơi lạ thôi



Amazon link

Link download

Có mộ cuốn khác cũng khá hay



Amazon link

Link download

[QHHH]

Sorry pass=qhhh (cuốn đầu)

[toanhoc]

Cám ơn bạn QHHH, bạn có nhiều sách thật.