2016-10-06から1日間の記事一覧

「構成的」ってなんだ

構成的という言葉の意味がわからなくなって調べてた。調べたら、「数学的構成主義」「構成的数学」という言葉がちらちら出現。それも追っかけてたら「数学的直観主義」などなども出現。直感主義論理は授業でやったので覚えていた。他もろもろ。数学的直観…