Note that according to Scott Aaronson (in his recent book), Penrose thinks that human minds can solve the Halting problem and conjectures that humans can even solve the Halting problem for machines with access to a Halting oracle.
Current theme: default
Less Wrong (text)
Less Wrong (link)
Arrow keys: Next/previous image
Escape or click: Hide zoomed image
Space bar: Reset image size & position
Scroll to zoom in/out
(When zoomed in, drag to pan; double-click to close)
Keys shown in yellow (e.g., ]) are accesskeys, and require a browser-specific modifier key (or keys).
]
Keys shown in grey (e.g., ?) do not require any modifier keys.
?
Esc
h
f
a
m
v
c
r
q
t
u
o
,
.
/
s
n
e
;
Enter
[
\
k
i
l
=
-
0
′
1
2
3
4
5
6
7
8
9
→
↓
←
↑
Space
x
z
`
g
Note that according to Scott Aaronson (in his recent book), Penrose thinks that human minds can solve the Halting problem and conjectures that humans can even solve the Halting problem for machines with access to a Halting oracle.