Jump to content

Лекция Гёделя

Лекция Гёделя — это награда в области математической логики, вручаемая Ассоциацией символической логики , связанная с ежегодной лекцией на общем собрании ассоциации. Премия названа в честь Курта Гёделя и вручается ежегодно с 1990 года. [ 1 ] [ 2 ]

Лауреаты премии

[ редактировать ]

Список лауреатов премии и названий лекций поддерживается в Интернете Ассоциацией символической логики. [ 3 ]

См. также

[ редактировать ]
  1. ^ Кекрис, Александр С. (1991). «Ежегодное собрание Ассоциации символической логики: Беркли, 1990» . Журнал символической логики . 56 (1): 361–371. дои : 10.2307/2274945 . ISSN   0022-4812 . Кроме того, в этом году была открыта лекция Гёделя, новое мероприятие ежегодных собраний ASL. Первую лекцию по Гёделю прочитал Рональд Йенсен, который говорил о внутренних моделях и больших кардиналах.
  2. ^ «Ежегодное собрание Ассоциации символической логики» . Журнал символической логики . 57 (1): 352–365. 1992. дои : 10.2307/2275205 . ISSN   0022-4812 . Дана Скотт прочитала вторую ежегодную лекцию в Гёделе под названием « Будут ли логики заменены машинами?»
  3. ^ «Лекторы Гёделя – Ассоциация символической логики» . Проверено 31 мая 2023 г.
  4. ^ «Ежегодное собрание Ассоциации символической логики 2000 г.» . Бюллетень символической логики . 6 (3): 361–396. 2000. дои : 10.2307/421070 . ISSN   1079-8986 .
  5. ^ «Ежегодное собрание Ассоциации символической логики 2007 г.» . Бюллетень символической логики . 13 (3): 386–408. 2007. ISSN   1079-8986 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: c1c52b5989a8560d80eedd8a34e1c938__1719909960
URL1:https://arc.ask3.ru/arc/aa/c1/38/c1c52b5989a8560d80eedd8a34e1c938.html
Заголовок, (Title) документа по адресу, URL1:
Gödel Lecture - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)