Пусть

[otkaznik1]

Математик начинает свое выступление словом: пусть. И это сразу определяет и координаты его места под солнцем, и отношение к этому месту. В этом есть и заведомое признание условной истинности его притязаний, но и заявка на твердую определенность предлагаемых умозаключений. Мир был бы несравненно лучше, если бы населяющие его обитатели усвоили такую модальность самовыражения. 

Comments

[brmail]

ну да, и как только оно произойдет, хитрый математик станет начинать свои выступления словом "допустим" , а потом когда приеся и это - "предположим" итд. Не в словах самовыражение , не в словах

[juan_gandhi]

Это невозможно объяснить программистам. У них теоремы возникают из ничего. Theorems for free. CAP theorem. Спросишь их - а ребята, а вы в какой аксиоматике это все формулируете? - Га?

Они не понимают. Ни хера они не понимают. Я типа по миру езжу и впариваю, мол, не! не всякая монада является аппликативным функтором! Не всегда свободная монада существует! Ну и т.д. Но толку...