Does Artemov's "S-consistency" really revive the Hilbert Program?
Summary
I have come across several preprints by Prof. Sergei Artemov, for example https://arxiv.org/abs/2508.20346 https://arxiv.org/abs/2403.12272v1 (If it has...
Original reporting
Open original sourceAFBytes is a read-only aggregator. Use the original source for full context and complete reporting.