and predicts infinitely many previously unknown numerical identities, which can be checked to be true to many decimal places.
And did Euler check them?
Polya reports on Euler performing such checks. I don’t know how many he did – one would have to look at the original papers (which are in Latin), and even they probably omit some of the plausibility checks that Euler did.
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
And did Euler check them?
Polya reports on Euler performing such checks. I don’t know how many he did – one would have to look at the original papers (which are in Latin), and even they probably omit some of the plausibility checks that Euler did.