a1369209993
searching PlanetScale…
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
100 ms·
- 1141.▲
- 1142.▲
- 1143.▲
- 1144.▲
- 1145.▲
- 1146.▲
- 1147.▲
- 1148.▲
- 1149.▲
- 1150.▲
- 1151.▲
- 1152.▲
- 1153.▲
- 1154.▲
- 1155.▲
- 1156.▲
- 1157.▲
- 1158.▲
- 1159.▲
- 1160.▲
- 1161.▲
- 1162.▲
- 1163.▲
- 1164.▲
Roughly, that proving a statement of the form "For all a,b,c,..., there exists x,y,z such that some statement involving a,b,c,...,x,y, and z is true." requires actually constructing suitable x,y, and z given suitable a,b,c, etc - 1165.▲
- 1166.▲
- 1167.▲
- 1168.▲
- 1169.▲
- 1170.▲
More ›