Church's Thesis After 70 Years
- Editore:
Ontos Verlag
- Collana:
- Ontos Mathematical Logic
- EAN:
9783938793091
- ISBN:
3938793090
- Pagine:
- 551
- Formato:
- Hardback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Church's Thesis After 70 Years
Offers summary of the research on "Church's Thesis" (CT). This book includes the following: different formulations of CT; CT and intuitionism; CT and intentional mathematics; CT and physics; the epistemic status of CT; CT and philosophy of mind; provability of CT; and, CT and functional programming.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti