2015-01-03から1日間の記事一覧

 Why Does Leśniewski Use the Equivalence Sign Instead of the Definitional Equality Sign for Definitions? Part 1

(本日の日記はものすごく長いです。長すぎて、字数制限に引っかかり、一日では日記に収まりませんので、今日と明日に分けて記します。本日はその第一日目です。)今回は、Leśniewski の定義のやり方について、記します。現在、私たちが論理学や数学において定…