- NEWS AND VIEWS
Unprovability comes to machine learning
Access options
Access Nature and 54 other Nature Portfolio journals
Get Nature+, our best-value online-access subscription
$29.99 / 30 days
cancel any time
Subscribe to this journal
Receive 51 print issues and online access
$199.00 per year
only $3.90 per issue
Rent or buy this article
Prices vary by article type
from$1.95
to$39.95
Prices may be subject to local taxes which are calculated during checkout
Nature 565, 166-167 (2019)
doi: https://doi.org/10.1038/d41586-019-00012-4
References
Gödel, K. Monatsh. Math. 38, 173–198 (1931).
Gödel, K. The Consistency of the Continuum Hypothesis (Princeton Univ. Press, 1940).
Cohen, P. J. Proc. Natl Acad. Sci. USA 50, 1143–1148 (1963).
Cohen, P. J. Proc. Natl Acad. Sci. USA 51, 105–110 (1964).
Ben-David, S., Hrubeš, P., Moran, S., Shpilka, A. & Yehudayoff, A. Nature Mach. Intell. https://doi.org/10.1038/s42256-018-0002-3 (2019).
Viola, P. & Jones, M. J. Int. J. Comput. Vis. 57, 137–154 (2004)
Valiant, L. G. Commun. ACM 27, 1134–1142 (1984).
Vapnik, V. N. & Chervonenkis, A. Y. Theory Probab. Appl. 16, 264–280 (1971).
Blumer, A., Ehrenfeucht, A., Haussler, D. & Warmuth, M. K. Inf. Process. Lett. 24, 377–380 (1987).
Littlestone, N. & Warmuth, M. K. Relating Data Compression and Learnability, tech. rep. (Univ. California Santa Cruz, 1986).