林晋とか野矢茂樹はまともな方
例えば山下正夫の論理学史とかの数学観がゆがんでる
数学を知らない人間が理解できる浅い部分だけを掻き集めてきて
数学・論理学の歴史にしちゃってる