I think the typical example is if you do a search for a proof of inconsistency in Peano arithmetic. You don’t expect to find any inconsistencies, but you can’t prove that you won’t.
More like trying to find the Godel statement of the universe; it provably exists, and provably cannot be positively identified.
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
I think the typical example is if you do a search for a proof of inconsistency in Peano arithmetic. You don’t expect to find any inconsistencies, but you can’t prove that you won’t.
More like trying to find the Godel statement of the universe; it provably exists, and provably cannot be positively identified.