Lễ trao giải thiết lập tại toà thị chính vinh quang đại sảnh, khung đỉnh bích hoạ miêu tả nhân loại từ nhìn lên sao trời đến xây dựng con số văn minh to lớn lịch trình. Trong không khí tràn ngập sang quý hương phân cùng đánh bóng đá cẩm thạch lạnh băng khí vị. Lâm giản ngồi ở hàng phía trước dự lưu ghế thượng, bên cạnh là chu giáo thụ, Ngô nghiên cứu viên cùng với viện nghiên cứu mặt khác vài vị lãnh đạo. Hắn ăn mặc thuê tới, cắt may quá mức hợp thể lễ phục, cảm giác vải dệt giống một tầng xa lạ làn da kề sát chính mình.
“Niên độ khoa học kỹ thuật sáng tạo đột phá thưởng” —— trao tặng “Điệt thêm - thấu kính hệ thống” và trung tâm nghiên cứu phát minh đoàn đội. Cúp thiết kế thành một tia sáng xuyên thấu lăng kính sau tản ra trừu tượng tạo hình, tài chất là nào đó hợp thành thủy tinh, ở đèn tụ quang hạ chiết xạ ra chói mắt mà giá rẻ thải quang.
Tên của hắn bị nhiều lần đề cập. Đèn tụ quang vài lần đảo qua hắn cứng đờ mỉm cười mặt. Chu giáo thụ đại biểu đoàn đội lên đài lãnh thưởng đồng phát biểu cảm nghĩ, cảm tạ quốc gia duy trì, viện nghiên cứu bồi dưỡng, đoàn đội hợp tác, đặc biệt nhắc tới “Tuổi trẻ một thế hệ nghiên cứu giả như lâm giản sở bày ra ra phi phàm sáng tạo dũng khí cùng vượt ngành học dung hợp năng lực”. Màn ảnh đúng lúc mà cấp đến lâm giản đặc tả, hắn không thể không điều chỉnh biểu tình, làm ra khiêm tốn mà chuyên chú nghe bộ dáng, hơi hơi gật đầu.
Vỗ tay như nước. Đèn flash như mưa to. Hắn cảm giác chính mình giống một cái bị tỉ mỉ biên trình xã giao người máy, chấp hành “Đoạt giải giả” cảnh tượng hạ tiêu chuẩn ứng đối hiệp nghị. Hiệp nghị vận hành không có lầm, thậm chí bởi vì hắn “Tuổi trẻ đầy hứa hẹn” cùng “Tư tưởng chiều sâu” mà thu hoạch đến thêm vào thêm phân. Hắn nghe được chung quanh khe khẽ nói nhỏ: “Xem, đó chính là lâm giản, cái kia dàn giáo chủ yếu thiết kế giả.” “Thật tuổi trẻ a, tiền đồ không thể hạn lượng.” “Nghe nói đã có đứng đầu đại học tưởng đào hắn.”
Nâng cốc chúc mừng phân đoạn, hắn bưng tinh oánh dịch thấu thủy tinh ly, bên trong là tượng trưng tính bọt khí rượu. Mọi người nối liền không dứt mà tiến đến chúc mừng. Hắn máy móc mà chạm cốc, nói “Cảm ơn”, “Quá khen”, “Không rời đi đoàn đội duy trì”. Tươi cười cố định ở trên mặt, thẳng đến gương mặt cơ bắp bắt đầu đau nhức. Hắn xem thấy trong đám người tô vi, nàng đứng ở nơi xa, chưa từng có tới, chỉ là triều hắn nâng nâng chén, ánh mắt bình tĩnh, khóe miệng có một tia khó có thể phát hiện, gần như thương xót độ cung. Hắn nhanh chóng dời đi tầm mắt.
Khánh công yến vẫn luôn liên tục đến đêm khuya. Lâm giản đẩy nói đau đầu, trước tiên rời đi kia phiến từ champagne, khen tặng cùng to lớn tự sự bện thành phù hoa chi võng. Thành thị gió đêm mang theo hàn ý, thổi tan trên người lây dính ngọt nị khí vị. Hắn kéo xuống lặc đến hắn thở không nổi nơ, cởi bỏ áo sơmi trên cùng nút thắt, giống thoát đi một cái tỉ mỉ bố trí pháp trường.
Trở lại chung cư, hắn ném rớt giày da, kéo xuống kia thân sang quý “Trang phục biểu diễn”, thay cũ áo thun cùng miên chất quần dài. Lễ trao giải ồn ào náo động còn tại trong tai ong ong tiếng vọng, trước mắt đong đưa thủy tinh cúp chiết xạ ra rách nát quầng sáng. Hắn đi đến án thư trước, nơi đó không có thực tế ảo hình chiếu, không có số liệu đầu cuối, chỉ có mấy quyển mở ra toán học thư tịch, một chồng tràn ngập ký hiệu cùng trinh thám quá trình giấy nháp, một chi dùng đến thuận tay bút chì, cùng một đài trừ bỏ cơ sở tính toán ngoại không còn dùng cho việc khác cũ xưa ly tuyến máy tính.
Hắn ngồi xuống, không có khai sáng lượng đèn trần, chỉ ninh lượng góc bàn một trản ánh sáng nhu hòa đọc đèn. Quang mang chỉ chiếu sáng lên mặt bàn này một mảnh nhỏ khu vực, đem hắn cùng bên ngoài cái kia vừa mới trao tặng hắn thù vinh thế giới ngăn cách.
Hắn tùy tay mở ra chính là 《 số lý logic lời giới thiệu 》, chính nhìn đến “Gödel xứng số” bộ phận. Đây là một loại đem hình thức hệ thống trung ký hiệu, công thức, chứng minh danh sách, đều chiếu rọi vì số tự nhiên phương pháp. Thông qua loại này xảo diệu mã hóa, về toán học trần thuật nguyên toán học mệnh đề ( như “Công thức G là nhưng chứng minh” ) có thể bị chuyển hóa vì về số tự nhiên số học mệnh đề, do đó ở hệ thống bên trong tiến hành thảo luận. Đúng là mượn dùng cái này công cụ, Gödel cấu tạo ra cái kia trứ danh, ở hệ thống nội không thể phán định mệnh đề G, nó bản chất công bố: “G tại đây hệ thống nội không thể chứng”.
Lâm giản ánh mắt dừng lại ở những cái đó định nghĩa cùng dẫn lý thượng, ngón tay vô ý thức mà xẹt qua từng hàng nghiêm cẩn thuyết minh. Hắn hô hấp dần dần bằng phẳng xuống dưới.
Ở chỗ này, hết thảy đều là rõ ràng. Định nghĩa là minh xác. Công lý là minh xác liệt ra. Trinh thám quy tắc là nghiêm khắc. Một cái mệnh đề hoặc là có thể từ công lý căn cứ trinh thám quy tắc suy luận ra tới ( nhưng chứng ), hoặc là không thể. Chứng minh bản thân là một cái hữu hạn ký hiệu danh sách, có thể bị máy móc mà nghiệm chứng. Tuy rằng tồn tại không thể phán định mệnh đề, công bố hệ thống nội tại cực hạn, nhưng loại này “Không thể phán định tính” bản thân, là một cái ở nguyên toán học mặt bị nghiêm khắc chứng minh ** định lý **. Nó không phải mơ hồ “Lập trường sai biệt”, không phải nhưng thao túng “Tự sự lựa chọn”, cũng không phải ích lợi cân nhắc sau “Phải cụ thể kết quả”. Nó là một cái lạnh băng, vô cùng xác thực, logic thượng sự thật.
Này cùng hắn sở thoát đi thế giới kia hình thành tiên minh đối lập. Ở thế giới kia, “Thành công” tiêu chuẩn là lưu động, quyết định bởi với ai ở đánh giá, loại nào mục đích, loại nào ngữ cảnh. Số liệu có thể bị “Lựa chọn tính thu thập mẫu” hòng duy trì bất luận cái gì hợp lý ( thậm chí không như vậy hợp lý ) tự sự. Hắn “Điệt thêm dàn giáo” bổn ý là công bố loại này ỷ lại tính, lại bị cải tạo thành càng cao hiệu lựa chọn tính tự sự sinh thành khí. Lễ trao giải thượng, mọi người tán dương “Sáng tạo” cùng “Đột phá”, cùng hắn nội tâm cảm nhận được “Dị hoá” cùng “Lỗ trống” hình thành bén nhọn châm chọc. Đúng sai, thật giả, ý nghĩa, đều phảng phất bị đặt một cái thật lớn, không ngừng xoay tròn lăng kính dưới, theo góc độ cùng ánh sáng bất đồng, chiết xạ ra hoàn toàn bất đồng, thậm chí lẫn nhau mâu thuẫn sắc thái, không có định hình, vô pháp nắm lấy.
Nhưng ở toán học trong thế giới, lăng kính biến mất. Nơi này chỉ có trong suốt thủy tinh, bên trong kết cấu nghiêm cẩn có tự, ánh sáng xuyên qua khi phát sinh chính là nhưng chính xác tính toán, nhưng lặp lại nghiệm chứng chiết xạ. Đúng chính là đúng, sai chính là sai. Một cái chứng minh hoặc là hữu hiệu, hoặc là tồn tại lỗ hổng. Một cái phỏng đoán hoặc là bị chứng thực, hoặc là bị chứng ngụy, hoặc là huyền mà chưa quyết ( nhưng huyền mà chưa quyết trạng thái bản thân cũng là minh xác ). Nơi này không có “Tự sự ưu hoá”, không có “Câu thông sách lược”, không có yêu cầu đón ý nói hùa “Thượng cấp ý đồ” hoặc “Chịu chúng thiên hảo”. Có chỉ là khái niệm cùng khái niệm chi gian, từ logic xích cấu thành, lạnh băng mà kiên cố quan hệ.
Hắn bắt đầu sa vào với thế giới này.
Ban ngày, hắn vẫn như cũ thực hiện viện nghiên cứu chức trách. Tham gia hạng mục hội nghị, trả lời về “Điệt thêm - thấu kính hệ thống” kỹ thuật cố vấn, chỉ đạo tổ sơ cấp nghiên cứu viên. Hắn hiệu suất cao mà hoàn thành này đó công tác, giống như một cái kinh nghiệm phong phú diễn viên sắm vai “Lâm tiến sĩ” nhân vật, lời kịch thuần thục, động tác tinh chuẩn, nhưng tình cảm rút ra. Hắn đem tất yếu xã giao cùng hành chính sự vụ áp súc đến ngắn nhất thời gian, phảng phất chúng nó là không thể không xuyên qua một mảnh nhỏ ồn ào náo động đầm lầy.
Mà ban đêm cùng sở hữu khả năng thời gian khe hở, tắc hoàn toàn thuộc về hắn toán học thế giới. Hắn không hề cực hạn với đọc lướt, mà là bắt đầu hệ thống tính mà thâm nhập nào đó lĩnh vực. Hắn từ tập hợp luận cơ sở công lý ( ZF hệ thống ) một lần nữa học khởi, cẩn thận nghiền ngẫm “Bên ngoài công lý”, “Chia lìa công lý”, “Cũng tập công lý”…… Này đó cấu thành hiện đại toán học cao ốc hòn đá tảng trần thuật, nhìn như đơn giản, lại ẩn chứa đối “Tập hợp” này một cơ bản khái niệm nghiêm khắc ước thúc. Hắn nếm thử lý giải “Lựa chọn công lý” khiến cho tranh luận và độc lập tính chứng minh ý nghĩ, cảm thụ toán học cơ sở trung những cái đó đều không phải là rõ ràng, yêu cầu lựa chọn thâm tầng giả thiết.
Hắn đặt chân đệ quy luận, nghiên cứu nhưng tính toán hàm số, đồ linh cơ, dừng quay vấn đề. Đương nhìn đến “Dừng quay vấn đề không thể phán định” chứng minh khi, cái loại này rõ ràng mà khắc sâu “Không có khả năng tính” lại lần nữa chấn động hắn. Này cùng Gödel định lý bất toàn có nội tại liên hệ, cộng đồng phác họa ra “Tính toán” cùng “Chứng minh” năng lực căn bản biên giới. Loại này phía đối diện giới đích xác thiết nhận tri, mang đến một loại kỳ dị an tâm cảm —— biết nơi nào là cực hạn, so đắm chìm ở không gì làm không được ( hoặc không biết theo ai ) trong ảo giác, càng tiếp cận chân thật.
Hắn thậm chí ở phạm trù luận chỗ nước cạn thí thủy. Những cái đó “Đối tượng”, “Thái bắn”, “Hàm tử”, “Tự nhiên biến hóa” trừu tượng ngôn ngữ, mới đầu làm hắn choáng váng, nhưng dần dần mà, hắn cảm nhận được một loại miêu tả toán học kết cấu gian quan hệ cường đại mà thống nhất phương thức. Loại này độ cao trừu tượng hình thức, tróc cụ thể đối tượng đặc tính, thẳng chỉ quan hệ cùng biến hóa bản chất, làm hắn liên tưởng đến “Điệt thêm dàn giáo” trung ý đồ hình thức hóa bất đồng phân tích phạm thức gian quan hệ ước nguyện ban đầu —— chỉ là phạm trù luận làm được càng hoàn toàn, càng thuần túy, không mang theo có bất luận cái gì ứng dụng tính “Mục tiêu ô nhiễm”.
Hắn làm bút ký, không phải vì phát biểu, cũng không phải vì dạy học, thuần túy là vì chải vuốt chính mình lý giải. Hắn ở giấy nháp thượng suy đoán chứng minh, hưởng thụ cái loại này từ đã biết tiền đề xuất phát, đi bước một nghiêm cẩn suy luận, cuối cùng đến tất nhiên kết luận tâm trí quá trình. Cái này quá trình không có thỏa hiệp, không có vặn vẹo, chỉ có logic thiết luật. Bút chì xẹt qua trang giấy sàn sạt thanh, thay thế được server vù vù cùng phòng họp nói nhỏ, trở thành hắn trong thế giới nhất yên lặng bối cảnh âm.
Ngẫu nhiên, chu giáo thụ hoặc Ngô nghiên cứu viên sẽ quan tâm hỏi khởi hắn gần nhất “Cá nhân nghiên cứu tiến triển”, ám chỉ hắn có thể đem toán học cơ sở phương diện tự hỏi cùng “Hệ thống tầng dưới chót logic hình thức xét nghiệm chứng” kết hợp lên, lại sản xuất một ít “Có chiều sâu giao nhau thành quả”. Lâm giản luôn là hàm hồ mà ứng thừa, nhưng cũng không thật sự hướng cái kia phương hướng nỗ lực. Hắn mơ hồ cảm thấy, một khi đem này phiến tịnh thổ cùng cái kia yêu cầu “Sản xuất” cùng “Ứng dụng” hệ thống liên hệ lên, nó lại sẽ bắt đầu vặn vẹo, biến chất. Hắn chỉ nghĩ bảo trì nó thuần túy tính, chẳng sợ loại này thuần túy ở người ngoài xem ra là trốn tránh, là “Không làm việc đàng hoàng”.
Hắn phát hiện, ở toán học quốc gia, hắn không hề yêu cầu rối rắm với “Thu thập mẫu” nào một bộ phận “Hiện thực” tới xây dựng “Chuyện xưa”. Toán học đối tượng bản thân ( nếu chúng nó tồn tại ) chính là này sở là. Định lý chính xác cùng không, không ỷ lại với quan sát góc độ, chỉ ỷ lại với logic suy luận. Nơi này không có yêu cầu “Lựa chọn tính hiện ra” số liệu điểm, chỉ có định nghĩa minh xác ký hiệu cùng quy tắc. Đúng sai góc cạnh rõ ràng, giống thủy tinh mặt cắt, lạnh băng, sắc bén, chân thật đáng tin.
Loại này góc cạnh rõ ràng rõ ràng cảm, giống một liều thuốc giải độc, chậm rãi trung hoà hắn nội tâm nhân “Dối trá thành công” cùng ý nghĩa hư không mà tích úc độc tố. Hắn không hề ý đồ đi thay đổi hoặc đối kháng cái kia hấp thu hết thảy khổng lồ hệ thống, cũng không hề vì chính mình “Đồng mưu” cảm thấy liên tục bén nhọn đau đớn. Hắn chỉ là lui trở lại này phiến từ công lý, định nghĩa cùng chứng minh cấu thành yên lặng lãnh thổ quốc gia, ở chỗ này, hắn có thể tạm thời buông “Lâm tiến sĩ” mặt nạ, buông đối “Ý nghĩa” trầm trọng truy vấn, gần làm một cái người suy tư, một cái thăm dò giả, cùng nhân loại lý tính nhất tinh thuần, nhất hình thức hóa kết tinh đối thoại.
Ngoài cửa sổ thành thị như cũ ngày đêm vận tác, số liệu nước lũ lao nhanh không thôi, “Điệt thêm - thấu kính hệ thống” ở càng ngày càng nhiều lĩnh vực bị ứng dụng, sinh thành đủ loại kiểu dáng hiệu suất cao mà mục đích minh xác tự sự. Thế giới vẫn như cũ ở nó kia phức tạp, mơ hồ, tràn ngập ích lợi cùng ngẫu nhiên quỹ đạo thượng vận hành.
Mà ở thành thị một góc, một gian chỉ sáng lên đèn bàn chung cư, lâm giản chính đắm chìm ở một đạo có quan hệ “Liên tục thống giả thiết” độc lập tính chứng minh ý nghĩ trung, mày nhíu lại, bút chì trên giấy nhẹ nhàng điểm hoa, phảng phất ở gõ một cái khác vũ trụ cánh cửa. Nơi đó không có lễ trao giải, không có thủy tinh lăng kính, chỉ có lặng im xoay tròn, logic thủy tinh thiên cầu, tản ra lạnh băng mà cố định quang mang, chiếu rọi hắn trong mắt tạm thời đạt được, yếu ớt thanh minh.