klausnick/莫罗佐夫·尼科莱/профан (klausnick) wrote,
klausnick/莫罗佐夫·尼科莱/профан
klausnick

в мире всё больше будет рулить вычислительная математика, а не "формальная булевская логика"

Все эти формально-логические онтологии становятся priors, и дальше их вычислять нужно не булевскими пруверами, а вполне себе методами вычислительной математики с плавающими числами.
Грядут "войны универсальных вычислителей", как были браузерные войны, войны фреймворков нейронных сетей. Но это "войны универсальных вычислителей", а не "войны графических ускорителей", почувствуйте разницу. Геймерам же всех мастей скажем спасибо: они по факту оплатили все эти исследования и разработки. Именно на заработанные их родителями (реже -- ими самими) деньгах выросла фирма NVIDIA, теперь стремительно превращающаяся в поставщика вычислительной инфраструктуры (человечества или небольших рынков -- этот вопрос оставим открытым).
Tags: вычисления, компьютер, логика, математика
Subscribe

Recent Posts from This Journal

  • опубликовал три года назад

    Полесские хроники Сначала разберёмся с действующими лицами. Просто доктором будем именовать вновь прибывшего на Полесье выпускника.…

  • бык и телка

    Bull, ox. Bullock, a heifer. Berks .

  • Донер (В девичестве шаурма)

    Döner kebab по-турецки. Значение: вращающийся, вертящийся. В Азербайджане шаурмой называют блюдо с белым кисло-сладким соусом и в лаваше, в…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 2 comments