Это работы вполне серьезного мирового уровня. Эту область науки, где работает Ершов, я бы назвал алгебраической теорией моделей. А теория моделей это вполне серьезная математика.

Но я н читал их, поэтому ничего конкретно сказать не могу. И про личность Ершова тоже.

(Reply to this) (Parent) (Thread)

Андрей Петрович Ершов был не только замечательным учёным, учителем и борцом за свои идеи, но и выдающейся, разносторонне одарённой личностью: он прекрасно играл на гитаре и пел, писал стихи, переводил на русский язык английских поэтов, в частности, Редьярда Киплинга.

Умер после тяжёлой болезни.

(Reply to this) (Parent)

Ершов, Юрий Леонидович
Проект «Новосибирск» (уровень III, важность высокая)

(Reply to this) (Parent) (Thread)

Что за проект "Новосибирск"?

(Reply to this) (Parent) (Thread)

уровень III, важность высокая

(Reply to this) (Parent) (Thread)

Это что-то из википедии?

(Reply to this) (Parent) (Thread)

https://computer-museum.ru/books/n_mozaika/ershov2.htm

это наверное

(Reply to this) (Parent) (Thread)

Не, я писал про Юрия Леонидовича, там правда на википедии проект "Новосибирск", важность высокая, уровень доступа III

(Reply to this) (Parent) (Thread)

Так что же это такое - эта ваша загадочная Теория Нумераций? Постоянно слышу что Колмогоров ею занимался, но сегодня такой дисциплины вроде нет

(Reply to this) (Parent) (Thread)

Нумерация, это техника, которую использовал Гедель в своих теоремах о неполноте.

Наверное это такая теория про обобщения таких доказательств.

(Reply to this) (Parent)