3 ms·
By Church-Turing, is Fractran sufficient to host a Hilbert logic? https://en.wikipedia.org/wiki/Hilbert_system https://en.wikipedia.org/wiki/Hilbert_system
by westurner 2y ago
By Church-Turing, is Fractran sufficient to host a Hilbert logic?
https://en.wikipedia.org/wiki/Hilbert_system https://en.wikipedia.org/wiki/Hilbert_system