2017-Apr-22, Saturday

alex_vinokur: Sea---2014 (Default)
Думали - через года, через годы ли -
Счастье не за горами.
Но после второй теоремы Гёделя
Бросили строить храмы.

Нам стало понятно, что математика
Тоже несовершенна.
Значит, должны исходить из прагматики:
Истина - то, что ценно.

Можно ли верить тому, что доказано,
Если всё ненадёжно?
Вряд ли. Но веровать всё же обязаны,
А иначе тревожно.

2017

Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
«Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна»
«Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»
https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote

Говоря более простыми словами - математика несовершенна.


alex_vinokur: Sea---2014 (Default)
Рабочий день у офицера,
Как на гражданке, - до пяти.
Официально. Но примеров
Такой работы не найти.

Пришёл. И только сел за ужин,
Сержант: "Товарищ лейтенант,
Вас командир зовёт". Я нужен,
Как новобранцу аксельбант.

Опять какой-то тип из "дедов"
Напился (где-то же достал),
Съел наспех несколько обедов
И в карауле крепко спал.

А я при чём? Приказ даётся -
Стою, кляну свою судьбу -
Везти его, когда проснётся,
Отсюда прямо на губу.

Растормошили, ясно, сразу,
Не ждать же несколько часов.
Потом на "Газик", дали газу
И в часть. Там в карцер, на засов.

Пока туда-сюда-обратно
Вернулся, всё вокруг темно.
Устал. Был голоден, понятно.
И зол. Оно немудрено.

Перекусил пайком холодным.
Прилёг. Старался не заснуть,
Почувствовать себя свободным
Хоть четверть часа, хоть чуть-чуть.

...Подъём, отбой, подъём, уставы,
Ученья. Дней круговорот.
Но важно что? Имею право
Пусть и на каплю счастья. Вот.

2017

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 2223
24252627282930

Самые популярные метки

Style Credit

Expand Cut Tags

No cut tags
Page generated 2017-Sep-23, Saturday 05:29
Powered by Dreamwidth Studios