Тут еще такой моментик. Я посмотрел его работы - они очень неформально написаны, с большим количеством невысказанных ограничений, что остались у уважаемого профессора в голове, со скетчами доказательств вместо общепринятых цепочек вывода и практически полным отсутствием математически строгих определений.
Самые неочевидные моменты (например непусто ли множество несводимо бесконечных пространств решений, - а оно очевидно пусто если мы остановимся только на вычислимых функциях, или ограничимых функциях потерь) нельзя увидеть на скетчах, но они с большой вероятностью вылезут при полноценном доказательстве.
Потому я и не удивлён, что серьёзные математики на эту работу не обратили внимание - она просто очень сырая и, на мой взгляд, вряд ли в ближайшем будущем будет принята в хорошие математические журналы
Для "C" самым шустрым на данный момент является всё же не gcc-13, а clang-18. Конкретно в случае моей машины получаем "avg seq time=309.10" на gcc против "avg seq time=134.50" на clang в случае последовательной записи в память
Тут еще такой моментик. Я посмотрел его работы - они очень неформально написаны, с большим количеством невысказанных ограничений, что остались у уважаемого профессора в голове, со скетчами доказательств вместо общепринятых цепочек вывода и практически полным отсутствием математически строгих определений.
Самые неочевидные моменты (например непусто ли множество несводимо бесконечных пространств решений, - а оно очевидно пусто если мы остановимся только на вычислимых функциях, или ограничимых функциях потерь) нельзя увидеть на скетчах, но они с большой вероятностью вылезут при полноценном доказательстве.
Потому я и не удивлён, что серьёзные математики на эту работу не обратили внимание - она просто очень сырая и, на мой взгляд, вряд ли в ближайшем будущем будет принята в хорошие математические журналы
Для "C" самым шустрым на данный момент является всё же не gcc-13, а clang-18.
Конкретно в случае моей машины получаем "avg seq time=309.10" на gcc против "avg seq time=134.50" на clang в случае последовательной записи в память