We add some new insights, and thus hopefully contribute to give new impetus, to an old theme: constructive mathematics, and topology in particular, can be thought of as an abstract way to deal with computation.
Doing without Turing machines: constructivism and formal topology
SAMBIN, GIOVANNI
2007
Abstract
We add some new insights, and thus hopefully contribute to give new impetus, to an old theme: constructive mathematics, and topology in particular, can be thought of as an abstract way to deal with computation.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
