Чет какой то совсем [...] на форуме. Тухлятина одна.

Перетирают гавно джесмита, вяло срутся в политике и экономике. Пятничная ветка так вообще раз в неделю обновляется.

330й уже не торт.

Придумай позитивную тему и начни обсуждение.

Задавай тренд =)

а я вот не знал, что в 1961 году было такое:

(3) в 61 уже человека в космос отправили, не то что грузовички клепать

(5) угу, то в 61-м.

а спустя годы, в 1970-м начали делать вот такое:

Думаю, а что если формализовать язык математических выкладок, сделав его похожим на языки программирования. Ну, типа инклюдим библиотеку рациональных чисел (все их теоремы, аксиомы, определения)
Создаем новые определения, типа как определяем новый класс.
Делаем операции и функционалы, это типа функции.
Создаем утверждения, часть из которых объявляем аксиомами, часть теоремами, это типа реализации будут.
Действительные числа будут наследоваться из рациональных, рациональные наследуются из целых, целые наследуются из натуральных.

(7) ты такими темпами R напишешь

отлипнуть просто невозможно

(8) причем тут R?
Сейчас математики что то доказывают годами, потом кто то находит ошибку в докпзательствах, и математики вешаются от горя.
Тут же с таким языком, машина сможет проверить насколько верное доказательство и не упущено ли какого то нюанса.

А было бы прикольно замутить фичу на форуме - при вставке ссылки оно пихает первую картину и тайтл, короче как в скайпе

(11) разверни требование подробнее, я его не понял

(11) хотя б просто не пропадали и не двоились сообщения - уже было б писдаче

(12) я вставляю http://developerslife.ru/15486 форум преобразует в

(14) а, так ты про ссылку на видео?

(15) нет, любая первая картинка на странице

sda553 (8) причем тут R?
Сейчас математики что то доказывают годами, потом кто то находит ошибку в докпзательствах, и математики вешаются от горя.
Тут же с таким языком, машина сможет проверить насколько верное доказательство и не упущено ли какого то нюанса.

то есть вы хотите написать статический компилятор для математических теорем? интересно, не спорю

(17) да. Язык будкт состоять из определений и утверждений.
Каждое утверждение, это некоторые условия, из которых следует какой то вывод.
Например:
Определение: Прямоугольный треугольник: extends треугольних.
Вывод: Имеет угол равен пи/2.

Условие: Треугольник - прямоугольный
Вывод: квадрат гипотенузы равен сумме квадратов катетов.

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

MIK отлипнуть просто невозможно

тебе понравится
https://www.youtube.com/channel/UC3dhDT6t8bZ2yL1M1a7HyRw

Данке шон )

Тухлая ветка жеж

(22) мне нравится твоя прическа! я такую же себе сделаю завтра!

NewTesla (22) мне нравится твоя прическа! я такую же себе сделаю завтра!

Сделал?

MIK

чему же еще можно научиться у русских кроме как искусно материться, жрать водку и захватывать чужие земли

(27) Вы, видимо, даже этому не научились.

(27):) вы то что об этом можете знать - подавляющую часть земель украины вам дали русские...

(30) Они предпочитают об этом не думать. Вот даже что предложили - лучший способ защитить русские земли это уйти с заводами на Урал.