Diễn đạt

Hai câu dưới đây copy từ wiki, nội dung lãng mạn:


Câu 1: \forall \;x{\Big (}G(x)\rightarrow \exists \;y{\big (}B(y)\land K(x,y){\big )}{\Big )}


Câu này đọc là: Với từng cô gái (trong tất cả các cô gái) sẽ tương ứng (có) vài chàng trai (là bất cứ ai trong các chàng trai) là người mà cô gái đã hôn.


Câu 2: \exists \;x{\Big (}B(x)\land \forall \;y{\big (}G(y)\rightarrow K(y,x){\big )}{\Big )}


Câu này đọc là: Có vài chàng trai (cụ thể) nào đó mà tất cả các cô gái đã hôn.


*


Còn hai câu phát biểu dưới đây, tôi chép lại của ông Penrose, là hai cách phát biểu khác nhau của Định lý Fermat.


Câu 3: ~~\exists \mathit{w,x,y,z}[(x+1)^{\mathit{w}+0111}+(y+1)^{\mathit{w}+0111}=(z+1)^{\mathit{w}+0111}]


Câu 4: \forall \mathit{w,x,y,z}[~(x+1)^{\mathit{w}+0111}+(y+1)^{\mathit{w}+0111}=(z+1)^{\mathit{w}+0111}]


Hai câu này nếu đọc thành tiếng người, ở đây là tiếng Việt, sẽ là:


Câu 3: Không tồn tại các số tự nhiên w,x,y,z sao cho x cộng một lũy thừa lên w cộng ba rồi cộng với y cộng một lũy thừa lên w cộng ba bằng với z cộng một lũy thừa w cộng ba.


Câu 4: Với mọi số tự nhiên w,x,y,z không tồn tại các số sao cho x cộng một lũy thừa lên w cộng ba rồi cộng với y cộng một lũy thừa lên w cộng ba bằng với z cộng một lũy thừa w cộng ba.


*


Còn câu này:


Câu 5: {\text{Let }}R=\{x\mid x\not \in x\}{\text{, then }}R\in R\iff R\not \in R chính là Nghịch lý Russel.


Phiên bản giản dị của nó như sau: Giả sử có một anh thợ cắt tóc, anh này cắt tóc cho tất cả những người đàn ông không tự cắt tóc cho mình, và chỉ cắt tóc những người đàn ông không tự cắt cho mình. Khi ta hỏi, anh thợ cắt tóc này có nên tự cắt cho chính mình hay không, thì nghịch lý bắt đầu lộ diện.


Có thể anh đạo diễn phim Parasite, anh Bong Joon-ho, có học về logic, nên các tình tiết trong phim của anh như “Mother”, “Memories of Murder” cứ gài người xem buộc phải “động não”. Và rồi các “nghịch lý” từ từ xuất hiện, tạo ra sức hấp dẫn của bộ phim, cho đến tận phút cuối cùng.

 •  0 comments  •  flag
Share on Twitter
Published on October 20, 2019 21:44
No comments have been added yet.


Nguyễn Phương Văn's Blog

Nguyễn Phương Văn
Nguyễn Phương Văn isn't a Goodreads Author (yet), but they do have a blog, so here are some recent posts imported from their feed.
Follow Nguyễn Phương Văn's blog with rss.