2 citations · 4 across the 10 of their papers we have counts for
1 paper · 1 filter
Dmytro Taranovsky
We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, w…