On Martin-Löf’s Constructive Optimism
DOI: http://doi.org/10.26333/sts.xxxiv1.10 In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is opti...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polskie Towarzystwo Semiotyczne / The Polish Semiotic Society
2020-11-01
|
| Series: | Studia Semiotyczne |
| Subjects: | |
| Online Access: | http://studiasemiotyczne.pts.edu.pl/index.php/Studiasemiotyczne/article/view/207 |