您好   Hello   こんにちは   Hola :)

Hey there 👋, this is Xin Chen (陈鑫), a guy who does not like to post moments in WeChat. Welcome to this small corner of the world that I've claimed for myself——enjoy your stay!

🎶 背景音乐 | Background Music

点击播放 | Click to play

《虚籁》:

More 《佩兰》 原古琴曲,刘星中阮移植 (视频)。 「兰之猗猗,扬扬其香。不采而佩,于兰何伤」 (唐·韩愈·猗兰操)


《子衿》 原视频见 UP主。 「青青子衿,悠悠我心。纵我不往,子宁不嗣音。青青子佩,悠悠我思。纵我不往,子宁不来?挑兮达兮,在城阙兮。一日不见,如三月兮」 (诗经·郑风·子衿)

🥳 逻辑 | Logic Logica Logika & ...

Let no one ignorant of logic enter.
(paraphrase of the sign on the gate to the Academy at Athens)

do you like logic?
Do you like logic?

I love logic, especially Modal Logic and its “peripherals", and “I Want to Be a Logician" (paraphrase of the title I Want to Be a Mathematician by Paul Halmos).

Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis? (P. Halmos, I Want to Be a Mathematician)
The fear of stumbling makes the mind hold tightly onto the handrail of logic. (André Gide, Les Nouvelles Nourritures)
If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is. (von Neumann)
If you zip through a page in less than an hour, you are probably going too fast. (Sheldon Axler: Linear Algebra Done Right)
Notes: Misc.:
Some Articles
Some Courses

Cats

$^\sim\omega^\sim$ DuoDuo is a very cute kitty, he is my partner, my all tenderness and the fluffy dream!

a cute head $^\geq \lor ^\leq$

Such a fluffy little DuoDuo!

胡言乱语 | Balderdash

  1. 2025:「从恶如崩」
  2. 今天是 2024/11/01, 收到了三位匿名评阅人超级无敌正面的评价,好久没得到正反馈了,感觉人生又充满了希望呢!
    「哈,天地之间有许多事,是你的哲学里所没有梦想到的呢!」
  3. 现在是 2023/12/26, 我寻找到了一个名字 --- Amaya
  4. 现在是 2023 年 8 月,我用 vscode 写 LaTeX 啦,姑且冷落下 texstudio 吧 🤣
  5. 2023/05/10: 用纸笔书写证明正如用手演奏乐器一般。
  6. 今天是 2023/02/17 (周五),决定写混合逻辑 Hybrid Logic 了!
    🎉 Long Live Hybrid Logic! 🎉
  7. 2023/06/07 看到了一句来自 Sheldon 的鼓励:
    The best way to achieve a goal is to devote 100% of your time and energy to it. When I decided I was going to be a physicist, I didn't take some other job in case it didn't work out. (S7E13)
  8. 一学「范畴」就「犯愁」 (2022-12-05)
  9. 小多多冬天抱着太舒服啦! (2022-12-01)

社交网络 | Social Networks 🕸️

About 🤓 · Email ✉️ · Bilibili ...

(my github chart)
Analytics (since May. 2025):