https://tube.yangruizhi.cyou/about/instancehttps://tube.yangruizhi.cyou/videos/localhttps://tube.yangruizhi.cyou/w/4j4R2FbPwq1TkRnhfyL3bThttps://tube.yangruizhi.cyou/lazy-static/thumbnails/a5ce3992-d572-408d-ab23-a620605b33ff.jpg0314-徐天一：类型论与自动定理证明 第1讲0314-徐天一：类型论与自动定理证明 第1讲https://tube.yangruizhi.cyou/static/streaming-playlists/hls/1ad12c71-7367-4c78-b469-26fbfd8f97df/6b1dbd94-bb1b-4c06-afe9-2d0f1cbda8a2-master.m3u8https://tube.yangruizhi.cyou/videos/embed/4j4R2FbPwq1TkRnhfyL3bT57200402025-06-12T01:55:08.477ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/weaRWYqt3zWFjGFbdftPqmhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/eaabffde-b332-46eb-be91-ec3433b8c5cc.jpg0315-徐天一：类型论与自动定理证明 第二讲0315-徐天一：类型论与自动定理证明 第二讲https://tube.yangruizhi.cyou/static/streaming-playlists/hls/f4c8e7ed-b7ee-4258-a833-54b6e0d97bb8/2471c9db-a05a-410f-b4d2-26d3188c5ebb-master.m3u8https://tube.yangruizhi.cyou/videos/embed/weaRWYqt3zWFjGFbdftPqm7548032025-06-12T04:04:55.115ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vFZh8yfkt8NHNUbT2PwFSphttps://tube.yangruizhi.cyou/lazy-static/thumbnails/b5c48730-80e8-461c-a4e9-1fded9c0be0c.jpg0524-徐天一：类型论与自动定理证明 第三讲https://logic.fudan.edu.cn/event2025/leanhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/f06e53ba-1392-425b-a358-93c45ebcc3e7/f0774ed9-d1a6-4a75-8b68-f3603f0dba45-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vFZh8yfkt8NHNUbT2PwFSp9049042025-08-23T04:38:39.160ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/6PYV7MD2rQh8rRZd6djzN6https://tube.yangruizhi.cyou/lazy-static/thumbnails/c111e74c-1954-4177-9d86-bb3fe34f3174.jpg0525-徐天一：类型论与自动定理证明 第四讲https://logic.fudan.edu.cn/event2025/leanhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/2f30b9e1-fbb8-4b8a-bf89-48cd88f75445/64f50d25-3ffb-4ee6-95c9-625b4b030fa5-master.m3u8https://tube.yangruizhi.cyou/videos/embed/6PYV7MD2rQh8rRZd6djzN64840022025-08-23T03:39:08.336ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/iNwiiiqWsqyKRq9CfPwXvChttps://tube.yangruizhi.cyou/lazy-static/thumbnails/297ae6a6-bc52-48c5-b6af-d2cb990931a7.jpg喻良：递归论基础及其应用 01 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/902a3e1a-ded7-4ed8-8ae1-5f316cc7d1d2/896114be-6def-4109-9d68-513be7387552-master.m3u8https://tube.yangruizhi.cyou/videos/embed/iNwiiiqWsqyKRq9CfPwXvC44960152025-08-23T06:17:48.048ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/hXsgSYTbExNgbYJ2eaqJK2https://tube.yangruizhi.cyou/lazy-static/thumbnails/a616511c-55ca-42f4-8523-99d7549a20b3.jpg喻良：递归论基础及其应用 02 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/89505154-bd31-4772-a19a-071cba360b57/151405f4-6627-4c82-9b05-d2472b244866-master.m3u8https://tube.yangruizhi.cyou/videos/embed/hXsgSYTbExNgbYJ2eaqJK25010012025-08-23T07:44:18.676ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/fHYptWEiGWcVpfAmf4o5afhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/7eaeffb6-be11-4bfd-a115-3c08519a3e7e.jpg喻良：递归论基础及其应用 03 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/773c3250-5bd0-4a32-9338-6d1d76995e08/b540f098-b13c-484b-bbc7-2159d6f3ddf3-master.m3u8https://tube.yangruizhi.cyou/videos/embed/fHYptWEiGWcVpfAmf4o5af3929002025-08-23T08:25:00.344ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/x2r2FBsmvQgBHovNPqAyQBhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/a112c873-c799-4c15-a583-3a473c8293e9.jpg喻良：递归论基础及其应用 04 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/fb3e7787-5aaf-4466-9b87-49a8c16d6eb3/218c2baa-2397-4530-9db7-55532ecb2fae-master.m3u8https://tube.yangruizhi.cyou/videos/embed/x2r2FBsmvQgBHovNPqAyQB5546012025-08-23T09:38:34.025ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/hhnurjAinX62LeoqM1HzjWhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/3b860adb-ebfa-4bb1-9b06-0ef41b26eeaa.jpg喻良：递归论基础及其应用 05 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/83db5cdc-7404-47ed-a2b8-692ff06ad176/3142c131-6920-4749-83ce-dfc0b135dfdb-master.m3u8https://tube.yangruizhi.cyou/videos/embed/hhnurjAinX62LeoqM1HzjW3751002025-08-23T11:11:12.461ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/1t9mteaWyFWDDUJSnbY5gXhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0aef5b59-be69-456e-9d91-1dd8825e0768.jpg喻良：递归论基础及其应用 06 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/03ca3abd-ee55-4c31-9ba8-3d01c24a752d/17655da6-485b-40d5-8182-e4e79c62ae5d-master.m3u8https://tube.yangruizhi.cyou/videos/embed/1t9mteaWyFWDDUJSnbY5gX5756002025-08-23T12:32:06.791ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/t3Ac1gcGQrvmkvVcQRW1nahttps://tube.yangruizhi.cyou/lazy-static/thumbnails/c7c6f20e-702c-42ed-ad43-f7a21c98267e.jpg喻良：递归论基础及其应用 07 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/db034d31-28c0-4472-b690-491e0acb9b8b/87fd7995-b011-4a40-bda0-c4a5861bac8c-master.m3u8https://tube.yangruizhi.cyou/videos/embed/t3Ac1gcGQrvmkvVcQRW1na4487002025-08-23T14:08:20.253ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vCbpkf4axKbJA4o9EvDkKGhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/2cc8675c-4482-46de-9de0-02f132aa81ed.jpg喻良：递归论基础及其应用 08 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/efe6351d-e5bd-404f-92a5-20e6ccaef3ea/381b0829-f079-42b8-a3ec-02e2f318b379-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vCbpkf4axKbJA4o9EvDkKG6087002025-08-23T15:39:50.925ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/8T5NnT1cpzCYZiV854FRNChttps://tube.yangruizhi.cyou/lazy-static/thumbnails/04d88c4b-f960-4c35-8b81-fb23250cef27.jpg喻良：递归论基础及其应用 09 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/3fd1dc5a-5069-4600-83e7-11fabc196b7c/e8ddb051-b241-43d8-aa9d-4a72fc65ad91-master.m3u8https://tube.yangruizhi.cyou/videos/embed/8T5NnT1cpzCYZiV854FRNC3710002025-08-23T16:48:50.891ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qyk3nRohZ2e3Y5UHfKBFQghttps://tube.yangruizhi.cyou/lazy-static/thumbnails/79261b0e-fcea-4398-8d33-349e5cbb6d34.jpg喻良：递归论基础及其应用 10 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/c6dedce6-fd6f-4396-913b-fcebec3a3593/f4f4a910-63dd-4c80-acb3-529c22495705-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qyk3nRohZ2e3Y5UHfKBFQg5900012025-08-23T18:18:41.044ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qyghJKY3Xtn4LDew5k76PWhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/d4aff92d-4a71-4d9e-8010-8eb324e2032f.jpgBen Castle: Strong Minimality and Geometric Stability Theory 1 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/c6dc8ce6-d6f1-4ff2-accb-a4455f2bfd30/a0f52ced-b22d-4c08-b6b9-2fc2d3145924-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qyghJKY3Xtn4LDew5k76PW9257072025-08-25T12:16:20.020ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/bVed5HNw8j6Zxf5HkNTGuBhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/d1b6d030-7be5-414c-b74e-e3aa7fb84638.jpgBen Castle: Strong Minimality and Geometric Stability Theory 2 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/5869f241-a07a-48ef-85e3-7d0baca9a813/1141937f-5f44-48da-b88d-0cced7eb6b1c-master.m3u8https://tube.yangruizhi.cyou/videos/embed/bVed5HNw8j6Zxf5HkNTGuB9236002025-08-25T13:05:38.365ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/x8KoKsr1u63MX3nLjoYsbRhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/269baeb4-394b-46f6-a61d-833361aeacac.jpgBen Castle: Strong Minimality and Geometric Stability Theory 3 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/fc203f0a-ec9c-4286-8735-509e816230fd/3560f57c-09cc-4d1d-aada-add94dfaa4bc-master.m3u8https://tube.yangruizhi.cyou/videos/embed/x8KoKsr1u63MX3nLjoYsbR9324012025-08-25T14:01:00.386ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vbVbDA2KcyYwiZavVaufVHhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/f96a53d4-4ae2-4c7f-8d1a-fef5c6f68741.jpgBen Castle: Strong Minimality and Geometric Stability Theory 4 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/ec5f3c00-f6fd-4595-84bb-40f40d33aef3/8a62dfdb-9141-415f-b043-008b08c698c1-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vbVbDA2KcyYwiZavVaufVH9371002025-08-25T15:57:15.049ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/dhrVyHtnhVQDKc2hTuegRghttps://tube.yangruizhi.cyou/lazy-static/thumbnails/28474b7d-8a51-45b7-80e4-767ddd596a6d.jpgBen Castle: Strong Minimality and Geometric Stability Theory 5 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/63798a48-f206-477d-a614-131fd368dc6d/8e823a19-2095-43bc-8ce4-49c857a5d111-master.m3u8https://tube.yangruizhi.cyou/videos/embed/dhrVyHtnhVQDKc2hTuegRg9417002025-08-25T14:51:59.036ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/9eFYLScvcHE7FaJwrwsNUThttps://tube.yangruizhi.cyou/lazy-static/thumbnails/1383012f-dd95-4dd4-bfa1-3193876025a0.jpgJoel D. Hamkins: Philosophy of Mathematics 01https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/42b26a87-c56b-43c7-a0a4-918237bf0083/4196e723-9629-41c8-8b2a-b2944199d905-master.m3u8https://tube.yangruizhi.cyou/videos/embed/9eFYLScvcHE7FaJwrwsNUT77730162025-08-28T12:08:27.625ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/apU11Jiat9C8QT4zk49q8yhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/a56499a3-ce55-4952-b0e6-cacef8522671.jpgJoel D. Hamkins: Philosophy of Mathematics 02https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/4c3866a2-d4e4-44a9-bd9d-0c3c590a2d26/56cb6248-2b9e-4bf9-8cf8-0274a9bb5a90-master.m3u8https://tube.yangruizhi.cyou/videos/embed/apU11Jiat9C8QT4zk49q8y8041022025-08-28T13:55:59.380ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/kHEaPfrPo8T7y8E3avNcQVhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/432c7ae1-57ae-4fe3-8db5-a6b841e9790c.jpgJoel D. Hamkins: Philosophy of Mathematics 03https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/9faea6d7-858b-4713-9b5f-32cdcb458ec1/7950abdb-82b5-4a71-a8f2-639adb97c18d-master.m3u8https://tube.yangruizhi.cyou/videos/embed/kHEaPfrPo8T7y8E3avNcQV7835012025-08-28T16:37:26.732ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/2w823afmGunUnM7tstEy3khttps://tube.yangruizhi.cyou/lazy-static/thumbnails/15187aa7-2827-48fc-a6c1-bb0edddbbd0b.jpgJoel D. Hamkins: Philosophy of Mathematics 04https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/0c4dc6d4-c73a-40ae-bcd3-bf7e795628a7/afcdbc2b-9f9e-4758-9888-aeb7a94988f4-master.m3u8https://tube.yangruizhi.cyou/videos/embed/2w823afmGunUnM7tstEy3k7935022025-08-28T19:04:05.121ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/3Q9au2KV1mfMqzNaQnM8Jyhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/26e67495-6054-40fe-9d17-c2f0288c1eed.jpgJoel D. Hamkins: Philosophy of Mathematics 05https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/16eb025c-2625-4421-a930-784a248bcf38/e7d702ce-e0d4-4de6-beff-f17272839bde-master.m3u8https://tube.yangruizhi.cyou/videos/embed/3Q9au2KV1mfMqzNaQnM8Jy8232012025-08-28T21:33:32.389ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/xbzR4P3R7ozouQgCiwxB98https://tube.yangruizhi.cyou/lazy-static/thumbnails/11a3c5fe-dd5d-440b-a667-a17b97d6a6d7.jpgJoel D. Hamkins: Philosophy of Mathematics 06https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/fc85982f-71c5-4cd3-8f78-0da16369769b/564350e3-c30e-47a6-b44e-80b02fb56961-master.m3u8https://tube.yangruizhi.cyou/videos/embed/xbzR4P3R7ozouQgCiwxB987753032025-08-29T00:03:15.267ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/otZr9vqJnfycZbZcc49nahhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/eb53c0db-5422-42bc-8a27-c2e71fe09339.jpgJoel D. Hamkins: Philosophy of Mathematics 07https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/b61186e9-867a-4495-907e-930cf9ead79e/baa3b201-e8ba-45d8-aeb0-a86998ec5d76-master.m3u8https://tube.yangruizhi.cyou/videos/embed/otZr9vqJnfycZbZcc49nah8267032025-08-29T02:31:37.217ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/6tAEJRhsyZyVZ996sowQLnhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/180726fc-a1da-4b07-ab9b-079141d3ff05.jpgFudan Logic Student Seminar: The Coding Conception of Set 01, 陈俊宏 CHEN, JunhongSpeaker: 陈俊宏 CHEN, Junhong Time: 13:30 - 15:00, March 20, 2026. Location: HGW2403. Title: The Coding Conception of Set Abstract: This report focuses on a new Conception of Set developed in current research. This Conception takes ordinals as prior to sets and maintains that set theory ought to be regarded as a consequence of ordinal theory. Specifically, we argue that ZFGC is in fact a true first-order ordinal theory, while the true second-order ordinal theory admits three possible directions of divergence. Each of these directions offers a distinct prediction concerning the shape of the true set-theoretic universe: the ZFGC2 single universe, the countabilist single universe, and a new maximal single universe constructed from a multiverse perspective, which we refer to as the coding multiverse. By conducting technical derivations on the potential of the strengthened theories associated with these three possible directions, combined with philosophical arguments, we demonstrate that the third type of universe is sufficiently justified to be accepted, thereby proposing a new set-theoretic worldview. Finally, we briefly outline prospects for the possible Gödel Program within this worldview.https://tube.yangruizhi.cyou/static/streaming-playlists/hls/2c5823d3-ad22-40bc-b078-0484eada6c5d/8153f595-df9e-4a23-a434-47d795e0f5e4-master.m3u8https://tube.yangruizhi.cyou/videos/embed/6tAEJRhsyZyVZ996sowQLn3256032026-03-21T15:30:12.929ZFudan Logic Student SeminarLogicSet theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/7GHWKiZ7kahpJjo4DYRCDchttps://tube.yangruizhi.cyou/lazy-static/thumbnails/357d3919-ed62-4e63-8642-d9732e161b7a.jpgFudan Logic Student Seminar: The Coding Conception of Set 02, 陈俊宏 CHEN, JunhongSpeaker: 陈俊宏 CHEN, Junhong Time: 13:30 - 15:00, March 20, 2026. Location: HGW2403. Title: The Coding Conception of Set Abstract: This report focuses on a new Conception of Set developed in current research. This Conception takes ordinals as prior to sets and maintains that set theory ought to be regarded as a consequence of ordinal theory. Specifically, we argue that ZFGC is in fact a true first-order ordinal theory, while the true second-order ordinal theory admits three possible directions of divergence. Each of these directions offers a distinct prediction concerning the shape of the true set-theoretic universe: the ZFGC2 single universe, the countabilist single universe, and a new maximal single universe constructed from a multiverse perspective, which we refer to as the coding multiverse. By conducting technical derivations on the potential of the strengthened theories associated with these three possible directions, combined with philosophical arguments, we demonstrate that the third type of universe is sufficiently justified to be accepted, thereby proposing a new set-theoretic worldview. Finally, we briefly outline prospects for the possible Gödel Program within this worldview.https://tube.yangruizhi.cyou/static/streaming-playlists/hls/36466e7e-2502-47ae-9b4d-5c6320d47a85/36fd75fb-36f3-45f8-b2af-55c08959b550-master.m3u8https://tube.yangruizhi.cyou/videos/embed/7GHWKiZ7kahpJjo4DYRCDc2437002026-03-21T15:21:57.571ZLogicFudan Logic Student Seminarset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/c/logic_fudan/videoshttps://tube.yangruizhi.cyou/a/logicfudan/video-channels