Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis

zbMath1464.03039arXiv1404.0080MaRDI QIDQ4994846

Sam Sanders

Publication date: 22 June 2021

Full work available at URL: https://arxiv.org/abs/1404.0080

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05) Turing machines and related notions (03D10)

Related Items (1)

Proofs and retributions, or: why Sarah can't take limits

This page was built for publication: Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis