This is
Kanatus!

Kanatus Harukawae

PhD Candidate

因果、模式、理论

2026-11-12

life-Aug2026

2026-08-31

Russell 氏悖论

2026-03-24

为什么要形式化数学？为什么不形式化数学？

2026-03-21

谈谈 Godel 不完备性

2026-02-21

Wolfram

2026-02-15

NH 159 头等舱乘坐体验

2026-01-11

写了一个歌词

2025-11-01

认知科学笔记：||

2025-10-29

认知科学笔记#16：元认知与读心

2025-10-23