4 ms·
It links a certain axiom set with computations, not all of mathematics (i.e. the set of all axiom sets), doesn’t it?
by eref 9y ago
It links a certain axiom set with computations, not all of mathematics (i.e. the set of all axiom sets), doesn’t it?
- naasking 9y agoIf you accept that every mathematical structure of interest has an intuitionistic construction (as is currently believed to be the case), then every mathematical structure has an expression as a computer program.