13 citations · 70 across the 51 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CC2014
The Selfish Algorithm
Eduardo Hermo Reyes, Joost J. Joosten
The principle of Generalized Natural Selection (GNS) states that in nature, computational processes of high computational sophistication are more likely to maintain/abide than proc…
math.LO2014
Turing-Taylor expansions for arithmetic theories
Joost J. Joosten
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on -provability give rise to a pro…