Size: a a a

2020 February 21

AE

Alexey Egorov in Lisp Forever
Плюс есть куча вещей типа обработки информации, кодирования, и прочих смежных вещей, которые тоже придумывают математики.
источник

AE

Alexey Egorov in Lisp Forever
Для практических применений.
источник

a

akater in Lisp Forever
Alexey Egorov
В результате статьи, конечно, но это могу не обязательно быть теоремы.
Я предложил бы обсудить пример математической статьи без теорем, но это оффтопик, и малополезно.
источник

AE

Alexey Egorov in Lisp Forever
Vλadimir (Hawthorne the Toolmaker)
самый дорогой девайс в лабе математиков это КОФЕМАШИНА
Труе.
источник

PG

Pïg Grëënëst in Lisp Forever
Vλadimir (Hawthorne the Toolmaker)
самый дорогой девайс в лабе математиков это КОФЕМАШИНА
А как же комп с 128 гигами рамы, чтобы считать доказательства на текущем Idris?
источник

V(

Vλadimir (Hawthorne the Toolmaker) in Lisp Forever
Pïg Grëënëst
А как же комп с 128 гигами рамы, чтобы считать доказательства на текущем Idris?
так он не в лабе а в серверной, куда не попасть пока админу литр пива не отгрузишь
источник

PG

Pïg Grëënëst in Lisp Forever
надо было в админы идти
источник

AE

Alexey Egorov in Lisp Forever
akater
Я предложил бы обсудить пример математической статьи без теорем, но это оффтопик, и малополезно.
Не стоит бояться оффтопика в мёртвом чате.
источник

AE

Alexey Egorov in Lisp Forever
Тем более что любой топик — онтопик, потому что увеличение горизонтальных связей всегда идёт на пользу коммунити!
источник

AE

Alexey Egorov in Lisp Forever
А вот с тем что это малополезно, я соглашусь.
источник

a

akater in Lisp Forever
Lämppi Lütti
Математика, она про скрытую красоту этого мира
В таком случае можете считать меня математиком. Я разделяю этот взгляд и как такой математик никому ничего не должен кроме как восхищаться этой красотой. :-)
источник

LL

Lämppi Lütti in Lisp Forever
Один математик мне это и рассказывал
источник

LL

Lämppi Lütti in Lisp Forever
А теоремы просто результат наблюдений
источник

a

akater in Lisp Forever
…Но слишком широкие определения тоже малополезны, а быть кем-то без миссии — сомнительное дело.
источник

a

akater in Lisp Forever
Так что я лично считаю математиками тех, кто доказывает теоремы. Определений недостаточно. Определение несложно придумать, сложно про определенный объект что-то интересное доказать.
источник

LL

Lämppi Lütti in Lisp Forever
akater
…Но слишком широкие определения тоже малополезны, а быть кем-то без миссии — сомнительное дело.
Математик тоже не узкое понятие
источник

LL

Lämppi Lütti in Lisp Forever
Ничто же не мешает быть математиком в довесок к чему либо
источник

a

akater in Lisp Forever
Но тогда люди, которые на самом деле доказывают теоремы, оказываются названы тем же словом, что и те, кто просто восхищаются. Это меня лично не устраивает.
источник

LL

Lämppi Lütti in Lisp Forever
Это в народе одним словом
источник

LL

Lämppi Lütti in Lisp Forever
А вообще, это омографы!
источник