[FOM] pathology

[Martin Davis]

It is certainly worthwhile to study mathematical entities whose existence
can be proved but for which it can be proved that explicit examples (using
acceptable mathematical language) can not be given. But I don't like using
a pejorative term like "pathology" to describe them. We don't know what
role such things will play in future developments, and calling them
pathological simply validates what may turn out to be simply prejudice of
our day.

Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150824/ae7a8b10/attachment-0001.html>