[FOM] Machine Learning and CH

[Arnon Avron]

The following article should be of interest to people 
on this list -  especially for those who find it important
to connect logical undecidability results to problems
that "real" researchers in math or cs are interested in.
(To what extent this is indeed the case here I cannot tell.)

https://www.nature.com/articles/d41586-019-00083-3

This is the paper to which the article refers:

https://www.cs.tau.ac.il/~shpilka/publications/BDHMSY18.pdf


Arnon Avron