Да он лох. Когда его запретили, я попробовал читать что-то его "логическое" (по-русски), что не успели еще вырвать из журналов. Полная чушь. Как и вся была "кафедра логики" "института философии".
Да, слабый уровень Зиновьева как мат логика. Думаю, что можно тем не менее вытянуть какие-то идеи, но многое надо переписывать. Например, в этой статье не ясно, как определять истинность формулы. Моделей никаких нет. Не ясен аппарат какой логики.
Это скорее идеи самородка, а не профессора МГУ... А рецензия очень добрая (хоть и отрицательная). И напечатали все же.
Может я чего не понял, но первый абзац комментария Georg Kreisel начинается с утверждения, что Теорема Ферма недоказуема в общем случае, но может быть доказана для любого конкретного значания n. И что это доказал некий Шефердсон в 1963:
To put first things first it should be noted - and the author does not - that more than 15 years ago, J. C. Shepherdson established that, in the natural formal systems for the elementary arithmetic of the ring of integers, xyz 0 v x^n + y^n != z^n, FGT„ for short can of course be stated locally, that is, for each fixed n, but cannot be proved for any n; cf. The Theory of Models, North Holland 1965 (Proc. Conference, Berkeley 1963).
Kreisel думал на английском. В английском масса логики, по прошествии времени когда вспоминаешь какую залипуху лепили в школах и какие идиотские английские правила способен выдумать "образно мыслящий" гуманитарий только диву даешься. Скорее не недопонял, скорее перевод потерял смысл (которого небыло) как таковой.
Возможно, как предположение только. Я за годы выработал простое правило, если нужно отправлять сложный имейл, спачала пишу его на русском, затем добиваюсь чтоб текст на английском был в два раза короче. Если на русском получилось две страницы, значит не отправлю пока не добьюсь чтоб на английском была одна страница. Русский язык слишком образный, это дает громадный кайф когда общаешся со своими, но очень мешает в деловой переписке.
Comments 24
Reply
Reply
Это скорее идеи самородка, а не профессора МГУ... А рецензия очень добрая (хоть и отрицательная). И напечатали все же.
Reply
To put first things first it should be noted - and the author does not - that more than 15 years ago, J. C. Shepherdson established that, in the natural formal systems for the elementary arithmetic of the ring of integers, xyz 0 v x^n + y^n != z^n, FGT„ for short can of course be stated locally, that is, for each fixed n, but cannot be proved for any n; cf. The Theory of Models, North Holland 1965 (Proc. Conference, Berkeley 1963).
Так вроде же доказали в общем случае, в 1990е?
Reply
Reply
Скорее не недопонял, скорее перевод потерял смысл (которого небыло) как таковой.
Reply
Reply
Я за годы выработал простое правило, если нужно отправлять сложный имейл, спачала пишу его на русском, затем добиваюсь чтоб текст на английском был в два раза короче.
Если на русском получилось две страницы, значит не отправлю пока не добьюсь чтоб на английском была одна страница.
Русский язык слишком образный, это дает громадный кайф когда общаешся со своими, но очень мешает в деловой переписке.
Reply
Reply
====
это просто прекрасно.
Reply
Leave a comment