Dr. K. L. Metlov (dr_klm) wrote,
Dr. K. L. Metlov
dr_klm

Fortress

И все-таки математическая запись предназначена для описания -- ЧТО ИМЕННО нужно посчитать, и можно-ли это сделать вообще. Языки-же программирования служат для описания того КАК КОНКРЕТНО нужно считать что-либо. Мостик между этими двумя целями прокладывает целая наука -- прикладная математика (computer science), очень местами нетривиальная...

В связи с этим, цель проэкта Fortress читается как "создание искусственного интеллекта за 10 лет."

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

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

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

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