スウェーデンの論理学者・哲学者・数理統計学者のペール・マルティン＝レーフという人がいる。 ペール・マルティン＝レーフ - Wikipedia 業績としては、 - マルティン＝レーフ・ランダムネス - 直観主義型理論 などがよく知られているが、特に哲学に傾倒して…