Lie Full of Truth
Оригинал взят у true_r в Lie Full of Truth
Всемогущество - тривиально противоречивое свойство. Логики говорят, что из противоречия вам оказывается доступен любой возможный вывод. Но ведь это как раз и есть состояние всемогущества! И пытаясь добавлять какие-то новые описания в эту систему, вы просто вводите в неё новые противоречия, которые не изменят суть дела. Если одного противоречия уже достаточно, то второе оказывается явно избыточным. Тем не менее, данное описание является, хотя и нереализуемым в силу противоречивости, но очень важным, так как оно эквивалентно заданию формального языка указанием на все утверждения, которые в нём могут быть выражены. Из этого следует один интересный вывод в который, несмотря на все желания не могли поверить математики прошлого. Хотим ли мы этого или нет - мы всегда говорим правду на языке обмана. Математическая истина недостижима в синтаксисе формальной системы.
Всемогущество - тривиально противоречивое свойство. Логики говорят, что из противоречия вам оказывается доступен любой возможный вывод. Но ведь это как раз и есть состояние всемогущества! И пытаясь добавлять какие-то новые описания в эту систему, вы просто вводите в неё новые противоречия, которые не изменят суть дела. Если одного противоречия уже достаточно, то второе оказывается явно избыточным. Тем не менее, данное описание является, хотя и нереализуемым в силу противоречивости, но очень важным, так как оно эквивалентно заданию формального языка указанием на все утверждения, которые в нём могут быть выражены. Из этого следует один интересный вывод в который, несмотря на все желания не могли поверить математики прошлого. Хотим ли мы этого или нет - мы всегда говорим правду на языке обмана. Математическая истина недостижима в синтаксисе формальной системы.