>>168
「条件」のところのkは0ではないというのが抜けていた

もうちょっと補足すると以下の問題は"ある意味"で完全に解かれている:
a,b,cを0でない整数定数とするとき, a,b,cだけに依存する計算可能な定数dが存在して
整数x,yに対して a*y^2 = b*x^3 + c ならば 常に max{|x|,|y|}＜d が成立する

この結果は例えば bakerという数学者が証明したものの一部だけれども
残念ながら 今のところ証明されているものでは
計算可能といってもa,b,cがかなり小さい場合ですらdが異様な大きさになってしまって 世界の全てのコンピュータを利用しても計算できなくなってしまって実用性皆無

一方で代数的な解法に興味があるなら
本題の場合なら たとえば K=Q(2^(1/3)) として
必要ならばKのQ上のガロア閉包のL=Q(2^(1/3),ω)を用意して
KあるいはLの整数環上で考える
まずさきにやるべきことは
(1) 類数を決定すること
(2) 単数をすべて決定すること
(3) 整基底を決定すること
これらがスタート地点
これらを楽しんでいるうちに
もともとの不定方程式なんてどうでもよくなるかもしれない
不定方程式論に興味があるならp-adicのskolmの方法などを学ぶのがよい