07/02/13 01:31:39 xtbDo7iN
でも、ガチで理系の俺は、数学的直観主義なので、
背理法による証明は通用しませんけどね。
特定の数式の証明では許容されるが、議論における主張など構成要素は無限集合に近い。
無限集合において「排中律」、すなわち、
ある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだということ。
07/02/13 01:31:39 xtbDo7iN
でも、ガチで理系の俺は、数学的直観主義なので、
背理法による証明は通用しませんけどね。
特定の数式の証明では許容されるが、議論における主張など構成要素は無限集合に近い。
無限集合において「排中律」、すなわち、
ある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだということ。