That last part is the most important.
We can’t answer every question. No, but I think we can answer any question.
We can’t answer every question.
No, but I think we can answer any question.
Cool, what is an accurate proof of P=NP?
Is there a finite proof for or against? If so, we will most likely find it.
Is there a finite proof that there is no such proof? That would be weird and unfortunate, but then the answer is “Mu”.
Is there an infinite proof? Well, um. In this case I’d probably argue that the proof doesn’t matter, and you can’t tell anyway.
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
That last part is the most important.
Cool, what is an accurate proof of P=NP?
Is there a finite proof for or against? If so, we will most likely find it.
Is there a finite proof that there is no such proof? That would be weird and unfortunate, but then the answer is “Mu”.
Is there an infinite proof? Well, um. In this case I’d probably argue that the proof doesn’t matter, and you can’t tell anyway.