괴델 강의

Gödel Lecture
괴델 상을 혼란스럽기로 했다.

수학적 논리가 협회의 상징성 논리에 이 협회 총회에서 연례 강연과 관련된 주어진 에 그 괴델 강의의 영광이다.이 상 쿠르트 괴델서는 1990년 이래로 매년 보아 왔다.[1][2]

각 부문 수상자들

참고 항목:종류:괴델 교수

수상자들과 강의 제목의 목록이 온라인 협회의 상징성 논리에 의해 유지된다.[3]

  • 1990년 로날드 젠슨, 내 모델과 대형을 만끽하고 있다.
  • 1991년 다나 스콧, Logicians 기계는 가까이에 교체했습니달 윌?
  • 1992년 조지프 R.Shoenfield, 중요도 법.
  • 1993년 앵거스 Macintyre, 논리와p-adic 진정한 분석:.성과와 과제.
  • 1994년 도날드 A마틴, L(R):A조사.
  • 1995년 레오 해링턴, 괴델, 하이데거, 직접적 지각(또는, 왜 나는 Recursion Theorist입니다).
  • 1996년 사하론 셸라흐, Categoricity 빽빽함 없이.
  • 1997년 솔로몬 Feferman, Occupations과 Preoccupations이 괴델과:그의 *Works*고 일하다
  • 1998년 알렉산더 S.Kechris, 서술적 집합 이론 기술 개발 현황.
  • 1999년 스티븐 쿡, 논리와 계산의 복잡성.
  • 2000년 존 Barwise — 있어서 speaker의 죽음으로 취소했다.[4]
  • 2001년 시어도어 Slaman, Recursion 이론.
  • 2002년 하비 프리드먼과 쟁점, 기초를 닦의 수학입니다.
  • 2003년 보리스 Zilber, Categoricity.
  • 2004년 마이클 라빈, 수학에서 Proofs게 설득을, 마구잡이다.
  • 2005년 메나헴 Magidor, 일반화된 논리에 Skolem-Lowenheim 정리.
  • 2006년 PerMartin-Löf의 논리 두 계층들이다.
  • 2007년 에후드 흐루쇼프 스키 그의 일에 대수적 모델 이론 T.M. 스캔론에 의해 사장의 부재를 받았던 한 강의 제목 —.[5]
  • W. Hugh Woodin, The Continuum가설, {\displaystyle 추측, 그리고 하나의 슈퍼콤팩트 추기경의 내측 모델 문제.
  • 2009년 리처드 쇼어 역 수학:놀이터 논리학.
  • 2010년 알렉산더 Razborov, Propositional Proofs 간의 복잡.
  • 2011년 AnandPillay, 첫번째 주문의 이론들이다.
  • 2012년 존 R.철강, 기정의 모델에 있는 세습으로 순서 정의할 수 있는 세트.
  • 2013년 세트 좋아, Truthmaker 의미.
  • 2014년 줄리아는 F.특별한 형태의 나이트, 계산 가능한 구조 이론과 공식.
  • 2015년 알렉스 윌키 함수의 R에서 단지 continuations 정의할 수 있는 오빠, e)p(_{an,exp}}는 디오판투스 신청서와 함께.
  • 2016년 Stevo Todorčević, 집합론에 기반 문제다.
  • 2017년 찰스 파슨스(철학자), 괴델과 세트의 우주.
  • 2018년 로드 다우니 주니어는, 연산 무작위성.
  • 2019년 사무엘 버스, 남 태평양, 확률과 타당성.
  • 2020년Élisabeth Bouscaren, 구성의 모델 이론의 어디에나 있다는 것이다.
  • 2021년 매튜 포어맨 괴델 Diffeomorphisms.

참고 항목

References

  1. ^ Kechris, Alexander S. (1991). "Annual Meeting of the Association for Symbolic Logic: Berkeley, 1990". The Journal of Symbolic Logic. 56 (1): 361–371. doi:10.2307/2274945. ISSN 0022-4812. Moreover, the Gödel Lecture, a new feature of the ASL Annual Meetings, was inaugurated this year. The first Gödel lecture was given by Ronald Jensen, who spoke on Inner Models and Large Cardinals.
  2. ^ "Annual Meeting of the Association for Symbolic Logic". The Journal of Symbolic Logic. 57 (1): 352–365. 1992. doi:10.2307/2275205. ISSN 0022-4812. Dana Scott delivered the second annual Gödel Lecture, entitled Will Logicians be Replaced by Machines?
  3. ^ "Gödel Lecturers – Association for Symbolic Logic". Retrieved 2021-11-08.
  4. ^ "2000 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 6 (3): 361–396. 2000. doi:10.2307/421070. ISSN 1079-8986.
  5. ^ "2007 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 13 (3): 386–408. 2007. ISSN 1079-8986.

외부 링크