>Дарю идею

http://lj.rossia.org/users/lookatmisha/107784.html

(Reply to this) (Thread)

Ну, я вспомнил этот твой пост, разумеется…

(Reply to this) (Parent)

Одним из условий членства в группе был возраст, не превышающий 50 лет. Можно было быть исключённым и раньше, если прочие участники считали, что исключаемый перестал быть творчески работающим математиком. Для этого существовала специальная процедура, носящая название «колтунизация». В основе этого лежит обычай анонимов одного из некоммерческих проектов, созданных для поддержки свободы слова, развития гражданского общества и поощрения свободного обмена мнениями определять дееспособность участника — тот должен суметь распознать копипасту и ответить ей в уровень. У Бурбаки колтунизация заключалась в следующем: испытуемого перекрывают какой-нибудь очень сложно определяемое копипастой с колтунами, причем сам источник примитивный, например, фразы гафурки или ругань вениамина. Если испытуемый начнёт разговаривать с копипастой, он считается колтунизированным и выбывает из группы, хотя может и участвовать в её организационных или некоммерческих мероприятиях.

(Reply to this) (Parent) (Thread)

вся суть Haskell:
https://ru.wikipedia.org/wiki/%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0_%D0%91%D1%83%D1%80%D0%B1%D0%B0%D0%BA%D0%B8
В трактате все математические теории описываются на основании аксиоматической теории множеств в духе крайней абстракции. Например, определение обыкновенного натурального числа 1 в «Теории множеств» даётся следующим образом:

τ Z ( ( ∃ u ) ( ∃ U ) ( u = ( U , { ∅ } , Z ) ∧ U ⊂ { ∅ } × Z ∧ ( ∀ x ) ( ( x ∈ { ∅ } ) ⇒ {\displaystyle \tau _{Z}((\exists u)(\exists U)(u=(U,\{\varnothing \},Z)\land U\subset \{\varnothing \}\times Z\land (\forall x)((x\in \{\varnothing \})\Rightarrow } {\displaystyle \tau _{Z}((\exists u)(\exists U)(u=(U,\{\varnothing \},Z)\land U\subset \{\varnothing \}\times Z\land (\forall x)((x\in \{\varnothing \})\Rightarrow } ( ∃ y ) ( ( x , y ) ∈ U ) ∧ ( ∀ x ) ( ∀ y ) ( ∀ y ′ ) {\displaystyle (\exists y)((x,y)\in U)\land (\forall x)(\forall y)(\forall y')} {\displaystyle (\exists y)((x,y)\in U)\land (\forall x)(\forall y)(\forall y')} ( ( ( x , y ) ∈ U ∧ ( x , y ′ ) ∈ U ) ⇒ ( y = y ′ ) ) ∧ ( ∀ y ) ( ( y ∈ Z ) ⇒ ( ∃ x ) ( ( x , y ) ∈ U ) ) ) ) {\displaystyle (((x,y)\in U\land (x,y')\in U)\Rightarrow (y=y'))\land (\forall y)((y\in Z)\Rightarrow (\exists x)((x,y)\in U))))} {\displaystyle (((x,y)\in U\land (x,y')\in U)\Rightarrow (y=y'))\land (\forall y)((y\in Z)\Rightarrow (\exists x)((x,y)\in U))))}

Причём, учитывая, что в этой записи уже сделаны сокращения (например, пустое множество ∅ определяется в языке теории множеств Бурбаки как Bourbaki empty.gif[7]), мы получаем, что полная запись обыкновенной единицы состоит из 2 409 875 496 393 137 472 149 767 527 877 436 912 979 508 338 752 092 897 знаков и 871 880 233 733 949 069 946 182 804 910 912 227 472 430 953 034 182 177 связей, то есть полная запись терма, обозначающего единицу, заняла бы сто миллиардов квинтиллионов квинтиллионов книг [8].

(Reply to this) (Parent) (Thread)

Привет, Никита Колтунков!

(Reply to this) (Parent)

бля топ пост
обоссака!

(Reply to this) (Parent)