аксиомы вычислимости и математический бред

[avva]

Две ссылки на интересные дискуссии в Юзнете, которые попались в последние дни, обе связаны с математикой.

1. Дискуссия (в sci.logic, Message-ID: <ar8ok3$9g2$1@galois.mit.edu>) о возможных аксиомах понятия вычислимости и доказательстве с их помощью тезиса Черча, а также физических нерекурсивных моделей вычислимости (я об этом писал недавно в контексте статьи о модели вычисления, использующей теорию относительности). Приводится пример использования квантовой механики для генерирования действительно случайного (true random) числа. Ссылки на другую дискуссию (в comp.theory, Message-ID: <aqml12$t7t$1@galois.mit.edu>) на ту же тему, но там меньше интересного.

Ещё ссылки на ту же тему, найденные в результате этой дискуссии: сайте Hypercomputation.net и хорошая, судя по всему (ещё не успел прочитать) статья-обзор всей дисциплины.

2. Забавный случай, похожий в чём-то на дело Богдановых, но на этот раз в математике и далеко не столь интересный: в sci.math (Message-ID: <d8cb7304.0211241241.1260f46@posting.google.com>) обсуждают абсолютно бредовую статью автора по имени E.E. Escultura, опубликованную в математическом журнале. Цитируется abstract данной статьи, смешной. Оказывается, этот автор уже много таких опубликовал, и даже писал в самой ньюсгруппе sci.math в прошлом.

А вообще-то, увы, sci.math осталась таким же тухлым местом, каким была, когда я её в последний раз читал. Две самые популярные темы: 1. Почему нельзя делить на 0? Нет, вы мне объясните, почему нельзя делить на 0? Я думаю, что можно. 2. Не верю, что 0.999999... = 1, и сейчас докажу обратное.

Comments

MathSciNet

[french-man.livejournal.com]

[1] 1 913 562 Escultura, E. E. The flux theory of gravitation. V. The mathematics of the new physics. Appl. Math. Comput. 130 (2002), no. 1, 145--169. 01A60 (03B30 03E25 03H05 83C45)

[2] 1 826 233 Escultura, E. E. Set-valued differential equations and applications to quantum gravity. Proceedings of the Third International Conference "Differential Equations and Applications" (St. Petersburg, 2000), 58--69, Math. Res. (St. Petersburg), 6, Izd. St.-Peterbg. Gos. Tekh. Univ., St. Petersburg, 2000. 83C45 (34A60 49J24)

[3] 1 864 679 Escultura, E. E. Quantum gravity. Dynamic systems and applications, Vol. 3 (Atlanta, GA, 1999), 201--208, Dynamic, Atlanta, GA, 2001. 83C47

[4] 1 707 802 Escultura, Edgar E. Superstring loop dynamics and applications to astronomy and biology. Nonlinear Anal. 35 (1999), no. 8, Ser. B: Real World Applications, 959--985. 85A99 (83F05 92B99)

[5] 1 652 634 Escultura, E. E. Exact solution of Fermat's equation (a definitive resolution of Fermat's last theorem). Nonlinear Stud. 5 (1998), no. 2, 227--254. 00A35 (01A99 03A05 11D41)

[6] 1 419 523 Escultura, E. E. Probabilistic mathematics and applications to dynamic systems including Fermat's last theorem. Proceedings of Dynamic Systems and Applications, Vol. 2 (Atlanta, GA, 1995), 145--152, Dynamic, Atlanta, GA, 1996. 00A69 (03A05)

[7] 1 141 385 Escultura, Edgar E. Introduction to qualitative control theory. Kalikasan Press, Manila, 1991. 151 pp. ISBN: 971-8577-92-0 49-02

[1] и [4] опублкикованы в претендующих на солидность журналах. Ни одна статья не отревьюирована ("there will be no review for this item").

[ex-ilyavinar899.livejournal.com]

я об этом писал недавно в контексте статьи о модели вычисления, использующей теорию относительности

Писал ты давно, а я обсуждал с кем-то в IBM Research.

[esycat.livejournal.com]

> Две самые популярные темы: [...]
К сожалению, я плохо понимаю, о чём вообще речь, но эти две темы очень мне запомнились три года назад, когда я учился на первом курсе, и мы слушали лекции по мат. анализу. :-)