トップ «前の日記(2016-03-15) 最新 次の日記(2016-03-17)» 編集

MarriageTheoremのこと

2011|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|10|
2017|01|02|04|
2018|02|10|
2020|04|09|
2021|04|

2016-03-16

_ (3/18記:数学基礎論の勉強をしていて、基礎の論理体系に新たな記号を(いわゆる「定義による拡大」で)導入したときに本質的に新しい論理式が増えない(←雑すぎる説明だけど正確な記述は割愛)、という性質を真面目に証明するとえらく面倒なのだなぁと実感するなど。)


トップ «前の日記(2016-03-15) 最新 次の日記(2016-03-17)» 編集

最近のツッコミ↓

↑最近のツッコミ
合計: 今日: 昨日:

README 日記の書き方 footnote.rb @Twitter 中の人のページ研究関係
Cryptology ePrint Archive