<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Mathematical Logic | Jinming Hu</title><link>/founder/tags/mathematical-logic/</link><atom:link href="/founder/tags/mathematical-logic/index.xml" rel="self" type="application/rss+xml"/><description>Mathematical Logic</description><generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>zh-Hans</language><lastBuildDate>Sun, 21 Dec 2025 00:00:00 +0000</lastBuildDate><image><url>img/map[gravatar:%!s(bool=false) shape:square]</url><title>Mathematical Logic</title><link>/founder/tags/mathematical-logic/</link></image><item><title>The Computational Event Horizon: A Heuristic Taxonomy of Solvability for the Millennium Prize Problems</title><link>/founder/publication/computational-event-horizon/</link><pubDate>Sun, 21 Dec 2025 00:00:00 +0000</pubDate><guid>/founder/publication/computational-event-horizon/</guid><description/></item></channel></rss>