Justification by Confluence

What do we mean when we say we have a Church-Turing Thesis for something?

(Under construction)

In this project I study the practice of justification by confluence. This refers to the practice of concluding something extra-mathematical on the basis of certain confluence phenomena. Prototypical example: the Church-Turing Thesis.