Academic Journal
Randomising Realizability
| العنوان: | Randomising Realizability |
|---|---|
| المؤلفون: | Carl, M., Galeotti, L., Passmann, R. |
| المساهمون: | De Mol, L., Weiermann, A., Manea, F., Fernández-Duque, D. |
| المصدر: | Carl , M , Galeotti , L & Passmann , R 2021 , Randomising Realizability . in L De Mol , A Weiermann , F Manea & D Fernández-Duque (eds) , Connecting with Computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings . Lecture Notes in Computer Science , vol. 12813 , Cham , pp. 82-93 , 17th Conference on Computability in Europe, CiE 2021 , Virtual, Online , 5/07/21 . https://doi.org/10.1007/978-3-030-80049-9_8 |
| سنة النشر: | 2021 |
| المجموعة: | Universiteit van Amsterdam: Digital Academic Repository (UvA DARE) |
| الوصف: | We consider a randomised version of Kleene’s realizability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability. In particular, we show that (i) the set of randomly realizable statements is closed under intuitionistic first-order logic, but (ii) different from the set of realizable statements, that (iii) “realizability with probability 1” is the same as realizability and (iv) that the axioms of bounded Heyting’s arithmetic are randomly realizable, but some instances of the full induction scheme fail to be randomly realizable. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| ردمك: | 978-3-030-80048-2 3-030-80048-2 |
| Relation: | https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html; urn:ISBN:9783030800482 |
| DOI: | 10.1007/978-3-030-80049-9_8 |
| الاتاحة: | https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html https://doi.org/10.1007/978-3-030-80049-9_8 https://hdl.handle.net/11245.1/b4916e18-c6ef-4a0e-972d-6fa1db3422b7 http://www.scopus.com/inward/record.url?scp=85112217462&partnerID=8YFLogxK |
| Rights: | info:eu-repo/semantics/closedAccess |
| رقم الانضمام: | edsbas.57EBE57B |
| قاعدة البيانات: | BASE |
| ردمك: | 9783030800482 3030800482 |
|---|---|
| DOI: | 10.1007/978-3-030-80049-9_8 |