Cтраница 1
Гельфонд Александр Осипович ( 1906 - 1968) - математик, чл. [1]
Гельфонд, наконец, сделался настоящим профессором и имеет 120 групп ( 120x202400 студентов) у подчиненных ему аспирантов. [2]
Гельфонда, который предложил обозначать каждую негативную литеру not L логической программы как - BL ( трансформация Гельфонда), т.е. not I / получает эписте-мическое прочтение: Нет повода иметь убеждение в истинности L. Бонатти изучал различные трансформации между литерами с отрицанием по умолчанию и литерами со степенью убеждения belief literals, чтобы показать, как различные виды семантики логических программ могут быть получены из автоэпистемических логик. [3]
При этом Гельфонд не забыл о том, что первый принципиальный шаг вперед после Лиувилля в теории трансцендентных чисел был сделан Шарлем Эрмитом, применившим классический анализ к исследованию арифметической природы чисел. С помощью специального интегрального тождества, которому удовлетворяет функция ех, Эрмит доказал в 1873 г. трансцендентность числа е - основания натуральных логарифмов [ II, 25, с. Несколько обобщив тождество Эрмита, Линдеман в 1882 г. доказал трансцендентность чисел вида е, где а - алгебраическое число, откуда сразу же следует трансцендентность числа те и тем самым отрицательное решение проблемы квадратуры круга. [4]
Вышеприведенный пример с Гельфондом содержит уже ответ на этот вопрос, и мы не будем следить ва бесчисленными случаями гельфондовского обращения наших махистов с И, Дицгеном. [5]
Отсюда видно, что г. Гельфонд выставил утверждение прямо противоположное действительности. Дицгеном, признает, что причинная зависимость содержится в самих вещах. [6]
В нашей конкретной обстановке СУП мог бы свариться только при условии последовательного отделения от Гельфондов, Гельфан-дов и Делонеев, какими бы замечательными математиками они ни были. [7]
Гельфонда, который предложил обозначать каждую негативную литеру not L логической программы как - BL ( трансформация Гельфонда), т.е. not I / получает эписте-мическое прочтение: Нет повода иметь убеждение в истинности L. Бонатти изучал различные трансформации между литерами с отрицанием по умолчанию и литерами со степенью убеждения belief literals, чтобы показать, как различные виды семантики логических программ могут быть получены из автоэпистемических логик. [8]
Президиумом Академии Наук ты утвержден членом математической группы Отделения без предварительного рассмотрения твоей кандидатуры в группе, в отличие от Гельфонда и от Лаврентьева, которые будут обсуждаться. Очевидно, разница вызвана тем, что ты есть директор Института. Однако твой коллега А.Р. Кулишер в состав группы не введен. Зато введен академик Бурстин. [9]
Однако начиная с 1951 г. ( см. 116 ]) внимание математиков привлекли различные вопросы, связанные с операторами обобщенного дифференцирования Гельфонда - Леонтьева. [10]
Глубокое возмущение Ленина вызвало появление в начало 1908 года книги Очерки по философии марксизма - сборника статей Базарова, Бермана, Богданова, Гельфонда, Луначарского, Суворова, Юшкевича. Ленин назвал этот сборник Очерками против философии марксизма, ибо в нем марксистскому мировоззрению противопоставлялись в наукообразном облачении идеализм и мистика. [11]
Дицгену, мы должны прежде всего отметить одно из бесчисленных искажений дела нашими махистами. Гельфонд, собственные воззрения которого представляют из себя настоящую окрошку из материализма и агностицизма, безбожно переврал И. Дицгена можно найти немало путаницы, неточностей, ошибок, радующих сердца махистов и заставляющих всякого материалиста признать в И. [12]
Краткий обзор видов семантики логических программ выполнен по работе [9.1], с. Семантика устойчивых моделей была впервые определена в работе [9.5] Гельфондом и Лифшицем. В работе [9.9] обосновывается необходимость введения второго отрицания для выполнения вывода здравого смысла. [13]
Различные автоэпистемические логики получаются в зависимости от выбора позитивной и негативной интроспекции. Пшимусинский показал также, что при таком определении расширения все перечисленные недостатки устраняются, и что с помощью трансформации Гельфонда между нормальными логическими программами и автоэпистемическими теориями ( где not L понимается как - LL), приведенное расширение эквивалентно фундированной семантике. [14]
Между прочим, вполне приятное впечатление производит на меня By л - он кажется мне простым и симпатичным человеком. Вообще, должен сказать, что среди всех отдыхающих здесь представителей физико-математического отделения меньше всего точек соприкосновения у меня было с Соболевым и Гельфондом, несмотря на чрезвычайную любезность наших отношений. А что касается Вула, то если тебе придется менять своего ученого секретаря, я очень советую проверить свое впечатление от него - по-моему, он и умный человек, и, возможно, вполне приятный. [15]