The Halting Problem, which states that there isn’t a function h ̷

今天是2023年1月1日元旦！祝看到这篇文章的所有人新年快乐！ 我们都知道，在大部分OOP语言里，一个类中的方法可以被另一个类重写 …

附庸一下@TheRealKamisama的风雅写个小阳人日记。 12月21号的时候我想去离家很远位于郊区的一家医院看个病，当时我精 …

今天在查资料的时候，在一个网页上看到了一个一见钟情的字体，长这样： F12看了下字体名叫cmunorm.woff，略微搜索了一下， …

  在2019年刚刚接触Rust的时候（那会每周例行去医院光公交车要坐一个小时，就拿着手机在车上看，好怀念）， …

There was an old man, who chopped wood for his village. Every eve …

本文作者才疏学浅，许多概念也是在写本文的过程中学习的，如有疏漏纰谬等等，不胜惶恐，多请读者指正 i. 悖论 一直到19世纪末期为止 …

  Define a single inference rule as an ordered pair \langle X/y\r …

The Paradox The Naive Set Theory is considered inconsistent for a …

What are propositions and sets? Why are they related to us?   It’ ̷