Sinoid в сообщении #1076387
писал(а):
я поэтому и стараюсь не шутить, тем более, что люди здесь серьезные и на хиханьки-хаханьки далеко не все согласны тратить время.
Это даже немного обидно, в самом деле... Хорошая шутка серьезности не помеха! Недаром же Цитатник -- одна из самых больших тем!
Ну вот, а я про что? Я ничего не сказал, а уже обиды! Не обижайтесь. Просто и вправду, что одному человеку кажется смешным, другого человека может задевать за живое, при непосредственном общении это выясняется естественным путем, а здесь это сделать сложновато. Да и потом, существуют еще и смайлики!
А я вам что привела? В первом примере так и есть, получено истинное утверждение!
А, точно, это сумма внутренних односторонних углов, образованных двумя прямыми и общей секущей.
Старая байка:
Один философ (гуманитарного толка) пришёл к Бертрану Расселу с претензией, потребовав объяснить, как это из лжи может следовать истина.
- Как из "дважды два пять" следует, что я - Римский Папа?!
- Очень просто! - ответствовал Рассел -
![$2\cdot2=5$ $2\cdot2=5$](https://dxdy-01.korotkov.co.uk/f/4/6/2/462fb8d813fee9d2c85051ddcd278d0982.png)
. Вычитаем из обеих частей равенства 3.
![$1=2$ $1=2$](https://dxdy-02.korotkov.co.uk/f/d/0/a/d0ae5c3eaf9f1e48938a4147dc1b511182.png)
. Папа Римский и Вы - два разных человека, но два равно одному. Поздравляю, Ваше Святейшество!
А вот это прикольный пример, чувствуется причинно-следственная связь, нужно запомнить. Я где-то читал, что непротиворечивость Евклидовой геометрии может быть сведена к непротиворечивости алгебры, так что существование таких
Если в треугольнике
![$ABC$ $ABC$](https://dxdy-04.korotkov.co.uk/f/b/f/1/bf1e7c123c5e9726ce33581a9d5cbbef82.png)
два угла тупые, то отрезки
![$AB$ $AB$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a58df2f9303017b173748509a0aa34c82.png)
и
![$BC$ $BC$](https://dxdy-04.korotkov.co.uk/f/f/a/c/faccc919604453276df35f0a8c04107d82.png)
имеют общую точку.
примеров можно было предсказать, еще не придумав их самих. Кстати, вспомнил
а еще и для того, чтобы не случилось такой ситуации что если бы положили, что из лжи может следовать только ложь, а вдумчивому наблюдателю пришли бы в голову рассуждения типа
Sinoid в сообщении #1075802
писал(а):
Итак, истина то, что из лжи
![$1=2$ $1=2$](https://dxdy-02.korotkov.co.uk/f/d/0/a/d0ae5c3eaf9f1e48938a4147dc1b511182.png)
следует истина
или
arseniiv в сообщении #1075803
писал(а):
если 2 кратно 4, то 2 чётное,
он бы не смог сказать: "так, ребята-математики, воля ваша, но у вас в алгебре логики, одном из фундаменте дела, которому вы посвящаете жизнь, не все продумано, да и вообще вы странные люди: у вас
![$1+2$ $1+2$](https://dxdy-04.korotkov.co.uk/f/7/b/3/7b3f19d17785621d78db6c9ef5e3cc6782.png)
может равняться 10!"
это вот для этих вещей существует формальная математика?