http://rim.math.snu.ac.kr/board/files/attach/images/699/7e40132f802cadf83596190fe67e8c30.png
Extra Form
deadline Nov 10, 2024

안녕하세요.서울대학교 수리과학부 10-10프로젝트는 연세대학교 수학과 김병한 교수님을 모시고 제4회 가우스석학강연 개최합니다.

많은 참여 바랍니다.

감사합니다.ver1_a제4회 가우스석학강연(김병한 교수님).jpg

 

  • 일시: 2024년 11월 4일(월) , 8일(금)16:00~17:30(Q&A포함)
  • 장소: 서울대학교 상산수리과학관 129동 1층
  • 강연정보:

11월 4일(월) 16:00~17:30(Q&A포함)
Compactness and ultraproducts in model theory.

수리논리 모델론의 근간이 되는 괴델의 compactness 정리를 소개하고 이를 ultraproduct라는 개념을 사용하여 증명하는 것이 강연의 목표다. 이의 응용으로, 수체 위에 정의된 elliptic curve들의 rank의 upper bound가 존재할 필요충분조건에 대한 이정욱 교수의 결과와, Ax의 pseudo finite field(ultraproduct of finite fields)에 관한 결과 등을 소개할 것이다.

11월 8일(금) 16:00~17:30(Q&A포함)
Model theoretic studies on the real/complex fields, with exponentiation.

실수체에 대한 모델론 연구는 오랜 역사를 갖고 있다. 특히 Tarski의 real closed ordered field에 quantifier elimination이 있다는 결과는 시금석 역할을 하였다. 이의 증명을 소개하고 이를 바탕으로 Hilbert’s 17th problem(every positive definite rational function over the real field is a sum of squares of rational functions)을 쉽게 이끌어 낼 것이다. 여기에 exponentiation을 더한 구조에 대한 Wilkie 등의 모델론 연구를 소개할 것이다. 특히 그의 연구는 최근 Andre-Oort 예상이 완전히 해결되는 데 밑거름이 되었다. 시간이 된다면 Zilber의 complex field with exponentiation과 Schanuel의 예상과 관련한 모델론 연구도 소개하겠다.

 

  1. 2024년 SNU 10-10 프로젝트 제4회 가우스 석학강연

    안녕하세요.서울대학교 수리과학부 10-10프로젝트는 연세대학교 수학과 김병한 교수님을 모시고 제4회 가우스석학강연 개최합니다. 많은 참여 바랍니다. 감사합니다.   일시: 2024년 11월 4일(월) , 8일(금)16:00~17:30(Q&A포함) 장소: 서울대학교 상산수...
    Read More
  2. [SNU10-10] 2024년 제2회 가우스석학강연(연사: 백진호 교수)

    안녕하세요.    서울대학교 10-10프로젝트에서 백진호 교수님(University of Michigan)을 모시고 가우스 석학강연을 준비하였습니다.  관심 있는 모든 분들의 많은 참여바랍니다. 감사합니다.   *일시: 2024년 5월 13일(월) 16:00~17:30   *장소: 서울대학교 ...
    Read More
  3. Hyeong-Ohk Fest on Nonlinear PDEs, Collective Dynamics and Finance (In honor of Prof. Hyeong-Ohk Bae’s 60th Birthday)

    Hyeong-Ohk Fest on Nonlinear PDEs, Collective Dynamics and Finance (In honor of Prof. Hyeong-Ohk Bae’s 60th Birthday) 1. Period: June 6th (Thursday) – June 8th (Saturday), 2024 2. Venue: Sangsan Mathematical Science Building (12...
    Read More
  4. [SNU10-10] 2024년 제2회 가우스초청강연(연사: Carlos Sing-Long)

    안녕하세요. 서울대학교 10-10프로젝트에서 Carlos sing long 교수님을 모시고 특별초청강연을 준비하였습니다.  관심 있는 모든 분들의 많은 참여바랍니다. 감사합니다.   □  일시: 24년 4월 22일(월) 15:30~16:30 □  장소: 서울대학교 상산수리관 대강당 □  ...
    Read More
  5. 2024년 제 1회 10-10가우스석학강연

     일시: 4월 12일 16:00~17:30(QnA포함)  장소: 상산수리관 대강당  연사: Jan Philip Solovej(코펜하겐 대학교) - 유럽 수학회 회장 (2023년~2026년) - 현재 코펜하겐 대학교 QMath 그룹 리더 - 해석학을 기반으로하는 수리물리학 분야의 석학 - https://en.w...
    Read More
  6. Eleventh Bielefeld-SNU Joint Workshop in Mathematics

    April 8 to 10, 2024 Seoul National University
    Read More
  7. [10-10특별강연] AI시대의 바둑(정연우 프로기사)

    안녕하세요.   수리과학부 10-10프로젝트에서 "AI시대의 바둑"이라는 주제로 정연우 프로기사의 특별강연을 준비하였습니다.   관심 있는 모든 분들의 많은 참여바랍니다.   - 일시: 2024년 3월 18일(월) 16:30~18:00(QnA포함) - 장소: 상산수리과학관(129동) ...
    Read More
  8. Shih-Hsien Fest on Hyperbolic Conservation Laws and Kinetic Theory

    Shih-Hsien Fest on Hyperbolic Conservation Laws and Kinetic Theory (A Conference in Honor of Shih-Hsien Yu's 60th Birthday) April 4-5, 2024 SANGSAN Mathematical Science Building, 129-101, Seoul National University
    Read More
  9. No Image

    [SNU10-10수리] 3월 6일 세미나 안내(권가진 교수)

    -일시: 24년 3월 6일(수) 11:00~12:00 -장소: 129동 406호 -연사: 권가진(융합과학기술대학원) -강연정보:   강연제목: 교육 분야 연구를 위한 (AI) 기술 적용   초록: 최근 AI 기술을 적용한 재미있는 연구들이 많이 소개되고 있습니다. 이러한 연구가 우리 ...
    Read More
  10. No Image

    [10-10 Special Lectures in Logic]

    - Speaker: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)   - Time: Jan 23 & Jan 25, 2024 04:00 PM (Seoul)   - Place: Zoom (online only) Meeting ID: 976 2795 1662/Passcode: 489146  줌링크   - 1/23(화) 16:00~...
    Read More
  11. Intensive Lectures on Low-dimensional Topology

    Intensive Lectures on Low-dimensional Topology January 18 (Thr.) ~ 20 (Sat.), 2024 Room 220 Building 27, Seoul National University
    Read More
  12. Collective Dynamics Days

    Collective Dynamics Days January, 10th, 12th 2024 Department of Mathematical Sciences — Place: 27-220 Seoul National University Organizer: Seung Yeal Ha (syha@snu.ac.kr) Collective Dynamics Days(Jan2024).pdf
    Read More
  13. 제3회 10-10 가우스석학강연(신석우 교수)

    안녕하세요. 서울대학교 수리과학부 10-10프로젝트 사업단에서는 University of California, Berkeley의 신석우 교수님을 모시고 10-10가우스석학강연을 개최합니다. 여러 학생들과 대중들이 수학에 대하여 토론할 수 있는 지식 공유의 장으로  여러분의 많은 ...
    Read More
  14. [9월 학술행사]Distinguished Lecture on NIST PQC Standards

    안녕하세요.   서울대학교 수리과학부 10-10 프로젝트, 수학기반산업데이터 해석연구센터에서 양자내성암호의 세계적인 석학 Damien Stehle 교수님을 초빙하여 강연을 준비했습니다.   Damien Stehle 교수님은 2022년 7월 미국 NIST가 선정한 공개키 암호알고...
    Read More
  15. HYKE-Hwarang Day

    HYKE-Hwarang Day August 30th (Wednesday) 2023 Place: 27-220 Seoul National University
    Read More
  16. 10-10 Summer School on Mathematics of Deep Learning and AI

    제목: 10-10 Summer School on Mathematics of Deep Learning and AI 일시: 23. 8. 7.(월)~8.8(화) 장소: 서울대학교 자연대대형강의동(28동) 10-1호 등록 홈페이지: https://sites.google.com/view/summerschooldl/%ED%99%88
    Read More
  17. [가우스 석학 단기 강좌] Infinitely wide neural networks (연사 양홍석(KAIST))

    제목: Infinitely wide neural networks 연사: 양홍석(KAIST) 일시: 2/3 (금), 2/8 (수), 2/10 (금), 15:00PM - 17:00PM 장소: Zoom 강의실 https://snu-ac-kr.zoom.us/j/99324881376?pwd=NXR2MGZPWGVwbEM4TXgzOGFUb1VRQT09
    Read More
  18. [가우스 석학 단기 강좌] Introduction to random graphs, and thresholds (연사 박진영(NYU))

    제목: Introduction to random graphs, and thresholds 연사: 박진영(NYU) 일시: 2023.02.07(화), 09(목), 10(금), 10:00~12:00 장소: Zoom 강의실 https://snu-ac-kr.zoom.us/j/99324881376?pwd=NXR2MGZPWGVwbEM4TXgzOGFUb1VRQT09
    Read More
  19. 2022 허식교수 기념 심포지엄

    2022 허식 교수 기념 심포지엄 일시: 2022년 11월 15일 (화), 13:00~ 장소: 서울대학교 상산수리과학관(129동) 강당(101호) / Zoom https://snu-ac-kr.zoom.us/j/2473239867 시간 내용 13:00-13:30 학생 강연 1 13:30-13:40 Coffee Break 13:40-14:10 학생 강...
    Read More
  20. 1st Seoul-London Workshop on Mathematical Finance

    1st Seoul-London Workshop on Mathematical Finance 한국과 영국의 금융수학 연구 교류를 위한 "1st Seoul-London Workshop on Mathematical Finance" 를 개최합니다. 많은 관심과 참여부탁드립니다. ■ 일시: 2022년 9월 17일 (토), 18일 (일) 오전 9시 30분...
    Read More