Péter on Church's Thesis, Constructivity and Computers
Attributed to:
Extension: MathSoMac: the social machine of mathematics
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-80049-9_43
Publication URI: http://dx.doi.org/10.1007/978-3-030-80049-9_43
Type: Book Chapter
Book Title: Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings (2021)
Page Reference: 434-445