Abstract
We aim to put some order to the multiple interpretations of the Church-Turing Thesis and to the different approaches taken to prove or disprove it.
Original language | English |
---|---|
Title of host publication | Axiomatic Thinking II |
Publisher | Springer International Publishing |
Pages | 199-234 |
Number of pages | 36 |
ISBN (Electronic) | 9783030777999 |
ISBN (Print) | 9783030777982 |
DOIs | |
State | Published - 1 Jan 2022 |