2023.08.17
https://gyazo.com/0d1c7809748aa664ab55c0211008d418
前:
2023.08.16
後:
2023.08.18
#日報
メモ
不完全性定理の名前の推移#64dd78ea13a1580000381e81
間違ってたのと,
渕野昌『「「不完全性定理に挑む」に挑む」に挑む』
に書かれていた訂正などもメモ
やった
SnO2WMaN/incompleteness.txt
思った
Typst
は快適なのだけどファイル分割の方法がよくわからない(どう頑張ってもbibliographyの部分で詰まる)ので全部1ファイルに纏めるしか無いと思うがこれをやるとpdfのプレビューがかなりボトルネックになってしまう
Typstでファイル分割