23/07/08 12:58:18.74 5D12U7Zc.net
>>495
「共感できるところがある」どころか
「共感できないところがない」くらい
ジャストミートな文章
形式論理に書き直すのは別に難しくない
その程度のことは数学を理解するのに必須なので是非試みられたい
（学位論文が書けるかどうかは知らん）
形式化は容易であるから、それ自体は何の問題もない
「日本でデデキント研究の第一人者」とかいう人は
どうせ戦前生まれで形式論理もロクにわかってない
プログラミングなんか一度もしたことない無能な爺
だろうから、まったく信用できない、というより
戦後生まれの論理もプログラミングもバリバリできる
研究者がこんな耄碌爺を駆逐してもらいたいもんだ
と切に思うのである