Who is the author?
The commentary had several interesting observations, and a good one was
expressed by the last sentence: "I give up!"
I consider it to be a sociological text, and there are so many research
programs on the Foundations of Mathematics that one cannot justify many of
the sweeping s
Lawrence Paulson, the father of Isabelle (the theorem-prover).
JM
On Sun, Nov 5, 2023, 11:57 Frode Bjørdal wrote:
> Who is the author?
>
> The commentary had several interesting observations, and a good one was
> expressed by the last sentence: "I give up!"
>
> I consider it to be a sociologica
