Hilbert's Programme and Finitism
Securing infinitary mathematics by finitary consistency proofs, Tait's analysis of finitism, and partial realisations
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineHilbert's programmefinitismprimitive recursive arithmeticconservation result
Assumessecond incompleteness theoremrecursive functionconsistencyreverse mathematics