Goldbach.mws

Conjectura de Goldbach

"Todo o inteiro par maior do que 2 pode ser expresso como soma de dois primos"

Procedimento que calcula a decomposição de um inteiro par na soma de dois primos

>    Goldbach := proc(p::integer)

>      local i,j,terminou,next_i_valor;

>      terminou := false;

>      i := 0; j := 0;

>      while not terminou do

>         next_i_valor := false;

>         i := i+1; j :=i;

>         while not next_i_valor do

>            if ithprime(i) + ithprime (j) = p then

>               printf(`%d pode ser expresso como %d+%d\n`,p,ithprime(i),ithprime(j));

>               terminou := true;

>               next_i_valor := true;

>            fi;

>            j := j+1;

>            if ithprime(j) >= p then

>               next_i_valor := true

>            fi;

>         od;

>      od;

>    end:

>    Goldbach(4); 

4 pode ser expresso como 2+2

>    Goldbach (24); 

24 pode ser expresso como 5+19

>    Goldbach(156456); 

156456 pode ser expresso como 19+156437

Procedimento mais automático,  que realiza o cálculo para todos os inteiros pares entre n e m

>    ManyGoldbach := proc(startval::integer,finalval::integer)

>       local i;

>       for i from max(4,startval) to finalval do

>           if i mod 2 = 0 then Goldbach(i);

>           fi;

>       od;

>    end:

Verificação da conjectura para os inteiros pares entre 4 e 50

>    ManyGoldbach(4,500); 

4 pode ser expresso como 2+2

6 pode ser expresso como 3+3

8 pode ser expresso como 3+5

10 pode ser expresso como 3+7

12 pode ser expresso como 5+7

14 pode ser expresso como 3+11

16 pode ser expresso como 3+13

18 pode ser expresso como 5+13

20 pode ser expresso como 3+17

22 pode ser expresso como 3+19

24 pode ser expresso como 5+19

26 pode ser expresso como 3+23

28 pode ser expresso como 5+23

30 pode ser expresso como 7+23

32 pode ser expresso como 3+29

34 pode ser expresso como 3+31

36 pode ser expresso como 5+31

38 pode ser expresso como 7+31

40 pode ser expresso como 3+37

42 pode ser expresso como 5+37

44 pode ser expresso como 3+41

46 pode ser expresso como 3+43

48 pode ser expresso como 5+43

50 pode ser expresso como 3+47

52 pode ser expresso como 5+47

54 pode ser expresso como 7+47

56 pode ser expresso como 3+53

58 pode ser expresso como 5+53

60 pode ser expresso como 7+53

62 pode ser expresso como 3+59

64 pode ser expresso como 3+61

66 pode ser expresso como 5+61

68 pode ser expresso como 7+61

70 pode ser expresso como 3+67

72 pode ser expresso como 5+67

74 pode ser expresso como 3+71

76 pode ser expresso como 3+73

78 pode ser expresso como 5+73

80 pode ser expresso como 7+73

82 pode ser expresso como 3+79

84 pode ser expresso como 5+79

86 pode ser expresso como 3+83

88 pode ser expresso como 5+83

90 pode ser expresso como 7+83

92 pode ser expresso como 3+89

94 pode ser expresso como 5+89

96 pode ser expresso como 7+89

98 pode ser expresso como 19+79

100 pode ser expresso como 3+97

102 pode ser expresso como 5+97

104 pode ser expresso como 3+101

106 pode ser expresso como 3+103

108 pode ser expresso como 5+103

110 pode ser expresso como 3+107

112 pode ser expresso como 3+109

114 pode ser expresso como 5+109

116 pode ser expresso como 3+113

118 pode ser expresso como 5+113

120 pode ser expresso como 7+113

122 pode ser expresso como 13+109

124 pode ser expresso como 11+113

126 pode ser expresso como 13+113

128 pode ser expresso como 19+109

130 pode ser expresso como 3+127

132 pode ser expresso como 5+127

134 pode ser expresso como 3+131

136 pode ser expresso como 5+131

138 pode ser expresso como 7+131

140 pode ser expresso como 3+137

142 pode ser expresso como 3+139

144 pode ser expresso como 5+139

146 pode ser expresso como 7+139

148 pode ser expresso como 11+137

150 pode ser expresso como 11+139

152 pode ser expresso como 3+149

154 pode ser expresso como 3+151

156 pode ser expresso como 5+151

158 pode ser expresso como 7+151

160 pode ser expresso como 3+157

162 pode ser expresso como 5+157

164 pode ser expresso como 7+157

166 pode ser expresso como 3+163

168 pode ser expresso como 5+163

170 pode ser expresso como 3+167

172 pode ser expresso como 5+167

174 pode ser expresso como 7+167

176 pode ser expresso como 3+173

178 pode ser expresso como 5+173

180 pode ser expresso como 7+173

182 pode ser expresso como 3+179

184 pode ser expresso como 3+181

186 pode ser expresso como 5+181

188 pode ser expresso como 7+181

190 pode ser expresso como 11+179

192 pode ser expresso como 11+181

194 pode ser expresso como 3+191

196 pode ser expresso como 3+193

198 pode ser expresso como 5+193

200 pode ser expresso como 3+197

202 pode ser expresso como 3+199

204 pode ser expresso como 5+199

206 pode ser expresso como 7+199

208 pode ser expresso como 11+197

210 pode ser expresso como 11+199

212 pode ser expresso como 13+199

214 pode ser expresso como 3+211

216 pode ser expresso como 5+211

218 pode ser expresso como 7+211

220 pode ser expresso como 23+197

222 pode ser expresso como 11+211

224 pode ser expresso como 13+211

226 pode ser expresso como 3+223

228 pode ser expresso como 5+223

230 pode ser expresso como 3+227

232 pode ser expresso como 3+229

234 pode ser expresso como 5+229

236 pode ser expresso como 3+233

238 pode ser expresso como 5+233

240 pode ser expresso como 7+233

242 pode ser expresso como 3+239

244 pode ser expresso como 3+241

246 pode ser expresso como 5+241

248 pode ser expresso como 7+241

250 pode ser expresso como 11+239

252 pode ser expresso como 11+241

254 pode ser expresso como 3+251

256 pode ser expresso como 5+251

258 pode ser expresso como 7+251

260 pode ser expresso como 3+257

262 pode ser expresso como 5+257

264 pode ser expresso como 7+257

266 pode ser expresso como 3+263

268 pode ser expresso como 5+263

270 pode ser expresso como 7+263

272 pode ser expresso como 3+269

274 pode ser expresso como 3+271

276 pode ser expresso como 5+271

278 pode ser expresso como 7+271

280 pode ser expresso como 3+277

282 pode ser expresso como 5+277

284 pode ser expresso como 3+281

286 pode ser expresso como 3+283

288 pode ser expresso como 5+283

290 pode ser expresso como 7+283

292 pode ser expresso como 11+281

294 pode ser expresso como 11+283

296 pode ser expresso como 3+293

298 pode ser expresso como 5+293

300 pode ser expresso como 7+293

302 pode ser expresso como 19+283

304 pode ser expresso como 11+293

306 pode ser expresso como 13+293

308 pode ser expresso como 31+277

310 pode ser expresso como 3+307

312 pode ser expresso como 5+307

314 pode ser expresso como 3+311

316 pode ser expresso como 3+313

318 pode ser expresso como 5+313

320 pode ser expresso como 3+317

322 pode ser expresso como 5+317

324 pode ser expresso como 7+317

326 pode ser expresso como 13+313

328 pode ser expresso como 11+317

330 pode ser expresso como 13+317

332 pode ser expresso como 19+313

334 pode ser expresso como 3+331

336 pode ser expresso como 5+331

338 pode ser expresso como 7+331

340 pode ser expresso como 3+337

342 pode ser expresso como 5+337

344 pode ser expresso como 7+337

346 pode ser expresso como 29+317

348 pode ser expresso como 11+337

350 pode ser expresso como 3+347

352 pode ser expresso como 3+349

354 pode ser expresso como 5+349

356 pode ser expresso como 3+353

358 pode ser expresso como 5+353

360 pode ser expresso como 7+353

362 pode ser expresso como 3+359

364 pode ser expresso como 5+359

366 pode ser expresso como 7+359

368 pode ser expresso como 19+349

370 pode ser expresso como 3+367

372 pode ser expresso como 5+367

374 pode ser expresso como 7+367

376 pode ser expresso como 3+373

378 pode ser expresso como 5+373

380 pode ser expresso como 7+373

382 pode ser expresso como 3+379

384 pode ser expresso como 5+379

386 pode ser expresso como 3+383

388 pode ser expresso como 5+383

390 pode ser expresso como 7+383

392 pode ser expresso como 3+389

394 pode ser expresso como 5+389

396 pode ser expresso como 7+389

398 pode ser expresso como 19+379

400 pode ser expresso como 3+397

402 pode ser expresso como 5+397

404 pode ser expresso como 3+401

406 pode ser expresso como 5+401

408 pode ser expresso como 7+401

410 pode ser expresso como 13+397

412 pode ser expresso como 3+409

414 pode ser expresso como 5+409

416 pode ser expresso como 7+409

418 pode ser expresso como 17+401

420 pode ser expresso como 11+409

422 pode ser expresso como 3+419

424 pode ser expresso como 3+421

426 pode ser expresso como 5+421

428 pode ser expresso como 7+421

430 pode ser expresso como 11+419

432 pode ser expresso como 11+421

434 pode ser expresso como 3+431

436 pode ser expresso como 3+433

438 pode ser expresso como 5+433

440 pode ser expresso como 7+433

442 pode ser expresso como 3+439

444 pode ser expresso como 5+439

446 pode ser expresso como 3+443

448 pode ser expresso como 5+443

450 pode ser expresso como 7+443

452 pode ser expresso como 3+449

454 pode ser expresso como 5+449

456 pode ser expresso como 7+449

458 pode ser expresso como 19+439

460 pode ser expresso como 3+457

462 pode ser expresso como 5+457

464 pode ser expresso como 3+461

466 pode ser expresso como 3+463

468 pode ser expresso como 5+463

470 pode ser expresso como 3+467

472 pode ser expresso como 5+467

474 pode ser expresso como 7+467

476 pode ser expresso como 13+463

478 pode ser expresso como 11+467

480 pode ser expresso como 13+467

482 pode ser expresso como 3+479

484 pode ser expresso como 5+479

486 pode ser expresso como 7+479

488 pode ser expresso como 31+457

490 pode ser expresso como 3+487

492 pode ser expresso como 5+487

494 pode ser expresso como 3+491

496 pode ser expresso como 5+491

498 pode ser expresso como 7+491

500 pode ser expresso como 13+487

>