10 citations · 82 across the 40 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.NT2021
What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers
Merlin Carl, Michael Schmitz
We describe in dialogue form a possible way of discovering and investigating 10-adic numbers starting from the naive question about a `largest natural number'. Among the topics we…
math.LO2021
Lower bounds on and other properties of -ITRMs
Merlin Carl
This paper extends our paper \cite{C2} for the conference ``Computability in Europe'' 2022. After Infinite Time Turing Machines (ITTM) were introduced in Hamkins and Lewis \cite{HL…
math.LO2021
Randomising Realisability
Merlin Carl, Lorenzo Galeotti, Robert Passmann
We consider a randomised version of Kleene's realisability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positiv…