梗图:分析哲学与类型论握手,大陆哲学当场失态尖叫

miniapeur · x · 2026-10-23

一幅梗图：分析哲学与「类型论与范畴语义」握手，提议「把长期悬而未决的哲学问题数学化，再看看能不能解」，对方欣然同意；一旁的大陆哲学则以「语无伦次的尖叫」(incoherent screeching) 暴走收场。调侃形式化方法与思辨哲学的路线之争。

原文链接 →

「Fun」频道最新

• 开发者用 iPhone 上的 Cursor Agent 几分钟修好新屏适配故障 — marclou · 2026-10-23
• Yacine 发感慨:有些 bug 出在数学里,补丁救不了 — yacineMTB · 2026-10-23
• 动画人：X 上的 AI 电影社区像早年的 Drawing Board，藏着未来的大佬 — DavidmComfort · 2026-10-23
• 问「去审查版」模型能否摧毁我的网络，它给出了骷髅头选项 — Rasmic · 2026-10-23
• 金银大跌，网友调侃「都在抛售黄金去买 Anthropic」 — michalmalewicz · 2026-10-23
• Reddit 热传「布鲁克林绝命毒师」:AI 视频恶搞 Bryan Cranston 街采 — Dayna6380- · 2026-10-23

更多「Fun」频道 AI 资讯 →