мало того, что не любая система аксиом, описывающая числа не полна
так чувак еще дальше пошел
с помощью аналога факта о неполноте доказанного Тьюрингом чувак показал, что есть диофантовы уравнения про которые в принципе нельзя сказать есть ли у них конечное или бесконечное число целочисленных решений. и не просто показал. он выписал такое уравнение, правда оно довольно длинное.. на 200 стр
простое диофантово уравнение содержит в себе самую черную неопределенность
http://www.fortunecity.com/emachines/e1 … dwalk.html
действительно.. математики и физики слились
было у меня какое-то чувство всегда насчет всего что чувак написал
да ума не хватало выразить