Cũng không trách hắn phát ra cảm thán, bởi vì giống như hắn mộng bức cùng khó chịu có khối người.
Chỉ bất quá những người khác không có biểu hiện ra ngoài mà thôi.
Đề thứ nhất, là như vậy:
【 ngựa người, cho nên danh hình; bạch giả, cho nên danh sắc. Danh hình người không phải danh sắc. Đồn rằng: Bạch mã không phải ngựa. Cầu ngựa, hoàng hắc mã đều có thể gây nên. Cầu bạch mã, hoàng hắc mã không thể gây nên... . Cho nên hoàng hắc mã một vậy, mà có thể phải có ngựa, mà không thể phải có bạch mã, là bạch mã chi không phải ngựa thẩm vậy. Ngựa người, không đi lấy vu sắc, cho nên hoàng đen đều cho nên ứng. Bạch mã người có đi lấy vu sắc, hoàng hắc mã đều cho nên sắc đi, cho nên duy bạch mã độc có thể ứng mà thôi. Không đi người, không phải có đi. Đồn rằng: Bạch mã không phải ngựa. Ngựa cố hữu sắc, cố hữu bạch mã. Làm ngựa vô sắc, do ngựa như mình mà thôi. An lấy bạch mã? Cho nên bạch giả, không phải ngựa. Bạch mã người, ngựa cùng bạch vậy, bạch cùng ngựa. Đồn rằng: Bạch mã không phải ngựa.
(1) thử chứng: Bạch mã không phải ngựa (5 phân)
(2) nếu có một con ngựa, nó được vì tất cả 【 không cho mình tìm đồ ăn ngựa 】 tìm kiếm thức ăn, thử chứng: Này Mã Phi này ngựa, đồng thời lệ thuyết minh "Này Mã Phi này ngựa" tồn tại tình huống (35 phân) 】
Y Thành không khỏi phát ra khẽ than thở một tiếng.
Hiện tại ngữ văn không tốt liền đề toán đều không làm được.
Đây là liên quan tới thời cổ một cái tên là quỷ biện nhà Công Tôn long điển cố:
Có một lần Công Tôn long quá quan, quan lại nói: "Dựa theo lệ cũ, quá quan người có thể, nhưng là ngựa không được."Công Tôn long liền nói trắng ra ngựa không phải ngựa, một phen luận chứng, quan lại sau khi nghe liên tục gật đầu, nói: "Ngươi nói rất có lý, mời ngươi vì ngựa trả tiền đi."
Hiện tại đề thi này, chính là cần ngươi dùng toán học ngôn ngữ đối thể văn ngôn tiến hành phiên dịch, đồng thời chứng minh 【 bạch mã không phải ngựa 】
Có thể nói trước mặt lời nói đều là nói nhảm, muốn nói hữu dụng cũng có chút dùng, muốn nói vô dụng cũng không nhiều lắm dùng.
Chỉ có thể nói ra đề mục người là cái cuồng nhiệt cổ văn hóa kẻ yêu thích.
Thứ nhất hỏi rõ lộ vẻ cái đưa phân đề.
Y Thành lắc đầu, bắt đầu làm ra chứng minh:
Giả thiết ngựa vì tập hợp A, bạch mã vì nguyên tố B.
Kia a có B∈A
B ≠A
Nói cách khác, Công Tôn long trước tiên cần phải định nghĩa rõ ràng quan hệ của hai người mới có thể đối kết quả tiến hành thảo luận.
Nếu như dựa theo loại tình huống thứ nhất, B∈A, bạch mã là ngựa cái này tập hợp bên trong một cái nguyên tố, trắng như vậy ngựa là ngựa, đây chính là một cái ngụy đầu đề.
Nếu như dựa theo loại tình huống thứ hai, B ≠A, bạch mã chỉ là ngựa cái này tập hợp bên trong một cái nguyên tố, cho nên bạch mã không phải là ngựa, đây chính là một cái thật đầu đề.
Thứ nhất hỏi thuận lợi chứng xong, đi vào thứ hai hỏi Y Thành nháy mắt mắt choáng váng.
Này Mã Phi này ngựa.
Không thể nào?
Này đạo đề rõ ràng không nên để ở chỗ này.
Bởi vì đây là một cái điển hình la làm nghịch lý đề.
Như thế nào la làm nghịch lý?
Đây là một cái đã dẫn phát toán học giới sóng to gió lớn đáng sợ cố sự, đến nay không có đạt được hoàn mỹ giải đáp:
Nước Đức nhà số học Khang Thor sáng lập trứ danh tập hợp luận, tập hợp luận trở thành hiện đại toán học nền tảng."Hết thảy toán học thành quả có thể thành lập tại tập hợp luận cơ sở thượng "Phát hiện này làm nhà số học nhóm vì đó say mê.
Năm 1903, một cái chấn kinh toán học giới tin tức truyền ra: Tập hợp luận là có lỗ thủng! Đây chính là Anh quốc nhà số học la làm đưa ra trứ danh la làm nghịch lý.
La làm cử đi một cái phi thường nhạt hiển dễ hiểu ví dụ để diễn tả tập hợp luận bên trong này một lỗ thủng:
Tại cái nào đó trong thành thị có một vị thợ cắt tóc, hắn chỉ cấp 【 không mình cạo mặt 】 người cạo mặt.
Nhưng là có một ngày, vị này thợ cắt tóc từ trong gương trông thấy râu mép của mình lớn, hắn bản năng cầm lên dao cạo.
Kia a người thợ cắt tóc này đến cùng có nên hay không cho mình cạo mặt đâu? 】
Cái này nghịch lý rõ ràng.
Nếu như hắn cho mình cạo mặt, kia a hắn tựu vi phạm cho mình cạo mặt người nguyên tắc này.
Nếu như hắn không cho mình cạo mặt, kia a hắn liền phải vì 【 không mình cạo mặt người 】 cạo mặt.
Đây chính là chỗ mâu thuẫn.
Cái này nghịch lý đã dẫn phát toán học sử thượng lần thứ ba nguy cơ.
Nếu như cao hơn trong sinh ở này trong tiến hành chứng minh tựu không khỏi quá làm khó người.
Cho nên Y Thành cho rằng đề thi này không nên xuất hiện ở đây.
Xong đời.
Đạo thứ nhất đề mục cứ như vậy khó, lần này cao liên rõ ràng là không cần người sống a.
"Lão sư!"
Chính là lúc này, trong phòng học một cái học sinh giơ lên tay phải.
Lão sư giám khảo quay đầu.
"Thế nào?"
"Đề thi này ra đề mục có sai." Kia cái học sinh rất kiên cường nói đến.
Tất cả mọi người ngẩng đầu lên không hẹn mà cùng nhìn xem nàng.
Cái này học sinh chính là Y Thành lâm bàn Nhan Tư Kỳ.
Rất rõ ràng nàng cũng phát hiện đề thi siêu cương.
"Đề thứ nhất thứ hai hỏi, rõ ràng là một cái la làm nghịch lý đề, đề thi này rõ ràng siêu cương, cho dù là hiện tại đứng đầu nhất nhà số học đều không thể hoàn mỹ giải đáp la làm nghịch lý, nó không nên xuất hiện ở đây." Nhan Tư Kỳ trịch địa hữu thanh nói đến.
Nàng là năm ngoái áo số kim bài người đoạt giải, nàng là học giáo niên cấp toán học thứ nhất, nàng là bản tỉnh toán học kiêu ngạo, nàng là quốc gia tương lai trọng điểm bồi dưỡng toán học nhân tài.
Nàng có tư cách đưa ra chất vấn.
Lão sư giám khảo đi tới, nhìn nhìn Nhan Tư Kỳ khảo thí bài.
Sau đó hắn lại cẩn thận thẩm tra đối chiếu một chút bài thi.
Lão sư giám khảo nhìn nửa phút tả hữu, quay người trở lại, đối mặt toàn bộ phòng học thí sinh, lạnh nhạt nói đến, "Này đề không có phạm sai lầm, mọi người tiếp tục bài thi đi."
...
Không có khả năng a.
Nhan tư cùng Y Thành không hẹn mà cùng trầm mặc xuống.
Về phần những người khác, căn bản nghe không hiểu vừa rồi Tư Kỳ đang nói cái gì, dù cho nghe hiểu bọn hắn cũng không biết nên làm như thế nào.
Một bộ phận người đã từ bỏ thứ hai hỏi đáp lại, bắt đầu lật phía sau đề.
Dựa theo lão sư ân cần dạy bảo, không nên chết công một cái đề mục, trước thả một chút, giải quyết hết dễ dàng làm đề về sau trở lại.
Kết quả là ——
Càng về sau vượt qua sẽ không làm.
"Mẹ a, đề mục này ai ra a? !"
"Đây đã là áo số đề a?"
"Không, đã siêu việt áo số đề a? !"
Chỉ có số ít mấy người còn tại kiên nhẫn làm đáp.
Trong đó tựu bao quát Y Thành cùng Nhan Tư Kỳ.
Bọn hắn còn không có ý định từ bỏ.
Y Thành trăm mối vẫn không có cách giải, thẳng đến thấy được thứ hai hỏi trước mặt hai chữ:
【 thử chứng. 】
Nói cách khác, đây là không cần chứng minh, cũng vô pháp chứng minh đồ vật.
Ngươi chỉ cần thông qua toán học ngôn ngữ miêu tả chứng minh mạch suy nghĩ là được.
Về phần có thể hay không chứng minh ra không phải này đạo đề trọng điểm.
Phía sau kia cái nêu ví dụ mới là trọng điểm, là khảo sát ngươi đối nghịch lý đầu đề lý giải trình độ.
Phải giải quyết la làm nghịch lý, cho dù là đỉnh tiêm nhà số học cũng đành phải đi vòng.
Nhưng là muốn thông qua bình thường toán học ngôn ngữ đến đối la làm nghịch lý tiến hành miêu tả, đây là học sinh cấp hai cũng có thể làm đến sự tình.
Y Thành khóe miệng vi vi giương lên, trồi lên nụ cười nhẹ nhõm.
Một khi nghĩ thông suốt cái tầng quan hệ này về sau, hết thảy đều trở nên đơn giản.
Hắn nâng bút viết đến:
Thiết tính chất P(x) biểu thị "x không thuộc về x ".
Giả thiết do tính chất P xác định một cái loại A
Nói cách khác "A={x|x? A} ".
Đầu tiên, như A thuộc về A, thì A là A nguyên tố, kia a A có tính chất P, do tính chất P biết A không thuộc về A;
Tiếp theo, như A không thuộc về A, nói cách khác A có tính chất P, mà A là do tất cả có tính chất P loại tạo thành, cho nên A thuộc về A.
...
Tốt, chứng minh mạch suy nghĩ đã viết xong, kế tiếp là nêu ví dụ: