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