2012-01-10から1日間の記事一覧

 Even Professor Patrick Suppes Sometimes Nods.

現代の形式的理論 (formalized theory) において、定義が導入される際に、それらの定義が満たすべき条件として、少なくとも conservativeness (non-creativity) と eliminability の二つがあることはよく知られている。そしてこれらの条件を最初に定式化した…