V
主页
京东 11.11 红包
【逻辑与哲学讲座】论算法
发布人
题目:逻辑与哲学系列讲座第61讲——论算法 主讲人:杨跃教授(新加坡国立大学) 时间:2023年10月25日,15:30-17:30 主办单位:武汉大学哲学学院
打开封面
下载高清视频
观看高清视频
视频下载器
【逻辑与分析哲学讲座】量子力学的哲学基础
【逻辑与数学基础讲座】解析莱布尼兹之梦
【逻辑与数学基础讲座】一种物理主义的数学哲学
【逻辑与数学基础讲座】论普遍证明理论中证明系统的存在性
【逻辑与哲学系列讲座】逻辑学中的“贝纳塞拉夫问题”
【“福柯与现代文明批判”系列讲座 | 第一场】鼠疫、麻风与天花:权力技术中的鄙民主体性
【逻辑与哲学系列讲座】Truthmaker Semantics
【逻辑与分析哲学讲座】塔斯基的符合真理论以及对异议的回应
【“福柯与现代文明批判”系列讲座 | 第二场】《词与物》前传:《雷蒙·鲁塞尔》的语言与认知批判
【逻辑与分析哲学讲座】对认知直觉的对话式说明
【逻辑与数学基础讲座】从反推数学探讨一个逻辑问题
【逻辑与数学基础讲座】How many real numbers are there?
【逻辑与哲学系列讲座】Reverse Mathematics: classifying theorems
【逻辑与哲学系列讲座】Goodstein walks and Gödel incompleteness
【逻辑与分析哲学讲座】元哲学问题探讨——对Williamson哲学知识论的批评
【逻辑与分析哲学讲座】反驳信念实用主义
【逻辑与分析哲学讲座】Counterfactuals
【逻辑与数学基础讲座】Proof Theory:From Arithmetic to Set Theory
【逻辑与分析哲学讲座】On the A Priori
【逻辑与哲学系列讲座】Reverse mathematics over a weak base theory
【逻辑与哲学系列讲座】What are consistency proofs and what should they be
90分钟!清华博士带你一口气搞懂人工智能和神经网络
第四届”政治哲学前沿“暑期学校 第一天 2020.8.1
超越民族国家与世界主义——儒家的新天下体系”复旦大学哲学学院白彤东教授讲座
儒释道融通的历史经验与当代启示意义(上)
【逻辑与分析哲学讲座】Moral Truth(伦理的真)
【逻辑与数学基础讲座】Interactive theorem proving and the Lean theorem prover
“跨学科视野下的文明交流与互鉴: 中西文明本质异同”(2022) 圆桌会议
【逻辑与分析哲学讲座】On the Question of Whether the Mind Can be Mechanized
【逻辑与分析哲学讲座】Knowledge the first
【逻辑与数学基础讲座】Kurt Gödel and Alfred Tarski: The Extremes of Logic
【逻辑与数学基础讲座】自然演绎中证明的范式:复杂性
武汉大学哲学学院就业经验分享会
【逻辑与数学基础讲座】Reflection Algebras and Progressions
【逻辑与哲学系列讲座】Incompleteness and ordinal analysis
“佛法”与“逻辑”
【逻辑与分析哲学讲座】The Value of Truth
【逻辑与分析哲学讲座】Epistemicism
【逻辑与分析哲学讲座】必然性和偶然性:量子力学和经验主义的模态论
【逻辑与数学基础讲座】What is concrete incompleteness?