Никлаус Вирт в книге "Структуры данных и алгоритмы" писал что рекурсия это самый лучший вариант для рекурсивных же структур данных( деревья и т.д.), но только для них. В остальных случаях лучше использовать циклы.
Впрочем, сейчас проверил - Дипсик уже лучше отвечает. Вот по окончанию Евангелия от Марка-
" Предоставленная вами информация о том, что заключительные стихи Евангелия от Марка (16:9–20) отсутствуют в Синайском и Ватиканском кодексах IV века, — это общепризнанный факт текстологии Нового Завета. Однако этот факт является лишь отправной точкой в сложном вопросе о происхождении и статусе данного отрывка. Исследовательская литература и богословская традиция предлагают многомерную картину, выходящую за рамки простой констатации отсутствия.
Ниже представлен комплексный анализ проблемы на основе имеющихся данных.
1. Маштаб рукописной традиции: исключение или правило? Отсутствие Мк. 16:9–20 в Синайском (א) и Ватиканском (B) кодексах является количественно маргинальным явлением.
За включение: Подавляющее большинство рукописей (около 1650 греческих манускриптов Евангелия от Марка) содержат «пространное окончание». Среди них такие авторитетные кодексы, как Александрийский (V в.), Ефрема (V в.), Безы (V/VI в.) и Вашингтонский (IV/V в.) .
Против включения: Помимо двух названных унциальных кодексов, отрывок отсутствует лишь в узком круге рукописей, восходящих к одной текстологической традиции (несколько минускулов и некоторые коптские переводы) .
2. Ранние свидетельства: проблема хронологии Ключевой аргумент против гипотезы о «поздней вставке» (IV–V вв.) — наличие цитат из этого отрывка у авторов II века:
Ириней Лионский (ок. 180 г.) в труде «Против ересей» (III, 10, 6) прямо цитирует Мк. 16:19, указывая, что это находится «в конце Евангелия от Марка» .
Татиан (ок. 170 г.) включил эти стихи в свой Диатессарон (свод четырех Евангелий) .
Иустин Философ (ум. ок. 165 г.) и, предположительно, Папий Иерапольский (нач. II в.) были знакомы с этим текстом . Таким образом, отрывок существовал и был авторитетен за 200 лет до создания Синайского и Ватиканского кодексов.
...
Кодикологические маркеры: В Ватиканском кодексе после ст. 8 оставлен пустой столбец (уникальный случай для этой рукописи), а в Синайском заметны следы правки. Это говорит о том, что писцы знали о существовании продолжения, но по каким-то причинам его не переписали . ...
Вывод: Факт отсутствия этих стихов в Синайском и Ватиканском кодексах не является доказательством их «подложности». Это свидетельство сложной текстологической традиции, где одна ранняя ветвь рукописей (Александрийская) утратила окончание, тогда как большинство других ветвей его сохранили. Древность текста подтверждается святоотеческими цитатами II века. Его отсутствие в двух кодексах IV века рассматривается как дефект конкретной рукописной традиции, а не как указание на неканоничность текста.
--- Раньше он тупо отрицал подлинность пространного окончания. И аргумент , что Евангелие не может оканчиваться без этих слов- всё-таки очень сильный.
Дипсик напрямую - плохой аргумент. Мне пришлось в своё время его сильно пинать, чтобы он нашёл в сети упоминаемые места из статьи( изначально он отрицал).
" Основные критики прежнего времени [38, 39] приумолкли, специалист по структуре белков Павел Певзнер [39] даже отметил, что теперь изучение оригинального коллагена было проведено полностью корректно, со всеми необходимыми контролями и предосторожностями. Любопытно, что он считает обнаружение не полностью распавшегося гемоглобина даже более удивительным, чем тех сосудов и клеток, поскольку, де, гемоглобин трудно идентифицируется (цитировано по [43]). "
В том числе и мягкие( " недо-окаменевшие") ткани, к примеру кожу. Подобные открытия долго не хотели признавать. Потом дали статус " сенсационные находки" .
1. Слово "Евангелие" многократно употребляется в самом Новом Завете. И даже если бы не употреблялось , по смыслу там действительно не может быть оканчиваться страхом. Ну и древние авторы( до Византии) активно это место использовали. 2. От Иоанна 5-7 .И даже оно известно многим древним авторам. --- 3. Когда-то давно сложилась традиция считать Ватиканский и Синайский кодексы( созданные уже в 4 веке- Византия и арианство) эталонами древнего текста. К сожалению эта традиция всё еще сильна, хотя находки древних рукописей( которых тогда знали очень мало), показывают, что канонический текст( где-то 5-6 века) ближе к оригиналам( не сохранившимся) , чем эти кодексы. Вы вероятно и опираетесь на этот устаревший подход( когда эталонами считались Ватиканский и Синайский кодексы).
Часть приведенных сервисов платная( по большому счёту) . Вот действительно бесплатный( и при этом качественный ) синтез речи - EDGE TTS можно поставить там "заменять на три строки", чтобы ошибки были намного реже.
Лицензия у самого микроядра SeL4 только GPLv2. BSD только для некоторых других программных компонент. Копилефт-лицензия GPLv2 не мешает ядру Линукс иметь проприетарные модули ( драйвер Нвидиа и т.д.). Для микроядра SeL4 проблем с этим ещё меньше. Там драйверы это отдельные пользовательские программы.
Форма записи сильно другая. Сам Брусенцов писал , что совершенная ПОЛИЗ это инверсия совершенной безскобочной записи( СБЗ). Вы считаете, что ПОЛИЗ это любая постфиксная безскобочная запись ?
Уточню по seL4. Микроядро seL4 было верифицировано в несколько этапов-
2009 год — была опубликована первая значимая работа по формальной верификации seL4. В этой работе была доказана функциональная корректность реализации ядра относительно абстрактной спецификации, а также показано отсутствие определенных классов ошибок (например, нарушение безопасности доступа).
Последующие годы — верификация продолжалась и расширялась. Были добавлены:
Доказательство безопасности (security proof) — гарантии целостности и конфиденциальности.
Доказательство отсутствия зависимостей от времени выполнения (proof of termination) и других свойств.
2014 год — была завершена комплексная верификация. ---
Да. Разница между O(n) и O(log n) слишком большая.
Другое дело O(log n) и O(1) . Разница между ними маленькая, и O(log n) может легко обойти O(1) .
Никлаус Вирт в книге "Структуры данных и алгоритмы" писал что рекурсия это самый лучший вариант для рекурсивных же структур данных( деревья и т.д.), но только для них. В остальных случаях лучше использовать циклы.
Впрочем, сейчас проверил - Дипсик уже лучше отвечает. Вот по окончанию Евангелия от Марка-
" Предоставленная вами информация о том, что заключительные стихи Евангелия от Марка (16:9–20) отсутствуют в Синайском и Ватиканском кодексах IV века, — это общепризнанный факт текстологии Нового Завета. Однако этот факт является лишь отправной точкой в сложном вопросе о происхождении и статусе данного отрывка. Исследовательская литература и богословская традиция предлагают многомерную картину, выходящую за рамки простой констатации отсутствия.
Ниже представлен комплексный анализ проблемы на основе имеющихся данных.
1. Маштаб рукописной традиции: исключение или правило?
Отсутствие Мк. 16:9–20 в Синайском (א) и Ватиканском (B) кодексах является количественно маргинальным явлением.
За включение: Подавляющее большинство рукописей (около 1650 греческих манускриптов Евангелия от Марка) содержат «пространное окончание». Среди них такие авторитетные кодексы, как Александрийский (V в.), Ефрема (V в.), Безы (V/VI в.) и Вашингтонский (IV/V в.) .
Против включения: Помимо двух названных унциальных кодексов, отрывок отсутствует лишь в узком круге рукописей, восходящих к одной текстологической традиции (несколько минускулов и некоторые коптские переводы) .
2. Ранние свидетельства: проблема хронологии
Ключевой аргумент против гипотезы о «поздней вставке» (IV–V вв.) — наличие цитат из этого отрывка у авторов II века:
Ириней Лионский (ок. 180 г.) в труде «Против ересей» (III, 10, 6) прямо цитирует Мк. 16:19, указывая, что это находится «в конце Евангелия от Марка» .
Татиан (ок. 170 г.) включил эти стихи в свой Диатессарон (свод четырех Евангелий) .
Иустин Философ (ум. ок. 165 г.) и, предположительно, Папий Иерапольский (нач. II в.) были знакомы с этим текстом . Таким образом, отрывок существовал и был авторитетен за 200 лет до создания Синайского и Ватиканского кодексов.
...
Кодикологические маркеры: В Ватиканском кодексе после ст. 8 оставлен пустой столбец (уникальный случай для этой рукописи), а в Синайском заметны следы правки. Это говорит о том, что писцы знали о существовании продолжения, но по каким-то причинам его не переписали . ...
Вывод:
Факт отсутствия этих стихов в Синайском и Ватиканском кодексах не является доказательством их «подложности». Это свидетельство сложной текстологической традиции, где одна ранняя ветвь рукописей (Александрийская) утратила окончание, тогда как большинство других ветвей его сохранили. Древность текста подтверждается святоотеческими цитатами II века. Его отсутствие в двух кодексах IV века рассматривается как дефект конкретной рукописной традиции, а не как указание на неканоничность текста.
---
Раньше он тупо отрицал подлинность пространного окончания.
И аргумент , что Евангелие не может оканчиваться без этих слов- всё-таки очень сильный.
впрочем , конкретно это место ( из 1 Иоанна )действительно- слабое.
То есть в итоге он всё-таки находил, то что сначала отрицал.
Дипсик напрямую - плохой аргумент. Мне пришлось в своё время его сильно пинать, чтобы он нашёл в сети упоминаемые места из статьи( изначально он отрицал).
https://publ.lib.ru/ARCHIVES/L/LUNNYY_Aleksey_Nikolaevich/Lunnyy_A.N.__Trudnyy_put'_priznaniya_tkaney,_sosudov,_.(2009).[rtf].zip
" Основные критики прежнего времени [38, 39] приумолкли, специалист по структуре белков Павел Певзнер [39] даже отметил, что теперь изучение оригинального коллагена было проведено полностью корректно, со всеми необходимыми контролями и предосторожностями. Любопытно, что он считает обнаружение не полностью распавшегося гемоглобина даже более удивительным, чем тех сосудов и клеток, поскольку, де, гемоглобин трудно идентифицируется (цитировано по [43]).
"
у меня вопрос к автору- вы считаете , что биогенетический закон Геккеля не опровергнут, и в учебниках биологии учат ему правильно ?
В том числе и мягкие( " недо-окаменевшие") ткани, к примеру кожу. Подобные открытия долго не хотели признавать. Потом дали статус " сенсационные находки" .
1. Слово "Евангелие" многократно употребляется в самом Новом Завете. И даже если бы не употреблялось , по смыслу там действительно не может быть оканчиваться страхом. Ну и древние авторы( до Византии) активно это место использовали.
2. От Иоанна 5-7 .И даже оно известно многим древним авторам.
---
3. Когда-то давно сложилась традиция считать Ватиканский и Синайский кодексы( созданные уже в 4 веке- Византия и арианство) эталонами древнего текста. К сожалению эта традиция всё еще сильна, хотя находки древних рукописей( которых тогда знали очень мало), показывают, что канонический текст( где-то 5-6 века) ближе к оригиналам( не сохранившимся) , чем эти кодексы.
Вы вероятно и опираетесь на этот устаревший подход( когда эталонами считались Ватиканский и Синайский кодексы).
" Концовка Евангелия от Марка тоже действительно спорная "
это место было ещё в древних рукописях , в период арианства его стали убирать( именно оттуда Ватиканский и Синайский кодекс).
https://azbyka.org/otechnik/Biblia/problema-vstavok-v-novom-zavete/
На всякий случай- неоднократные находки мягких тканей динозавров это факт палеонтологии( хотя о нём мало пишут).
В учебниках биологии до сих пор преподают биогенетических закон Геккеля, хотя ещё тогда же( в конце 19 века) он был разоблачён.
https://medportal.ru/budzdorova/winner/mify-ob-embrionakh/
статьи доктора биологических наук , в основном на тему найденных мягких тканей( включая сосуды) динозавров -
https://publ.lib.ru/ARCHIVES/L/LUNNYY_Aleksey_Nikolaevich/_Lunnyy_A.N..html
Часть приведенных сервисов платная( по большому счёту) . Вот действительно бесплатный( и при этом качественный ) синтез речи -
EDGE TTS
можно поставить там "заменять на три строки", чтобы ошибки были намного реже.
Silero TTS . Очень быстрый/экономный( при этом качественный) , свободный.
Лицензия у самого микроядра SeL4 только GPLv2. BSD только для некоторых других программных компонент.
Копилефт-лицензия GPLv2 не мешает ядру Линукс иметь проприетарные модули ( драйвер Нвидиа и т.д.). Для микроядра SeL4 проблем с этим ещё меньше. Там драйверы это отдельные пользовательские программы.
Форма записи сильно другая. Сам Брусенцов писал , что совершенная ПОЛИЗ это инверсия совершенной безскобочной записи( СБЗ).
Вы считаете, что ПОЛИЗ это любая постфиксная безскобочная запись ?
Совершенная ПОЛИЗ это не ПОЛИЗ, просто название такое. Работает по другому, и экономия другая.
Уточню по seL4.
Микроядро seL4 было верифицировано в несколько этапов-
2009 год — была опубликована первая значимая работа по формальной верификации seL4. В этой работе была доказана функциональная корректность реализации ядра относительно абстрактной спецификации, а также показано отсутствие определенных классов ошибок (например, нарушение безопасности доступа).
Последующие годы — верификация продолжалась и расширялась. Были добавлены:
Доказательство безопасности (security proof) — гарантии целостности и конфиденциальности.
Доказательство отсутствия зависимостей от времени выполнения (proof of termination) и других свойств.
2014 год — была завершена комплексная верификация.
---