1 citations · 3 across the 11 of their papers we have counts for
4 papers · 1 filter
Open sets in computability theory and Reverse Mathematics
Dag Normann, Sam Sanders
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reaso…
Lifting countable to uncountable mathematics
Sam Sanders
Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does n…
Plato and the foundations of mathematics
Sam Sanders
Plato is well-known in mathematics for the eponymous foundational philosophy Platonism based on ideal objects. Plato's allegory of the cave provides a powerful visual illustration…
Nets and Reverse Mathematics, a pilot study
Sam Sanders
Nets are generalisations of sequences involving possibly uncountable index sets; this notion was introduced about a century ago by Moore and Smith. They also established the genera…