排中律
よく疑われるイメージがあるSummer498.icon
排中律を採用しない公理系があったりする (直観主義論理)
結局不便なので使われないというオチだったはず
どこの話だbiwa.icon
ずっとコレを探しているSummer498.icon
何処かで読んだ気がするのに見つからない
むしろ今直観主義論理の Wiki を見ると使われないほど不便そうには見えない
使われない、というのも、どこで使われないとする話なのだろうbiwa.icon
関連
goto文
それは関連するのか？Summer498.icon
関連するのはgotoじゃなくてcall/ccだったわbiwa.icon
コレは、知識をひけらかすことかも
goto の方の関連性を見いだせないので、知識のひけらかしというより単に間違っただけに見えるSummer498.icon
gotoとcall/ccの違いについて未だによく理解できていないbiwa.icon
後でまとめておこう