Human-Effective Computability. Issue 1 (24th June 2018)
- Record Type:
- Journal Article
- Title:
- Human-Effective Computability. Issue 1 (24th June 2018)
- Main Title:
- Human-Effective Computability
- Authors:
- Antonutti Marfori, Marianna
Horsten, Leon - Abstract:
- Abstract: We analyse Kreisel's notion of human-effective computability . Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church's thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.
- Is Part Of:
- Philosophia Mathematica. Volume 27:Issue 1(2019)
- Journal:
- Philosophia Mathematica
- Issue:
- Volume 27:Issue 1(2019)
- Issue Display:
- Volume 27, Issue 1 (2019)
- Year:
- 2019
- Volume:
- 27
- Issue:
- 1
- Issue Sort Value:
- 2019-0027-0001-0000
- Page Start:
- 61
- Page End:
- 87
- Publication Date:
- 2018-06-24
- Subjects:
- Mathematics -- Philosophy -- Periodicals
Wiskunde
Filosofische aspecten
Mathematics -- Philosophy
Periodicals
510.105 - Journal URLs:
- http://philmat.oupjournals.org/archive/index.dtl ↗
http://ukcatalogue.oup.com/ ↗
http://intl-philmat.oupjournals.org/ ↗
http://libnet.ac.il/~libnet/pqd/pqd_issn.pl?0031-8019 ↗ - DOI:
- 10.1093/philmat/nky011 ↗
- Languages:
- English
- ISSNs:
- 0031-8019
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 6461.500000
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 11979.xml