Институт РЕФАЛА
 
 
«Не стоит прогибаться под изменчивый мир,
Пусть лучше он прогнется под нас ... »
                      Андрей Макаревич

Страница находится в стадии разработки

 
 

«Иудейская война с римлянами‚ превосходящая, наверно, все в истории войны‚ до сих пор описана была в духе софистов и такими людьми‚ из которых одни‚ не будучи сами свидетелями событий‚ пользовались неточными‚ противоречивыми слухами‚ другие же‚ хотя и были очевидцами‚ искажали факты либо из лести к римлянам‚ либо из ненависти к евреям‚ вследствие чего их сочинения заключают в себе то порицание‚ то похвалу‚ но отнюдь не действительную и точную историю. А потому я‚ Иосиф‚ сын Маттафии‚ еврей из Иерусалима и из священнического рода‚ сам воевавший сначала против римлян и служивший невольным свидетелем всех позднейших событий‚ принял решение дать народам Римского государства на греческом языке такое же описание войны‚ какое я раньше составил для варваров внутренней Азии на нашем родном языке.

......

Я считаю недостойным умолчать о таких важных событиях и в то время‚ когда парфяне‚ вавилоняне‚ отдаленные арады‚ наши соплеменники по ту сторону Евфрата и адиавины‚ благодаря моим трудам‚ подробно ознакомились с причинами‚ многочисленными превратностями и конечным исходом той войны‚ — чтоб рядом с ними оставить в неведении тех греков и римлян‚ которые в войне не участвовали‚ и предоставить им довольствоваться чтением лицемерных и лживых описаний.»

Иосиф Флавий (гг. 37-100)
Иудейская Война.

«Среди программистов появился свой заметный диссидент — В. Ф. Турчин, подписавший статью в журнал "Коммунист" вместе с А. Д. Сахаровым. Из-за своих взглядов и действий В. Ф. Турчин был вынужден тогда уехать из Обнинска, где работал как физик. Приехав в Москву, он переключился с физики на функциональное программирование, создав совершенно новое направление — РЕФАЛ. Я диссидентом никогда не был, но мне хотелось помочь Турчину как талантливому ученому, у которого к тому же не было жилья. Пошел к Мстиславу Всеволодовичу, объяснил ему все, и тот поддержал Турчина — взял на работу к нам в отдел и выделил квартиру. В разговоре же с Турчиным я договорился, что он "прекращает диссидентство", но если захочет возобновить свою общественную деятельность, то он сообщит мне и предварительно уволится из ИПМ.»

М. Р. Шура-Бура
Мой Келдыш.
Москва: ИПМ им. М. В. Келдыша, 2001.

«Степень подробности, с которой должно быть составлено описание алгоритма и степень формализации описания, очевидно, зависят от стуктуры устройства, которое будет выполнять алгоритм. Человеку может хватить нескольких неформальных указаний. ЭВМ должна получить не просто формальное правильный текст, но даже физически правильно реализованный текст (в виде колоды перфокарт с жесткими допусками на размеры и прочность самих карт и пробитых в них отверстий).»

Ю. И. Манин
Вычислимое и невычислимое.
Москва: «Советское радио», 1980. Страница 45.

Язык символического кодирования


 
Чайная