Aug. 11th, 2016

gianthare: (Default)
Арик сейчас учит дискретную математику. Я не математик, но вот реляции, комбинаторика (в меру), начала теории множеств это все моё. И много формальных доказательств, в 2-3-4 шага.
И вот, я с умилением смотрю, как он все это доказывает, параллельно ругаясь с ним по поводу того, записывать доказательства как у них на лекции или как мне помнится 25 лет спустя.
А потом, лёжа в кровати, думаю, что вот математика это вещь, и кто математику в университете учил, тот никогда не перепутает аксиому с леммой, которую надо ещё доказать, а доказательство с маханием руками.
И вдруг вспомнил про Фоменко, написал язвительный комментарий в [livejournal.com profile] ru_ivrit, и пошёл спать.

Profile

gianthare: (Default)
gianthare

April 2017

S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526 2728 29
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2017 08:34 pm
Powered by Dreamwidth Studios