×

The undecidability of exponential Diophantine equations. (English) Zbl 0178.32403

Logic, Methodology and Philosophy of Science, Proc. 1960 Int. Congr., 12-13 (1962).

MSC:

03B25 Decidability of theories and sets of sentences
11U05 Decidability (number-theoretic aspects)
11D61 Exponential Diophantine equations

Citations:

Zbl 0111.01003