3 ms·
"Incompleteness ex Machina" by Sebastian Oberhoff, is a nice paper-length exposition https://arxiv.org/abs/1909.04569 https://arxiv.org/abs/1909.04569.
by fogof 5y ago
"Incompleteness ex Machina" by Sebastian Oberhoff, is a nice paper-length exposition https://arxiv.org/abs/1909.04569 https://arxiv.org/abs/1909.04569.